Parent Directory
| 
Revision Log
| 
Patch
| revision 123 by abate, Tue Jul 10 17:07:37 2007 UTC | revision 124 by abate, Tue Jul 10 17:08:19 2007 UTC | |
|---|---|---|
| # | Line 76 | Line 76 |
| 76 | pull: tools/pull.cmo | pull: tools/pull.cmo |
| 77 | $(OCAMLC) $(DEBUG) -linkpkg -o $@ $< | $(OCAMLC) $(DEBUG) -linkpkg -o $@ $< |
| 78 | ||
| 79 | cduce.opt: all.cmxa $(XDRIVER) | cduce.opt: $(XCDUCE) |
| 80 | $(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XOBJECTS) $(XDRIVER) | $(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XCDUCE) |
| 81 | ||
| 82 | compute_depend: | compute_depend: |
| 83 | @echo "Computing dependencies ..." | @echo "Computing dependencies ..." |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |