Mercurial > hg > dml-home

view etc/swipl-build.patch @ 17:0cf66a1e3919

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Adding ILM stuff in progress.
author samer
date Mon, 26 Jan 2015 13:56:59 +0000
parents 7d34f4b6df69
children
line wrap: on
line source
--- build.templ 2014-12-19 09:22:30.000000000 +0000
+++ build       2014-11-17 15:10:30.621687200 +0000
@@ -16,9 +16,8 @@
 # remainder of the commandline as privilaged   user. E.g., if you change
 # PREFIX to /usr/local you typically must change SUDO to "sudo"
 
-PREFIX=$HOME
-SUDO=
-#SUDO="sudo"
+PREFIX=/usr/local
+SUDO="sudo"
 
 # [EDIT] Version of make to use.  This   must  be GNU-make. On many Unix
 # systems this is installed as 'gmake'. On most GNU-based systems (e.g.,
@@ -109,7 +108,7 @@
 # export PKG=
 
 # [EDIT] Packages to skip.  Leaving it blank compiles all default packages.
-# export DISABLE_PKGS="jpl ssl odbc utf8proc"
+export DISABLE_PKGS="jasmine PDT R jpl"
 
 # [EDIT] Packages to add.
 # export EXTRA_PKGS="db ltx2htm space"