projects / packages / coq.git / blame
| Commit | Line | Data |
|---|---|---|
| 9aeb7d21 JR |
1 | *** Makefile 2005/02/01 15:38:09 |
| 2 | --- Makefile 2005/11/04 00:46:57 | |
| 3 | *************** | |
| 4 | *** 1453,1463 **** | |
| 5 | ||
| 6 | .ml4.cmx: | |
| 7 | $(SHOW)'OCAMLOPT4 $<' | |
| 8 | ! $(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $< | |
| 9 | ||
| 10 | .ml4.cmo: | |
| 11 | $(SHOW)'OCAMLC4 $<' | |
| 12 | ! $(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $< | |
| 13 | ||
| 14 | #.v.vo: | |
| 15 | # $(BOOTCOQTOP) -compile $* | |
| 16 | --- 1453,1463 ---- | |
| 17 | ||
| 18 | .ml4.cmx: | |
| 19 | $(SHOW)'OCAMLOPT4 $<' | |
| 20 | ! $(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $< | |
| 21 | ||
| 22 | .ml4.cmo: | |
| 23 | $(SHOW)'OCAMLC4 $<' | |
| 24 | ! $(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $< | |
| 25 | ||
| 26 | #.v.vo: | |
| 27 | # $(BOOTCOQTOP) -compile $* |