aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
authorpacien2018-04-21 14:24:33 +0200
committerpacien2018-04-21 14:24:33 +0200
commit48b18b8e9fbaa38df427b3d435ab6f73c5da0db5 (patch)
tree9681760a78eda79f52c369610caa466a8c27bc54 /makefile
parent3f25710a891dfcd17f597c16dfedf5499bc1bbd6 (diff)
downloadurm-48b18b8e9fbaa38df427b3d435ab6f73c5da0db5.tar.gz
Add test
Diffstat (limited to 'makefile')
-rw-r--r--makefile7
1 files changed, 6 insertions, 1 deletions
diff --git a/makefile b/makefile
index f027be5..2ccd250 100644
--- a/makefile
+++ b/makefile
@@ -1,11 +1,16 @@
1RESULT = urm 1RESULT = urm
2LIBS = str 2LIBS = str
3PACKS = kaputt
3SOURCES = \ 4SOURCES = \
4 common.ml \ 5 common.ml \
5 parser.mli parser.ml \ 6 parser.mli parser.ml \
6 instptr.mli instptr.ml \ 7 instptr.mli instptr.ml \
7 reg.mli reg.ml \ 8 reg.mli reg.ml \
8 urm.mli urm.ml 9 urm.mli urm.ml urm_test.ml
9 10
10OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile 11OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile
11include $(OCAMLMAKEFILE) 12include $(OCAMLMAKEFILE)
13
14test: nc
15 ./$(RESULT) run-tests
16