config/missing

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