$OpenBSD: patch-Makefile,v 1.2 2018/09/12 04:58:49 daniel Exp $

Convenience test target

Index: Makefile
--- Makefile.orig
+++ Makefile
@@ -175,7 +175,7 @@ runtime:
 
 FORCE:
 
-.PHONY: proof extraction runtime FORCE
+.PHONY: proof extraction runtime test FORCE
 
 documentation: doc/coq2html $(FILES)
 	mkdir -p doc/html
@@ -261,6 +261,10 @@ ifeq ($(INSTALL_COQDEV),true)
 	done
 	@(echo "To use, pass the following to coq_makefile or add the following to _CoqProject:"; echo "-R $(COQDEVDIR) compcert") > $(COQDEVDIR)/README
 endif
+
+test:
+	$(MAKE) -C test
+	$(MAKE) -C test test
 
 
 clean:
