configure

   1 #! /bin/sh
   2 # GNU configure-like front end to metaconfig's Configure.
   3 #
   4 # Written by Andy Dougherty (doughera@lafcol.lafayette.edu)
   5 # and matthew green (mrg@mame.mu.oz.au)
   6 #
   7 # public domain.
   8
   9 opts=''
  10 for f in $*
  11 do
  12   case $f in
  13     --help)
  14       echo This is GNU configure-like front end for a MetaConfig Configure.
  15       echo It understands the follow GNU configure options:
  16       echo "  --prefix=PREFIX"
  17       echo "  --help"
  18       echo ""
  19       echo And these environment variables:
  20       echo "  CFLAGS"
  21       echo "  CC"
  22       echo "  DEFS"
  23       echo 0
  24       ;;
  25     --prefix=*)
  26       shift
  27       arg=`echo $f | sed 's/--prefix=/-Dprefix=/'`
  28       opts="$opts $arg"
  29       ;;
  30     --*)
  31       opt=`echo $f | sed 's/=.*//'`
  32       echo This GNU configure front end does not understand $opt
  33       exit 1
  34       ;;
  35     *)
  36       shift
  37       opts="$opts $f"
  38       ;;
  39   esac
  40 done
  41
  42 case "$CC" in
  43   '') ;;
  44   *) opts="$opts -Dcc='$CC'" ;;
  45 esac
  46
  47 # join DEFS and CFLAGS together.
  48
  49 ccflags=''
  50 if test "x$DEFS" != x
  51 then
  52   ccflags=$DEFS
  53 fi
  54 if test "x$CFLAGS" != x
  55 then
  56   ccflags="$ccflags $CFLAGS"
  57 fi
  58
  59 if test "x$ccflags" != x
  60 then
  61   opts="$opts -Dccflags='$ccflags'"
  62 fi
  63
  64 echo ./Configure "$opts" -des
  65 ./Configure "$opts" -des