Merge pull request #744 from CakeML/fix_build_instrs

Minor update to build instructions to make them work better wit Debian based systems
CakeML · Aug 5, 2020 · e6cb43f · e6cb43f
2 parents fe62f4e + 3627b90
commit e6cb43f
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/build-instructions.sh b/build-instructions.sh
@@ -7,10 +7,12 @@
 cd
 git clone https://github.com/polyml/polyml
 cd polyml
-## optionally use a branch other than master
-# git checkout fixes-5.7
-./configure
-## optionally pass an installation prefix to configure
+./configure --prefix=/usr
+## on Debian/Ubuntu, either:
+##  - make sure to use --prefix=/usr
+##  - or add "export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH" to ~/.profile
+## anything else will cause trouble with environment variables
+## optionally other installation prefixes can be used with
 # ./configure --prefix=<dir>
 ## if necessary, put <dir>/bin in your PATH
 # export PATH=<dir>/bin:$PATH