diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -7,6 +7,7 @@ SOURCES = \ | |||
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 urm_test.ml \ |
10 | eurm.mli eurm.ml eurm_test.ml \ | ||
10 | main.ml | 11 | main.ml |
11 | 12 | ||
12 | OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile | 13 | OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile |