Parent Directory
| 
Revision Log
| 
Patch
| revision 70 by abate, Tue Jul 10 17:03:19 2007 UTC | revision 71 by abate, Tue Jul 10 17:03:32 2007 UTC | |
|---|---|---|
| # | Line 58 | Line 58 |
| 58 | $(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(OBJECTS) $(TOPLEVEL) | $(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(OBJECTS) $(TOPLEVEL) |
| 59 | ||
| 60 | ||
| 61 | dtd2cduce: tools/dtd2cduce.cmo | |
| 62 | $(OCAMLC) $(DEBUG) -linkpkg -o $@ $< | |
| 63 | ||
| 64 | cduce.opt: all.cmxa $(XDRIVER) | cduce.opt: all.cmxa $(XDRIVER) |
| 65 | $(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XOBJECTS) $(XDRIVER) | $(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XOBJECTS) $(XDRIVER) |
| 66 |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |