From e828fbc45672ed2b6d9e78e6b667905d3c68267c Mon Sep 17 00:00:00 2001 From: pacien Date: Sat, 21 Apr 2018 15:41:48 +0200 Subject: Add new files to makefile --- makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'makefile') diff --git a/makefile b/makefile index 2ccd250..4179bf2 100644 --- a/makefile +++ b/makefile @@ -6,7 +6,8 @@ SOURCES = \ parser.mli parser.ml \ instptr.mli instptr.ml \ reg.mli reg.ml \ - urm.mli urm.ml urm_test.ml + urm.mli urm.ml urm_test.ml \ + eurm.mli eurm.ml eurm_test.ml OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile include $(OCAMLMAKEFILE) -- cgit v1.2.3