Blame config/auto-aux/hasgot

Packit bd2e5d
#!/bin/sh
Packit bd2e5d
Packit bd2e5d
#########################################################################
Packit bd2e5d
#                                                                       #
Packit bd2e5d
#                                 OCaml                                 #
Packit bd2e5d
#                                                                       #
Packit bd2e5d
#            Xavier Leroy, projet Cristal, INRIA Rocquencourt           #
Packit bd2e5d
#                                                                       #
Packit bd2e5d
#   Copyright 1995 Institut National de Recherche en Informatique et    #
Packit bd2e5d
#   en Automatique.  All rights reserved.  This file is distributed     #
Packit bd2e5d
#   under the terms of the GNU Library General Public License, with     #
Packit bd2e5d
#   the special exception on linking described in file ../../LICENSE.   #
Packit bd2e5d
#                                                                       #
Packit bd2e5d
#########################################################################
Packit bd2e5d
Packit bd2e5d
opts=""
Packit bd2e5d
libs="$cclibs"
Packit bd2e5d
args=$*
Packit bd2e5d
rm -f hasgot.c
Packit bd2e5d
var="x"
Packit bd2e5d
while : ; do
Packit bd2e5d
  case "$1" in
Packit bd2e5d
    -i) echo "#include <$2>" >> hasgot.c; shift;;
Packit bd2e5d
    -t) echo "$2 $var;" >> hasgot.c; var="x$var"; shift;;
Packit bd2e5d
    -l*|-L*|-F*) libs="$libs $1";;
Packit bd2e5d
    -framework) libs="$libs $1 $2"; shift;;
Packit bd2e5d
    -*) opts="$opts $1";;
Packit bd2e5d
     *) break;;
Packit bd2e5d
  esac
Packit bd2e5d
  shift
Packit bd2e5d
done
Packit bd2e5d
Packit bd2e5d
(echo "main() {"
Packit bd2e5d
 for f in $*; do echo "  $f();"; done
Packit bd2e5d
 echo "}") >> hasgot.c
Packit bd2e5d
Packit bd2e5d
if test "$verbose" = yes; then
Packit bd2e5d
  echo "hasgot $args: $cc $opts -o tst hasgot.c $libs" >&2
Packit bd2e5d
  exec $cc $opts -o tst hasgot.c $libs > /dev/null
Packit bd2e5d
else
Packit bd2e5d
  exec $cc $opts -o tst hasgot.c $libs > /dev/null 2>/dev/null
Packit bd2e5d
fi