From 0647f37eebbefb8446fc8abfc533a23952fbb8be Mon Sep 17 00:00:00 2001
From: pacien
Date: Sun, 29 Apr 2018 20:24:38 +0200
Subject: Move sources to dedicated directory

---
 src/makefile | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 src/makefile

(limited to 'src/makefile')

diff --git a/src/makefile b/src/makefile
new file mode 100644
index 0000000..6aceab8
--- /dev/null
+++ b/src/makefile
@@ -0,0 +1,18 @@
+RESULT = urm
+LIBS = str
+PACKS = kaputt
+SOURCES = \
+  common.ml \
+  parser.mli parser.ml \
+  instptr.mli instptr.ml \
+  reg.mli reg.ml \
+  urm.mli urm.ml urm_test.ml \
+  eurm.mli eurm.ml eurm_test.ml \
+  main.ml
+
+OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile
+include $(OCAMLMAKEFILE)
+
+test: nc
+	./$(RESULT) run-tests
+
-- 
cgit v1.2.3