diff options
author | pacien | 2018-04-21 15:41:48 +0200 |
---|---|---|
committer | pacien | 2018-04-21 15:41:48 +0200 |
commit | e828fbc45672ed2b6d9e78e6b667905d3c68267c (patch) | |
tree | 2d12ab197e2aec28900526ed60895bf21e6c561e | |
parent | c198a4818eb00bbfa038b4029569fcff84096588 (diff) | |
download | urm-e828fbc45672ed2b6d9e78e6b667905d3c68267c.tar.gz |
Add new files to makefile
-rw-r--r-- | makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 | ||
11 | OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile | 12 | OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile |
12 | include $(OCAMLMAKEFILE) | 13 | include $(OCAMLMAKEFILE) |