2000-06-11 02:02:12 +08:00
|
|
|
#! /bin/sh
|
|
|
|
|
2000-08-28 19:53:23 +08:00
|
|
|
# This is *not* the GNU `missing' script, although it is similar in
|
|
|
|
# concept. You can call it from the makefiles to get consistent
|
|
|
|
# behavior when certain utility programs are missing.
|
|
|
|
|
|
|
|
case $1 in
|
2001-02-11 06:31:42 +08:00
|
|
|
flex|bison)
|
|
|
|
# `missing flex|bison <input> <output>'
|
2000-08-28 19:53:23 +08:00
|
|
|
input=$2
|
|
|
|
output=$3
|
|
|
|
if test -f "$output"; then
|
|
|
|
echo "\
|
|
|
|
***
|
2001-02-11 06:31:42 +08:00
|
|
|
WARNING: \`$1' is missing on your system. You should only need it
|
2000-08-28 19:53:23 +08:00
|
|
|
if you changed the file \`$input'; these changes will not take effect.
|
2001-02-11 06:31:42 +08:00
|
|
|
You can get $1 from a GNU mirror site.
|
2000-08-28 19:53:23 +08:00
|
|
|
***"
|
|
|
|
echo "touch $output"
|
|
|
|
touch "$output"
|
|
|
|
exit 0
|
|
|
|
else # ! test -f $output
|
|
|
|
echo "\
|
|
|
|
***
|
2001-02-11 06:31:42 +08:00
|
|
|
ERROR: \`$1' is missing on your system. It is needed to create the
|
|
|
|
file \`$output'. You can either get $1 from a GNU mirror site
|
2000-08-28 19:53:23 +08:00
|
|
|
or download an official distribution of PostgreSQL, which contains
|
2001-02-11 06:31:42 +08:00
|
|
|
pre-packaged $1 output.
|
2000-08-28 19:53:23 +08:00
|
|
|
***"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
;;
|
2000-06-11 02:02:12 +08:00
|
|
|
esac
|