head	1.1;
access;
symbols
	RELEASE_8_3_0:1.1
	RELEASE_9_0_0:1.1
	RELEASE_7_4_0:1.1
	RELEASE_8_2_0:1.1
	RELEASE_6_EOL:1.1
	RELEASE_8_1_0:1.1
	RELEASE_7_3_0:1.1
	RELEASE_8_0_0:1.1
	RELEASE_7_2_0:1.1;
locks; strict;
comment	@# @;


1.1
date	2009.04.11.03.00.02;	author wxs;	state Exp;
branches;
next	;


desc
@@


1.1
log
@- Update to 1.5R1

PR:		ports/131631
Submitted by:	Andrew Bernard <andrewb@@cs.cmu.edu> (maintainer)
@
text
@--- bin/.mkexec.orig	2003-01-21 01:03:32.000000000 -0500
+++ bin/.mkexec	2009-02-12 21:24:27.000000000 -0500
@@@@ -7,8 +7,9 @@@@
 # $2 = Twelf root directory
 # $3 = Type of executable (e.g. twelf-server, twelf-sml)
 # $4 = Name of executable (e.g. twelf-server, twelf-sml)
+# $5 = Twelf installation directory (e.g. /usr/local/libexec/twelf)
 cat > "$2/bin/$4" <<EOF
 #! /bin/sh
-exec "$1" @@SMLload="$2/bin/.heap/$3" @@SMLdebug=/dev/null
+exec "$1" @@SMLload="$5/bin/.heap/$3" @@SMLdebug=/dev/null
 EOF
 chmod a+x "$2/bin/$4"
@
