diff options
author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-09-07 11:39:20 +0000 |
---|---|---|
committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-09-07 11:39:20 +0000 |
commit | 46e316638a733ddf8658964406148209146bfcd2 (patch) | |
tree | 907754ffdd3596e9c8f3f42d92a3c4bcc31eabb6 /camlp4 | |
parent | 3a985f0ff654d2086da8c20b0dfe6135f4e1ff40 (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/Makefile | 2 | ||||
-rwxr-xr-x | camlp4/ocaml_src/tools/ocamlopt.sh | 8 |
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 $* |