aboutsummaryrefslogtreecommitdiff
path: root/src/makefile
diff options
context:
space:
mode:
authorpacien2018-05-01 01:29:33 +0200
committerpacien2018-05-01 01:29:33 +0200
commit2706214e1f9ba8c62cea26055dcc9aa46fcd0c3d (patch)
tree7c23f6a87434288bd88cdb7b7eadc867c9443281 /src/makefile
parent58e4fa622c441a9b832f0656580204a9f5b23e1d (diff)
downloadurm-2706214e1f9ba8c62cea26055dcc9aa46fcd0c3d.tar.gz
Add new tests
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)