summaryrefslogtreecommitdiffstats
path: root/camlp4
diff options
context:
space:
mode:
authorDaniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>2001-09-07 11:39:20 +0000
committerDaniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>2001-09-07 11:39:20 +0000
commit46e316638a733ddf8658964406148209146bfcd2 (patch)
tree907754ffdd3596e9c8f3f42d92a3c4bcc31eabb6 /camlp4
parent3a985f0ff654d2086da8c20b0dfe6135f4e1ff40 (diff)
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3714 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4')
-rw-r--r--camlp4/Makefile2
-rwxr-xr-xcamlp4/ocaml_src/tools/ocamlopt.sh8
2 files changed, 9 insertions, 1 deletions
diff --git a/camlp4/Makefile b/camlp4/Makefile
index c8f863024..521ae6e01 100644
--- a/camlp4/Makefile
+++ b/camlp4/Makefile
@@ -123,7 +123,7 @@ bootstrap_sources:
sed 's/# $$Id.*\$$/# Id/' ../../$$i/Makefile | \
sed 's-include ../config-include ../../config-g' | \
sed 's-../boot-../../boot-g' > Makefile; \
- cp ../../$$i/.depend .; \
+ cp ../../$$i/.depend .); \
done
@-for i in $(FDIRS); do \
for j in $$i/*.ml*; do \
diff --git a/camlp4/ocaml_src/tools/ocamlopt.sh b/camlp4/ocaml_src/tools/ocamlopt.sh
new file mode 100755
index 000000000..52946726d
--- /dev/null
+++ b/camlp4/ocaml_src/tools/ocamlopt.sh
@@ -0,0 +1,8 @@
+#!/bin/sh -e
+if test "`basename $OTOP`" != "ocaml_stuff"; then
+ COMM="$OTOP/boot/ocamlrun $OTOP/ocamlopt -I $OTOP/stdlib"
+else
+ COMM=ocamlopt$OPT
+fi
+echo $COMM $*
+$COMM $*