From 5398b08ec6d445f91ed74c8434150cfbf99cc373 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 2 Apr 2020 14:54:05 +0100
Subject: Update makefile for tests

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 3c62851..0c26d57 100644
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,7 @@ VS := src/Compiler.v $(VSSUBDIR)
 
 PREFIX ?= .
 
-.PHONY: all install proof clean extraction
+.PHONY: all install proof clean extraction test
 
 all: lib/COMPCERTSTAMP
 	$(MAKE) proof
@@ -38,6 +38,9 @@ proof: Makefile.coq
 
 extraction: src/extraction/STAMP
 
+test:
+	./test/test_all.sh ./test
+
 compile: src/extraction/STAMP
 	@echo "OCaml bin/coqup"
 	@mkdir -p bin
-- 
cgit