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

---
 makefile | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 makefile

(limited to 'makefile')

diff --git a/makefile b/makefile
deleted file mode 100644
index 6aceab8..0000000
--- a/makefile
+++ /dev/null
@@ -1,18 +0,0 @@
-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