Re: [Gnoga-list] Install GNOGA in a specific directory.

2014-11-23 Thread Pascal
Hello David, Thanks for PREFIX, it's fine but I still got the error: cd tools gprinstall -f --prefix=/usr/local/xnadalib-2014 -p --mode=usage tools.gpr Install project Tools Project already installed, either: - uninstall first using --uninstall option - install under another name, use

Re: [Gnoga-list] Install GNOGA in a specific directory.

2014-11-23 Thread Rabbi David Botton
So I have to change: cd tools gprinstall -f --prefix=$(PREFIX) -p --mode=usage --install-name=tools tools.gpr What is your feedback? Ok, changed and works for me. I also added --prefix to uninstall it was missing. David Botton