$OpenBSD: patch-Makefile,v 1.5 2019/08/18 01:15:12 daniel Exp $

Convenience test target

Index: Makefile
--- Makefile.orig
+++ Makefile
@@ -173,7 +173,7 @@ runtime:
 
 FORCE:
 
-.PHONY: proof extraction runtime FORCE
+.PHONY: proof extraction runtime test FORCE
 
 documentation: $(FILES)
 	mkdir -p doc/html
@@ -255,6 +255,10 @@ ifeq ($(INSTALL_COQDEV),true)
 	install -m 0644 ./VERSION $(DESTDIR)$(COQDEVDIR)
 	@(echo "To use, pass the following to coq_makefile or add the following to _CoqProject:"; echo "-R $(COQDEVDIR) compcert") > $(DESTDIR)$(COQDEVDIR)/README
 endif
+
+test:
+	env CCOMPOPTS=-Wl,-z,notext $(MAKE) -C test
+	env CCOMPOPTS=-Wl,-z,notext $(MAKE) -C test test
 
 
 clean:
