From 366b64825ce20ea5f9f3e0da298618f15450613f Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 10 Oct 2013 16:29:35 +0100
Subject: Stub test suite

---
 src/Makefile          | 14 +++-----------
 src/test/run_tests.ml |  7 +++++++
 src/test/test1.sail   |  1 -
 3 files changed, 10 insertions(+), 12 deletions(-)
 create mode 100644 src/test/run_tests.ml

diff --git a/src/Makefile b/src/Makefile
index 59f9165c..4ecf9ba7 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,15 +1,7 @@
-.PHONY: all test clean
+.PHONY: all clean
 
-all: main.native test
-
-.PHONY: main.native
-main.native:
-	ocamlbuild main.native
-
-TESTS=test/test1.native
-
-test:
-	ocamlbuild $(TESTS)
+all:
+	ocamlbuild main.native test/run_tests.native
 
 clean:
 	-ocamlbuild -clean
diff --git a/src/test/run_tests.ml b/src/test/run_tests.ml
new file mode 100644
index 00000000..56dd88c9
--- /dev/null
+++ b/src/test/run_tests.ml
@@ -0,0 +1,7 @@
+let tests = [
+  "test1", Test1.defs;
+] ;;
+
+let run_all () = List.iter Run_interp.run tests ;;
+
+run_all () ;;
diff --git a/src/test/test1.sail b/src/test/test1.sail
index 29f479d6..e3a98e3f 100644
--- a/src/test/test1.sail
+++ b/src/test/test1.sail
@@ -10,4 +10,3 @@ typedef maybe = const union forall a. { unit None; a Some; }
 typedef colors = enumerate { red; green; blue }
 typedef creg = register bits [5:i] { 5 : h ; 6..7 : j}
 let bool e = true
-let unit x = main ()
-- 
cgit v1.2.3