search

OpenCilk / www.opencilk.org

OpenCilk's new website in development
https://www.opencilk.org
MIT License
5 stars 5 forks source link

where to install OpenCilk #232

Open behoppe opened 1 month ago

behoppe commented 1 month ago

I recently upgraded to Ubuntu 22.04, which meant I could reinstall OpenCilk! Everything worked OK except for one glitch. As I adapted the installation instructions to my own case, I entered the command $ sh opencilk-2.1.0-x86_64-linux-gnu-ubuntu-22.04.sh --prefix=~/opencilk --exclude-subdir and got this error opencilk-2.1.0-x86_64-linux-gnu-ubuntu-22.04.sh: 171: cd: can't cd to ~/opencilk which confused me because I could $ cd ~/opencilk without any problem. I fixed the problem by dropping the ~: $ sh opencilk-2.1.0-x86_64-linux-gnu-ubuntu-22.04.sh --prefix=/home/bruce/opencilk --exclude-subdir

My takeaway from the above experience was to rediscover #147 (updated install example) where, two years ago, @neboat @ailiop @DorothyCurtis had a detailed discussion about where to install OpenCilk. I'm not sure if I would change our current example, but I wonder if we can do more to share any of the wisdom in #147. Perhaps there's a good reference we can mention?

behoppe commented 3 weeks ago

@neboat @DorothyCurtis I tried another install with bash $ bassh opencilk-2.1.0-x86_64-linux-gnu-ubuntu-22.04.sh --prefix=~/opencilk_2 --exclude-subdir and got essentially the same error as I got with sh: opencilk-2.1.0-x86_64-linux-gnu-ubuntu-22.04.sh: 171: cd: ~/opencilk_2: No such file or directory