aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorpacien2018-04-21 15:41:48 +0200
committerpacien2018-04-21 15:41:48 +0200
commite828fbc45672ed2b6d9e78e6b667905d3c68267c (patch)
tree2d12ab197e2aec28900526ed60895bf21e6c561e
parentc198a4818eb00bbfa038b4029569fcff84096588 (diff)
downloadurm-e828fbc45672ed2b6d9e78e6b667905d3c68267c.tar.gz
Add new files to makefile
-rw-r--r--makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/makefile b/makefile
index 2ccd250..4179bf2 100644
--- a/makefile
+++ b/makefile
@@ -6,7 +6,8 @@ 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 urm_test.ml \
10 eurm.mli eurm.ml eurm_test.ml
10 11
11OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile 12OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile
12include $(OCAMLMAKEFILE) 13include $(OCAMLMAKEFILE)