aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/makefile b/makefile
index 4179bf2..6aceab8 100644
--- a/makefile
+++ b/makefile
@@ -7,7 +7,8 @@ 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 eurm.mli eurm.ml eurm_test.ml \
11 main.ml
11 12
12OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile 13OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile
13include $(OCAMLMAKEFILE) 14include $(OCAMLMAKEFILE)