diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2003-12-30 23:59:10 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2003-12-30 23:59:10 +0000 |
| commit | 50cd3a6e975f0eb412da43e3741c94d707ec1746 (patch) | |
| tree | bf2677f77b7cad24ba0d844ecc79aeb93050627d | |
| parent | 31943bac1db3351118c7f911db99bd567f02a883 (diff) | |
probleme install
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | camlp4/etc/Makefile | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/camlp4/etc/Makefile b/camlp4/etc/Makefile index 06952c9d3..9b8fc705f 100644 --- a/camlp4/etc/Makefile +++ b/camlp4/etc/Makefile @@ -31,13 +31,19 @@ pr_schemep.cmo: parserify.cmo pr_schp_main.cmo $(OCAMLC) parserify.cmo pr_schp_main.cmo -a -o $@ pr_rp.cmx: parserify.cmx pr_rp_main.cmx - $(OCAMLOPT) parserify.cmx pr_rp_main.cmx -a -o $@ + $(OCAMLOPT) parserify.cmx pr_rp_main.cmx -a -o pr_rp.cmxa + mv pr_rp.cmxa pr_rp.cmx + mv pr_rp.a pr_rp.o pr_op.cmx: parserify.cmx pr_op_main.cmx - $(OCAMLOPT) parserify.cmx pr_op_main.cmx -a -o $@ + $(OCAMLOPT) parserify.cmx pr_op_main.cmx -a -o pr_op.cmxa + mv pr_op.cmxa pr_op.cmx + mv pr_op.a pr_op.o pr_schemep.cmx: parserify.cmx pr_schp_main.cmx - $(OCAMLOPT) parserify.cmx pr_schp_main.cmx -a -o $@ + $(OCAMLOPT) parserify.cmx pr_schp_main.cmx -a -o pr_schemep.cmxa + mv pr_schemep.cmxa pr_schemep.cmx + mv pr_schemep.a pr_schemep.o camlp4o$(EXE): ../camlp4/camlp4$(EXE) $(CAMLP4OM) rm -f camlp4o$(EXE) |