mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-14 07:43:06 +00:00
0ece797080
PR: ports/131631 Submitted by: Andrew Bernard <andrewb@cs.cmu.edu> (maintainer)
14 lines
520 B
Plaintext
14 lines
520 B
Plaintext
--- 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"
|