annotate missing @ 1361:7a436b6267ab

Fix soundness bug in Effectize, where it missed some functions that might have effectful RPCs
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 18:07:05 -0500
parents 482815817e99
children 27d68ccb2c9e
rev   line source
adamc@1133 1 #! /bin/sh
adamc@1133 2 # Common stub for a few missing GNU programs while installing.
adamc@1133 3
adamc@1133 4 scriptversion=2009-04-28.21; # UTC
adamc@1133 5
adamc@1133 6 # Copyright (C) 1996, 1997, 1999, 2000, 2002, 2003, 2004, 2005, 2006,
adamc@1133 7 # 2008, 2009 Free Software Foundation, Inc.
adamc@1133 8 # Originally by Fran,cois Pinard <pinard@iro.umontreal.ca>, 1996.
adamc@1133 9
adamc@1133 10 # This program is free software; you can redistribute it and/or modify
adamc@1133 11 # it under the terms of the GNU General Public License as published by
adamc@1133 12 # the Free Software Foundation; either version 2, or (at your option)
adamc@1133 13 # any later version.
adamc@1133 14
adamc@1133 15 # This program is distributed in the hope that it will be useful,
adamc@1133 16 # but WITHOUT ANY WARRANTY; without even the implied warranty of
adamc@1133 17 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
adamc@1133 18 # GNU General Public License for more details.
adamc@1133 19
adamc@1133 20 # You should have received a copy of the GNU General Public License
adamc@1133 21 # along with this program. If not, see <http://www.gnu.org/licenses/>.
adamc@1133 22
adamc@1133 23 # As a special exception to the GNU General Public License, if you
adamc@1133 24 # distribute this file as part of a program that contains a
adamc@1133 25 # configuration script generated by Autoconf, you may include it under
adamc@1133 26 # the same distribution terms that you use for the rest of that program.
adamc@1133 27
adamc@1133 28 if test $# -eq 0; then
adamc@1133 29 echo 1>&2 "Try \`$0 --help' for more information"
adamc@1133 30 exit 1
adamc@1133 31 fi
adamc@1133 32
adamc@1133 33 run=:
adamc@1133 34 sed_output='s/.* --output[ =]\([^ ]*\).*/\1/p'
adamc@1133 35 sed_minuso='s/.* -o \([^ ]*\).*/\1/p'
adamc@1133 36
adamc@1133 37 # In the cases where this matters, `missing' is being run in the
adamc@1133 38 # srcdir already.
adamc@1133 39 if test -f configure.ac; then
adamc@1133 40 configure_ac=configure.ac
adamc@1133 41 else
adamc@1133 42 configure_ac=configure.in
adamc@1133 43 fi
adamc@1133 44
adamc@1133 45 msg="missing on your system"
adamc@1133 46
adamc@1133 47 case $1 in
adamc@1133 48 --run)
adamc@1133 49 # Try to run requested program, and just exit if it succeeds.
adamc@1133 50 run=
adamc@1133 51 shift
adamc@1133 52 "$@" && exit 0
adamc@1133 53 # Exit code 63 means version mismatch. This often happens
adamc@1133 54 # when the user try to use an ancient version of a tool on
adamc@1133 55 # a file that requires a minimum version. In this case we
adamc@1133 56 # we should proceed has if the program had been absent, or
adamc@1133 57 # if --run hadn't been passed.
adamc@1133 58 if test $? = 63; then
adamc@1133 59 run=:
adamc@1133 60 msg="probably too old"
adamc@1133 61 fi
adamc@1133 62 ;;
adamc@1133 63
adamc@1133 64 -h|--h|--he|--hel|--help)
adamc@1133 65 echo "\
adamc@1133 66 $0 [OPTION]... PROGRAM [ARGUMENT]...
adamc@1133 67
adamc@1133 68 Handle \`PROGRAM [ARGUMENT]...' for when PROGRAM is missing, or return an
adamc@1133 69 error status if there is no known handling for PROGRAM.
adamc@1133 70
adamc@1133 71 Options:
adamc@1133 72 -h, --help display this help and exit
adamc@1133 73 -v, --version output version information and exit
adamc@1133 74 --run try to run the given command, and emulate it if it fails
adamc@1133 75
adamc@1133 76 Supported PROGRAM values:
adamc@1133 77 aclocal touch file \`aclocal.m4'
adamc@1133 78 autoconf touch file \`configure'
adamc@1133 79 autoheader touch file \`config.h.in'
adamc@1133 80 autom4te touch the output file, or create a stub one
adamc@1133 81 automake touch all \`Makefile.in' files
adamc@1133 82 bison create \`y.tab.[ch]', if possible, from existing .[ch]
adamc@1133 83 flex create \`lex.yy.c', if possible, from existing .c
adamc@1133 84 help2man touch the output file
adamc@1133 85 lex create \`lex.yy.c', if possible, from existing .c
adamc@1133 86 makeinfo touch the output file
adamc@1133 87 tar try tar, gnutar, gtar, then tar without non-portable flags
adamc@1133 88 yacc create \`y.tab.[ch]', if possible, from existing .[ch]
adamc@1133 89
adamc@1133 90 Version suffixes to PROGRAM as well as the prefixes \`gnu-', \`gnu', and
adamc@1133 91 \`g' are ignored when checking the name.
adamc@1133 92
adamc@1133 93 Send bug reports to <bug-automake@gnu.org>."
adamc@1133 94 exit $?
adamc@1133 95 ;;
adamc@1133 96
adamc@1133 97 -v|--v|--ve|--ver|--vers|--versi|--versio|--version)
adamc@1133 98 echo "missing $scriptversion (GNU Automake)"
adamc@1133 99 exit $?
adamc@1133 100 ;;
adamc@1133 101
adamc@1133 102 -*)
adamc@1133 103 echo 1>&2 "$0: Unknown \`$1' option"
adamc@1133 104 echo 1>&2 "Try \`$0 --help' for more information"
adamc@1133 105 exit 1
adamc@1133 106 ;;
adamc@1133 107
adamc@1133 108 esac
adamc@1133 109
adamc@1133 110 # normalize program name to check for.
adamc@1133 111 program=`echo "$1" | sed '
adamc@1133 112 s/^gnu-//; t
adamc@1133 113 s/^gnu//; t
adamc@1133 114 s/^g//; t'`
adamc@1133 115
adamc@1133 116 # Now exit if we have it, but it failed. Also exit now if we
adamc@1133 117 # don't have it and --version was passed (most likely to detect
adamc@1133 118 # the program). This is about non-GNU programs, so use $1 not
adamc@1133 119 # $program.
adamc@1133 120 case $1 in
adamc@1133 121 lex*|yacc*)
adamc@1133 122 # Not GNU programs, they don't have --version.
adamc@1133 123 ;;
adamc@1133 124
adamc@1133 125 tar*)
adamc@1133 126 if test -n "$run"; then
adamc@1133 127 echo 1>&2 "ERROR: \`tar' requires --run"
adamc@1133 128 exit 1
adamc@1133 129 elif test "x$2" = "x--version" || test "x$2" = "x--help"; then
adamc@1133 130 exit 1
adamc@1133 131 fi
adamc@1133 132 ;;
adamc@1133 133
adamc@1133 134 *)
adamc@1133 135 if test -z "$run" && ($1 --version) > /dev/null 2>&1; then
adamc@1133 136 # We have it, but it failed.
adamc@1133 137 exit 1
adamc@1133 138 elif test "x$2" = "x--version" || test "x$2" = "x--help"; then
adamc@1133 139 # Could not run --version or --help. This is probably someone
adamc@1133 140 # running `$TOOL --version' or `$TOOL --help' to check whether
adamc@1133 141 # $TOOL exists and not knowing $TOOL uses missing.
adamc@1133 142 exit 1
adamc@1133 143 fi
adamc@1133 144 ;;
adamc@1133 145 esac
adamc@1133 146
adamc@1133 147 # If it does not exist, or fails to run (possibly an outdated version),
adamc@1133 148 # try to emulate it.
adamc@1133 149 case $program in
adamc@1133 150 aclocal*)
adamc@1133 151 echo 1>&2 "\
adamc@1133 152 WARNING: \`$1' is $msg. You should only need it if
adamc@1133 153 you modified \`acinclude.m4' or \`${configure_ac}'. You might want
adamc@1133 154 to install the \`Automake' and \`Perl' packages. Grab them from
adamc@1133 155 any GNU archive site."
adamc@1133 156 touch aclocal.m4
adamc@1133 157 ;;
adamc@1133 158
adamc@1133 159 autoconf*)
adamc@1133 160 echo 1>&2 "\
adamc@1133 161 WARNING: \`$1' is $msg. You should only need it if
adamc@1133 162 you modified \`${configure_ac}'. You might want to install the
adamc@1133 163 \`Autoconf' and \`GNU m4' packages. Grab them from any GNU
adamc@1133 164 archive site."
adamc@1133 165 touch configure
adamc@1133 166 ;;
adamc@1133 167
adamc@1133 168 autoheader*)
adamc@1133 169 echo 1>&2 "\
adamc@1133 170 WARNING: \`$1' is $msg. You should only need it if
adamc@1133 171 you modified \`acconfig.h' or \`${configure_ac}'. You might want
adamc@1133 172 to install the \`Autoconf' and \`GNU m4' packages. Grab them
adamc@1133 173 from any GNU archive site."
adamc@1133 174 files=`sed -n 's/^[ ]*A[CM]_CONFIG_HEADER(\([^)]*\)).*/\1/p' ${configure_ac}`
adamc@1133 175 test -z "$files" && files="config.h"
adamc@1133 176 touch_files=
adamc@1133 177 for f in $files; do
adamc@1133 178 case $f in
adamc@1133 179 *:*) touch_files="$touch_files "`echo "$f" |
adamc@1133 180 sed -e 's/^[^:]*://' -e 's/:.*//'`;;
adamc@1133 181 *) touch_files="$touch_files $f.in";;
adamc@1133 182 esac
adamc@1133 183 done
adamc@1133 184 touch $touch_files
adamc@1133 185 ;;
adamc@1133 186
adamc@1133 187 automake*)
adamc@1133 188 echo 1>&2 "\
adamc@1133 189 WARNING: \`$1' is $msg. You should only need it if
adamc@1133 190 you modified \`Makefile.am', \`acinclude.m4' or \`${configure_ac}'.
adamc@1133 191 You might want to install the \`Automake' and \`Perl' packages.
adamc@1133 192 Grab them from any GNU archive site."
adamc@1133 193 find . -type f -name Makefile.am -print |
adamc@1133 194 sed 's/\.am$/.in/' |
adamc@1133 195 while read f; do touch "$f"; done
adamc@1133 196 ;;
adamc@1133 197
adamc@1133 198 autom4te*)
adamc@1133 199 echo 1>&2 "\
adamc@1133 200 WARNING: \`$1' is needed, but is $msg.
adamc@1133 201 You might have modified some files without having the
adamc@1133 202 proper tools for further handling them.
adamc@1133 203 You can get \`$1' as part of \`Autoconf' from any GNU
adamc@1133 204 archive site."
adamc@1133 205
adamc@1133 206 file=`echo "$*" | sed -n "$sed_output"`
adamc@1133 207 test -z "$file" && file=`echo "$*" | sed -n "$sed_minuso"`
adamc@1133 208 if test -f "$file"; then
adamc@1133 209 touch $file
adamc@1133 210 else
adamc@1133 211 test -z "$file" || exec >$file
adamc@1133 212 echo "#! /bin/sh"
adamc@1133 213 echo "# Created by GNU Automake missing as a replacement of"
adamc@1133 214 echo "# $ $@"
adamc@1133 215 echo "exit 0"
adamc@1133 216 chmod +x $file
adamc@1133 217 exit 1
adamc@1133 218 fi
adamc@1133 219 ;;
adamc@1133 220
adamc@1133 221 bison*|yacc*)
adamc@1133 222 echo 1>&2 "\
adamc@1133 223 WARNING: \`$1' $msg. You should only need it if
adamc@1133 224 you modified a \`.y' file. You may need the \`Bison' package
adamc@1133 225 in order for those modifications to take effect. You can get
adamc@1133 226 \`Bison' from any GNU archive site."
adamc@1133 227 rm -f y.tab.c y.tab.h
adamc@1133 228 if test $# -ne 1; then
adamc@1133 229 eval LASTARG="\${$#}"
adamc@1133 230 case $LASTARG in
adamc@1133 231 *.y)
adamc@1133 232 SRCFILE=`echo "$LASTARG" | sed 's/y$/c/'`
adamc@1133 233 if test -f "$SRCFILE"; then
adamc@1133 234 cp "$SRCFILE" y.tab.c
adamc@1133 235 fi
adamc@1133 236 SRCFILE=`echo "$LASTARG" | sed 's/y$/h/'`
adamc@1133 237 if test -f "$SRCFILE"; then
adamc@1133 238 cp "$SRCFILE" y.tab.h
adamc@1133 239 fi
adamc@1133 240 ;;
adamc@1133 241 esac
adamc@1133 242 fi
adamc@1133 243 if test ! -f y.tab.h; then
adamc@1133 244 echo >y.tab.h
adamc@1133 245 fi
adamc@1133 246 if test ! -f y.tab.c; then
adamc@1133 247 echo 'main() { return 0; }' >y.tab.c
adamc@1133 248 fi
adamc@1133 249 ;;
adamc@1133 250
adamc@1133 251 lex*|flex*)
adamc@1133 252 echo 1>&2 "\
adamc@1133 253 WARNING: \`$1' is $msg. You should only need it if
adamc@1133 254 you modified a \`.l' file. You may need the \`Flex' package
adamc@1133 255 in order for those modifications to take effect. You can get
adamc@1133 256 \`Flex' from any GNU archive site."
adamc@1133 257 rm -f lex.yy.c
adamc@1133 258 if test $# -ne 1; then
adamc@1133 259 eval LASTARG="\${$#}"
adamc@1133 260 case $LASTARG in
adamc@1133 261 *.l)
adamc@1133 262 SRCFILE=`echo "$LASTARG" | sed 's/l$/c/'`
adamc@1133 263 if test -f "$SRCFILE"; then
adamc@1133 264 cp "$SRCFILE" lex.yy.c
adamc@1133 265 fi
adamc@1133 266 ;;
adamc@1133 267 esac
adamc@1133 268 fi
adamc@1133 269 if test ! -f lex.yy.c; then
adamc@1133 270 echo 'main() { return 0; }' >lex.yy.c
adamc@1133 271 fi
adamc@1133 272 ;;
adamc@1133 273
adamc@1133 274 help2man*)
adamc@1133 275 echo 1>&2 "\
adamc@1133 276 WARNING: \`$1' is $msg. You should only need it if
adamc@1133 277 you modified a dependency of a manual page. You may need the
adamc@1133 278 \`Help2man' package in order for those modifications to take
adamc@1133 279 effect. You can get \`Help2man' from any GNU archive site."
adamc@1133 280
adamc@1133 281 file=`echo "$*" | sed -n "$sed_output"`
adamc@1133 282 test -z "$file" && file=`echo "$*" | sed -n "$sed_minuso"`
adamc@1133 283 if test -f "$file"; then
adamc@1133 284 touch $file
adamc@1133 285 else
adamc@1133 286 test -z "$file" || exec >$file
adamc@1133 287 echo ".ab help2man is required to generate this page"
adamc@1133 288 exit $?
adamc@1133 289 fi
adamc@1133 290 ;;
adamc@1133 291
adamc@1133 292 makeinfo*)
adamc@1133 293 echo 1>&2 "\
adamc@1133 294 WARNING: \`$1' is $msg. You should only need it if
adamc@1133 295 you modified a \`.texi' or \`.texinfo' file, or any other file
adamc@1133 296 indirectly affecting the aspect of the manual. The spurious
adamc@1133 297 call might also be the consequence of using a buggy \`make' (AIX,
adamc@1133 298 DU, IRIX). You might want to install the \`Texinfo' package or
adamc@1133 299 the \`GNU make' package. Grab either from any GNU archive site."
adamc@1133 300 # The file to touch is that specified with -o ...
adamc@1133 301 file=`echo "$*" | sed -n "$sed_output"`
adamc@1133 302 test -z "$file" && file=`echo "$*" | sed -n "$sed_minuso"`
adamc@1133 303 if test -z "$file"; then
adamc@1133 304 # ... or it is the one specified with @setfilename ...
adamc@1133 305 infile=`echo "$*" | sed 's/.* \([^ ]*\) *$/\1/'`
adamc@1133 306 file=`sed -n '
adamc@1133 307 /^@setfilename/{
adamc@1133 308 s/.* \([^ ]*\) *$/\1/
adamc@1133 309 p
adamc@1133 310 q
adamc@1133 311 }' $infile`
adamc@1133 312 # ... or it is derived from the source name (dir/f.texi becomes f.info)
adamc@1133 313 test -z "$file" && file=`echo "$infile" | sed 's,.*/,,;s,.[^.]*$,,'`.info
adamc@1133 314 fi
adamc@1133 315 # If the file does not exist, the user really needs makeinfo;
adamc@1133 316 # let's fail without touching anything.
adamc@1133 317 test -f $file || exit 1
adamc@1133 318 touch $file
adamc@1133 319 ;;
adamc@1133 320
adamc@1133 321 tar*)
adamc@1133 322 shift
adamc@1133 323
adamc@1133 324 # We have already tried tar in the generic part.
adamc@1133 325 # Look for gnutar/gtar before invocation to avoid ugly error
adamc@1133 326 # messages.
adamc@1133 327 if (gnutar --version > /dev/null 2>&1); then
adamc@1133 328 gnutar "$@" && exit 0
adamc@1133 329 fi
adamc@1133 330 if (gtar --version > /dev/null 2>&1); then
adamc@1133 331 gtar "$@" && exit 0
adamc@1133 332 fi
adamc@1133 333 firstarg="$1"
adamc@1133 334 if shift; then
adamc@1133 335 case $firstarg in
adamc@1133 336 *o*)
adamc@1133 337 firstarg=`echo "$firstarg" | sed s/o//`
adamc@1133 338 tar "$firstarg" "$@" && exit 0
adamc@1133 339 ;;
adamc@1133 340 esac
adamc@1133 341 case $firstarg in
adamc@1133 342 *h*)
adamc@1133 343 firstarg=`echo "$firstarg" | sed s/h//`
adamc@1133 344 tar "$firstarg" "$@" && exit 0
adamc@1133 345 ;;
adamc@1133 346 esac
adamc@1133 347 fi
adamc@1133 348
adamc@1133 349 echo 1>&2 "\
adamc@1133 350 WARNING: I can't seem to be able to run \`tar' with the given arguments.
adamc@1133 351 You may want to install GNU tar or Free paxutils, or check the
adamc@1133 352 command line arguments."
adamc@1133 353 exit 1
adamc@1133 354 ;;
adamc@1133 355
adamc@1133 356 *)
adamc@1133 357 echo 1>&2 "\
adamc@1133 358 WARNING: \`$1' is needed, and is $msg.
adamc@1133 359 You might have modified some files without having the
adamc@1133 360 proper tools for further handling them. Check the \`README' file,
adamc@1133 361 it often tells you about the needed prerequisites for installing
adamc@1133 362 this package. You may also peek at any GNU archive site, in case
adamc@1133 363 some other package would contain this missing \`$1' program."
adamc@1133 364 exit 1
adamc@1133 365 ;;
adamc@1133 366 esac
adamc@1133 367
adamc@1133 368 exit 0
adamc@1133 369
adamc@1133 370 # Local variables:
adamc@1133 371 # eval: (add-hook 'write-file-hooks 'time-stamp)
adamc@1133 372 # time-stamp-start: "scriptversion="
adamc@1133 373 # time-stamp-format: "%:y-%02m-%02d.%02H"
adamc@1133 374 # time-stamp-time-zone: "UTC"
adamc@1133 375 # time-stamp-end: "; # UTC"
adamc@1133 376 # End: