diff options
author | 2008-11-10 19:42:49 +0000 | |
---|---|---|
committer | 2008-11-10 19:42:49 +0000 | |
commit | 6ad45a92145d9b814c3a2e11f1e60748ed01d15b (patch) | |
tree | a648401151e09773cf25aa771c7954968218ae40 | |
parent | fa914a0fab970de22aa1382cb7b44c6acc9b0814 (diff) |
Makefile.build: an OPTFLAGS behind a bytecode ocamlc (which refuses -p)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11577 85f007b7-540e-0410-9357-904b9bb8a0f7
-rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index e776c5ec1..3d4c705a1 100644 --- a/Makefile.build +++ b/Makefile.build @@ -735,7 +735,7 @@ dev/printers.cma: $(PRINTERSCMO) parsing/grammar.cma: $(GRAMMARCMO) $(SHOW)'Testing $@' @touch test.ml4 - $(HIDE)$(OCAMLC) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) $(GRAMMARCMO) -impl" -impl test.ml4 -o test-grammar + $(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) $(GRAMMARCMO) -impl" -impl test.ml4 -o test-grammar @rm -f test-grammar test.* $(SHOW)'OCAMLC -a $@' $(HIDE)$(OCAMLC) $(BYTEFLAGS) $(GRAMMARCMO) -linkall -a -o $@ |