Erik Southworth committed 9868f40

set default prefix to /usr

  • Participants
  • Parent commits 180d36f

Comments (0)

Files changed (3)

 a custom scripting facility named waf. The shell commands
 ``./waf configure; ./waf build; ./waf install`` should do the same.
-The most interesting options to set are the usual:
+The default prefix for this package is:
-Use the included ./preconfigure script to set these quickly.
 Interesting options
     "/usr/local/lib" etc. An installation prefix other than "/usr/local"
     can be given using "--prefix", for example "--prefix=$HOME"
-    --prefix=PREFIX     installation prefix (configuration) [default: '/usr/local/']
-    --destdir=DESTDIR   installation root [default: '']
+    --prefix=PREFIX     installation prefix (configuration) ['/usr']
+    --destdir=DESTDIR   installation root []
 ``configure`` also accepts some other, not widely useful, options.  Run
 ``configure --help`` for more details.

File preconfigure

-# preconfigure - preset configure command
-# Erik Southworth, 2009 (s6v)
-./configure --prefix=/usr "$@"
 # Erik Southworth, 2009 (s6v)
 import Options
-import Utils
 import os
 import shutil
 import platform
 def set_options(opt):
 	#~ opt.tool_options('gnu_dirs')
+	opt.parser.set_defaults(prefix='/usr')
 	opt.add_option('--maintainer', action='store_true', default=False,
-		help='is: maintainer build from VC sources [default: False]',
+		help='is: maintainer build from VC sources',
 def configure(conf):