| 20 |
|
|
| 21 |
DRIVER = driver/cduce.cmo |
DRIVER = driver/cduce.cmo |
| 22 |
|
|
| 23 |
|
TOPLEVEL = toplevel/toploop.cmo |
| 24 |
|
|
| 25 |
OBJECTS = $(TYPES) $(PARSER) $(TYPING) $(RUNTIME) |
OBJECTS = $(TYPES) $(PARSER) $(TYPING) $(RUNTIME) |
| 26 |
XOBJECTS = $(OBJECTS:.cmo=.cmx) |
XOBJECTS = $(OBJECTS:.cmo=.cmx) |
| 27 |
XDRIVER = $(DRIVER:.cmo=.cmx) |
XDRIVER = $(DRIVER:.cmo=.cmx) |
| 51 |
cduce: $(OBJECTS) $(DRIVER) |
cduce: $(OBJECTS) $(DRIVER) |
| 52 |
$(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(OBJECTS) $(DRIVER) |
$(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(OBJECTS) $(DRIVER) |
| 53 |
|
|
| 54 |
|
toplevel: $(OBJECTS) $(TOPLEVEL) |
| 55 |
|
$(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(OBJECTS) $(TOPLEVEL) |
| 56 |
|
|
| 57 |
|
|
| 58 |
cduce.opt: all.cmxa $(XDRIVER) |
cduce.opt: all.cmxa $(XDRIVER) |
| 59 |
$(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XOBJECTS) $(XDRIVER) |
$(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XOBJECTS) $(XDRIVER) |
| 60 |
|
|