search

fdopen / opam-repository-mingw

windows package repository for OPAM (mingw and msvc)
https://fdopen.github.io/opam-repository-mingw/
Creative Commons Zero v1.0 Universal
96 stars 33 forks source link

Permission problem in installation #21

Closed ignacio-gc closed 7 years ago

ignacio-gc commented 8 years ago

$ bash opam64/install.sh produce this error:

mkdir : cannot create directory «/usr/local/include»: Permission denied 
mkdir : cannot create directory «/usr/local/lib/flexdll»: Permission denied

Do I have to change the permission of /usr/local ?

fdopen commented 8 years ago

You can also choose a different installation prefix and modify your PATH accordingly (But re-download opam64.tar.xz. There was indeed a small error in the script that could prevent the installation to another prefix):

mkdir ~/opam
bash opam64/install.sh --prefix ~/opam
export PATH=~/opam/bin:"$PATH"
opam init --comp 4.02.3+mingw64 --switch 4.02.3+mingw64

And note that depext-cygwinports won't work, if you don't have write access to /usr. If you need external dependencies like gtk2+ or gmp, you must install it manually with cygwin's setup tool.