Mercurial > urweb

annotate missing @ 1361:7a436b6267ab

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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: