aboutsummaryrefslogtreecommitdiff
path: root/src/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'src/makefile')
-rw-r--r--src/makefile7
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
13OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile 14OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile
14include $(OCAMLMAKEFILE) 15include $(OCAMLMAKEFILE)