Jamrules.configure

   1 rule -configure-options-help- {
   2   Echo "jam configure supports:" ;
   3   Echo "  --prefix=dir     [/usr/local]" ;
   4   Echo "  --disable-https  disable HTTPS support" ;
   5   Echo "  --install-man    install man file" ;
   6   Exit "" ;
   7 }
   8
   9
  10 rule -configure-options-disable-https- {
  11   NO_HTTPS = tan ;
  12 }
  13
  14
  15 rule -configure-options-install-man- {
  16   INSTALL_MAN = tan ;
  17 }
  18
  19
  20 rule -configure- {
  21   -configure-add-line- "NO_HTTPS =" "$(NO_HTTPS)" ";" ;
  22   -configure-add-line- "INSTALL_MAN =" "$(INSTALL_MAN)" ";" ;
  23 }
  24
  25
  26 rule -configure-preinit- {
  27   NO_HTTPS = ;
  28   INSTALL_MAN = ;
  29 }
  30
  31
  32 configure ;