diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 7 |
1 files changed, 6 insertions, 1 deletions
| @@ -1,11 +1,16 @@ | |||
| 1 | RESULT = urm | 1 | RESULT = urm |
| 2 | LIBS = str | 2 | LIBS = str |
| 3 | PACKS = kaputt | ||
| 3 | SOURCES = \ | 4 | SOURCES = \ |
| 4 | common.ml \ | 5 | common.ml \ |
| 5 | parser.mli parser.ml \ | 6 | parser.mli parser.ml \ |
| 6 | instptr.mli instptr.ml \ | 7 | instptr.mli instptr.ml \ |
| 7 | reg.mli reg.ml \ | 8 | reg.mli reg.ml \ |
| 8 | urm.mli urm.ml | 9 | urm.mli urm.ml urm_test.ml |
| 9 | 10 | ||
| 10 | OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile | 11 | OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile |
| 11 | include $(OCAMLMAKEFILE) | 12 | include $(OCAMLMAKEFILE) |
| 13 | |||
| 14 | test: nc | ||
| 15 | ./$(RESULT) run-tests | ||
| 16 | |||