Mercurial > hg > dml-home
annotate etc/swipl-build.patch @ 100:a4cd935561d4 dml-dockerised tip
small updates and version pin for cliopatria
| author | wolffd <wolffd.mail@googlemail.com> |
|---|---|
| date | Fri, 29 Jun 2018 17:48:41 +0100 |
| parents | 7d34f4b6df69 |
| children |
| rev | line source |
|---|---|
| samer@0 | 1 --- build.templ 2014-12-19 09:22:30.000000000 +0000 |
| samer@0 | 2 +++ build 2014-11-17 15:10:30.621687200 +0000 |
| samer@0 | 3 @@ -16,9 +16,8 @@ |
| samer@0 | 4 # remainder of the commandline as privilaged user. E.g., if you change |
| samer@0 | 5 # PREFIX to /usr/local you typically must change SUDO to "sudo" |
| samer@0 | 6 |
| samer@0 | 7 -PREFIX=$HOME |
| samer@0 | 8 -SUDO= |
| samer@0 | 9 -#SUDO="sudo" |
| samer@0 | 10 +PREFIX=/usr/local |
| samer@0 | 11 +SUDO="sudo" |
| samer@0 | 12 |
| samer@0 | 13 # [EDIT] Version of make to use. This must be GNU-make. On many Unix |
| samer@0 | 14 # systems this is installed as 'gmake'. On most GNU-based systems (e.g., |
| samer@0 | 15 @@ -109,7 +108,7 @@ |
| samer@0 | 16 # export PKG= |
| samer@0 | 17 |
| samer@0 | 18 # [EDIT] Packages to skip. Leaving it blank compiles all default packages. |
| samer@0 | 19 -# export DISABLE_PKGS="jpl ssl odbc utf8proc" |
| samer@0 | 20 +export DISABLE_PKGS="jasmine PDT R jpl" |
| samer@0 | 21 |
| samer@0 | 22 # [EDIT] Packages to add. |
| samer@0 | 23 # export EXTRA_PKGS="db ltx2htm space" |
| samer@0 | 24 |