aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile11
1 files changed, 11 insertions, 0 deletions
diff --git a/makefile b/makefile
new file mode 100644
index 0000000..f027be5
--- /dev/null
+++ b/makefile
@@ -0,0 +1,11 @@
1RESULT = urm
2LIBS = str
3SOURCES = \
4 common.ml \
5 parser.mli parser.ml \
6 instptr.mli instptr.ml \
7 reg.mli reg.ml \
8 urm.mli urm.ml
9
10OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile
11include $(OCAMLMAKEFILE)