dnl (or some such) to see the outline of this file)
dnl
dnl * INITIAL SETUP, CHOICE OF PLATFORM(S)
#!/bin/sh
#
# (c) The AQUA Project, Glasgow University, 1994-1997
# (c) The AQUA Project, Glasgow University, 1994-1998
#
# Configure script for the Glasgow functional programming tools
# (created automagically by autoconf...do not edit by hand)
# Configure script template for the Glasgow functional programming tools
#
# Do "./configure --help" to see what flags are available.
# (Better yet, read the documentation!)
# Process with 'autoconf' to get a working configure script.
#
# For the generated configure script, do "./configure --help" to
# see what flags are available. (Better yet, read the documentation!)
#
# First off, a distrib sanity check..
AC_INIT(mk/config.mk.in)
...
...
@@ -21,7 +22,7 @@ AC_INIT(mk/config.mk.in)
#
AC_CONFIG_HEADER(mk/config.h)
# No, we don't do `--srcdir'...
# No, semi-sadly, we don't do `--srcdir'...
if test x"$srcdir" != 'x.' ; then
echo "This configuration does not support the \`--srcdir' option.."
exit 1
...
...
@@ -29,7 +30,7 @@ fi
#
# Remove common automounter nonsense + convert from UNC to DOS style paths
# (cygwin32-beta18 for UNC isn't quite there yet.)
# (UNC awareness isn't quite there yet for cygwin32-beta18 and consituent tools.)
#
hardtop=`pwd`
hardtop=`echo $hardtop | sed 's|^/tmp_mnt.*\(/local/.*\)$|\1|' | sed 's|^/tmp_mnt/|/|' | sed 's|^/grasp_tmp|/local/grasp_tmp|' | sed 's|^//\(.\)/|\1:/|' `
...
...
@@ -38,27 +39,19 @@ echo ''
echo "*** The top of your build tree is: $hardtop"