source: Deliverables/D4.1/Makefile @ 569

Last change on this file since 569 was 426, checked in by mulligan, 10 years ago

Changes to ocaml code and makefile.

File size: 74 bytes
RevLine 
[28]1all:
[426]2        ocamlbuild -cflags "-w Ae" Test.native ToMatita.native
[28]3
4.PHONY: all
Note: See TracBrowser for help on using the repository browser.