config/missing

   1 #! /bin/sh
   2
   3 # $PostgreSQL$
   4
   5 # This is *not* the GNU `missing' script, although it is similar in
   6 # concept. You can call it from the makefiles to get consistent
   7 # behavior when certain utility programs are missing.
   8
   9 case $1 in
  10     flex|bison)
  11         # `missing flex|bison <input> <output>'
  12         input=$2
  13         output=$3
  14         if test -f "$output"; then
  15             echo "\
  16 ***
  17 WARNING: \`$1' is missing on your system. You should only need it
  18 if you changed the file \`$input'; these changes will not take effect.
  19 You can get $1 from a GNU mirror site.
  20 ***"
  21             echo "touch $output"
  22             touch "$output"
  23             exit 0
  24         else # ! test -f $output
  25             echo "\
  26 ***
  27 ERROR: \`$1' is missing on your system. It is needed to create the
  28 file \`$output'. You can either get $1 from a GNU mirror site
  29 or download an official distribution of PostgreSQL, which contains
  30 pre-packaged $1 output.
  31 ***"
  32             exit 1
  33         fi
  34         ;;
  35 esac