Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/config/chk-global-names.sh
ViewVC logotype

View of /sml/trunk/config/chk-global-names.sh

Parent Directory Parent Directory | Revision Log Revision Log


Revision 13 - (download) (as text) (annotate)
Sun Jan 18 21:36:02 1998 UTC (21 years, 7 months ago) by monnier
File size: 514 byte(s)
merged with flint-v1.1
#!/bin/sh
#
# COPYRIGHT (c) 1995 AT&T Bell Laboratories.
#
# Check to see if "_" is prepended to global names in the symbol table.
#

CC=${CC:-cc}

TMP_FILE=/tmp/smlConfig-$$
TMP_FILE_C=$TMP_FILE.c

WITNESS="w3E_4Ew3E_4Rrr_56TtT"

cat > $TMP_FILE_C <<XXXX
$WITNESS () {}
XXXX

$CC -c -o $TMP_FILE $TMP_FILE_C
if [ "$?" != "0" ]; then
    rm -f $TMP_FILE $TMP_FILE_C
    exit 1
fi

if `nm $TMP_FILE | grep -q "_$WITNESS"`
  then echo "-DGLOBALS_HAVE_UNDERSCORE"
fi             

rm -f $TMP_FILE $TMP_FILE_C

exit 0

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0