samer@0: --- build.templ 2014-12-19 09:22:30.000000000 +0000
samer@0: +++ build       2014-11-17 15:10:30.621687200 +0000
samer@0: @@ -16,9 +16,8 @@
samer@0:  # remainder of the commandline as privilaged   user. E.g., if you change
samer@0:  # PREFIX to /usr/local you typically must change SUDO to "sudo"
samer@0:  
samer@0: -PREFIX=$HOME
samer@0: -SUDO=
samer@0: -#SUDO="sudo"
samer@0: +PREFIX=/usr/local
samer@0: +SUDO="sudo"
samer@0:  
samer@0:  # [EDIT] Version of make to use.  This   must  be GNU-make. On many Unix
samer@0:  # systems this is installed as 'gmake'. On most GNU-based systems (e.g.,
samer@0: @@ -109,7 +108,7 @@
samer@0:  # export PKG=
samer@0:  
samer@0:  # [EDIT] Packages to skip.  Leaving it blank compiles all default packages.
samer@0: -# export DISABLE_PKGS="jpl ssl odbc utf8proc"
samer@0: +export DISABLE_PKGS="jasmine PDT R jpl"
samer@0:  
samer@0:  # [EDIT] Packages to add.
samer@0:  # export EXTRA_PKGS="db ltx2htm space"
samer@0: