ML-Doc is a system for documenting the interfaces of SML libraries. It can produce both HTML and LaTeX output. http://people.cs.uchicago.edu/~jhr/tools/ml-doc.html PR: ports/115932: Submitted by: Timothy Bourke <timbob@bigpond.com>
46 lines
1.2 KiB
Text
46 lines
1.2 KiB
Text
--- config/install-sml-wrapper_sh.in.orig Thu May 10 23:24:11 2007
|
|
+++ config/install-sml-wrapper_sh.in Sun Jul 22 16:49:42 2007
|
|
@@ -9,9 +9,10 @@
|
|
#
|
|
# install-sml-wrapper.sh <program-name> <install-dir>
|
|
|
|
-INSTALL="@INSTALL@"
|
|
-INSTALL_DATA="@INSTALL_DATA@"
|
|
+INSTALL="$BSD_INSTALL_PROGRAM"
|
|
+INSTALL_DATA="$BSD_INSTALL_DATA"
|
|
HEAP_SUFFIX="@SMLNJ_HEAP_SUFFIX@"
|
|
+HEAP2EXEC=/usr/local/bin/heap2exec
|
|
|
|
if test $# -ne 2 ; then
|
|
echo "usage: install-sml-wrapper.sh <program-name> <install-dir>"
|
|
@@ -22,29 +23,17 @@
|
|
TARGET=`basename $SRC`
|
|
HEAP_IMAGE=$SRC.$HEAP_SUFFIX
|
|
INSTALL_DIR=$2
|
|
-INSTALL_HEAP_DIR=$INSTALL_DIR/.heap
|
|
-INSTALL_HEAP_IMAGE=$INSTALL_HEAP_DIR/$TARGET.$HEAP_SUFFIX
|
|
|
|
if test ! -f $HEAP_IMAGE ; then
|
|
echo "heap image $HEAP_IMAGE not found"
|
|
exit 1
|
|
fi
|
|
|
|
-# create the wrapper script
|
|
-#
|
|
-cat > $TARGET <<XXXX
|
|
-#!/bin/sh
|
|
-#
|
|
-exec @SMLNJ_CMD@ @SMLcmdname=\$0 @SMLload=$INSTALL_HEAP_IMAGE \$@
|
|
-XXXX
|
|
+$HEAP2EXEC $HEAP_IMAGE $TARGET
|
|
|
|
#install the script and heap image
|
|
#
|
|
$INSTALL $TARGET $INSTALL_DIR/$TARGET || exit 1
|
|
-if test ! -d $INSTALL_HEAP_DIR ; then
|
|
- mkdir $INSTALL_HEAP_DIR || exit 1
|
|
-fi
|
|
-$INSTALL_DATA $HEAP_IMAGE $INSTALL_HEAP_IMAGE || exit 1
|
|
|
|
# remove the local copy of the script
|
|
rm -f $TARGET
|