diff options
Diffstat (limited to 'src/makefile')
-rw-r--r-- | src/makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/makefile b/src/makefile index 6aceab8..f061b74 100644 --- a/src/makefile +++ b/src/makefile | |||
@@ -6,9 +6,10 @@ SOURCES = \ | |||
6 | parser.mli parser.ml \ | 6 | parser.mli parser.ml \ |
7 | instptr.mli instptr.ml \ | 7 | instptr.mli instptr.ml \ |
8 | reg.mli reg.ml \ | 8 | reg.mli reg.ml \ |
9 | urm.mli urm.ml urm_test.ml \ | 9 | urm.mli urm.ml \ |
10 | eurm.mli eurm.ml eurm_test.ml \ | 10 | eurm.mli eurm.ml \ |
11 | main.ml | 11 | main.mli main.ml \ |
12 | urm_test.ml eurm_test.ml | ||
12 | 13 | ||
13 | OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile | 14 | OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile |
14 | include $(OCAMLMAKEFILE) | 15 | include $(OCAMLMAKEFILE) |