Mercurial > hg > dml-home

diff etc/swipl-build.patch @ 0:7d34f4b6df69

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial check-in (partial)
author samer
date Sun, 18 Jan 2015 16:18:01 +0000
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/etc/swipl-build.patch	Sun Jan 18 16:18:01 2015 +0000
@@ -0,0 +1,24 @@
+--- 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"
+