source: Deliverables/D4.1/Makefile @ 605

Last change on this file since 605 was 573, checked in by ricciott, 9 years ago

Added round-trip tests.

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