configure

   1 #!/bin/sh
   2 #
   3 # project  LilyPond -- the musical typesetter
   4 # title    (bash/sh/ksh) script to setup library and auto generated files
   5 # file     configure-broken-system
   6 #
   7 # Copyright (c) 1997 by
   8 #       Han-Wen Nienhuys <hanwen@stack.nl>
   9 #       Jan Nieuwenhuizen <jan@digicash.com>
  10 #
  11
  12 MAKE=${MAKE:-make}
  13 PREFIX=${PREFIX:-.}
  14
  15 # this whole script sux, but here we go:
  16 opt="`echo $1 | cut -c 1-3`"
  17 if [ "$opt" = "-h" -o "$opt" = "--h" ]
  18 then
  19         echo "Usage:"
  20         echo "  [MAKE=make] configure [options]"
  21         echo
  22         echo "options:"
  23         echo "  -h, --help      this text"
  24         echo
  25         echo "e.g.: MAKE=gmake configure"
  26         exit
  27 fi
  28
  29 #############
  30 #############
  31
  32 do_outdir() {
  33         if [ \! -d $1/out ]
  34         then
  35                 touch $1/.GENERATE
  36                 mkdir $1/out
  37                 echo 0 > $1/.build
  38         fi
  39 }
  40
  41 echo using PREFIX=$PREFIX
  42
  43 do_outdir make
  44 touch make/out/Site.make
  45
  46 $MAKE -C make -f Initial.make
  47
  48 echo "The sources are ready for compiling. "
  49 echo "To make sure that you don't have any stale dependencies: do"
  50 echo "          make clean"
  51