From 212268f54c947f4360a7d0e5b45faa97f76a4a9d Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 21 Jun 2014 21:24:15 +0200
Subject: Add psl cover directive (ticket19).

---
 testsuite/gna/ticket19/Makefile | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 testsuite/gna/ticket19/Makefile

(limited to 'testsuite/gna/ticket19/Makefile')

diff --git a/testsuite/gna/ticket19/Makefile b/testsuite/gna/ticket19/Makefile
new file mode 100644
index 000000000..215246320
--- /dev/null
+++ b/testsuite/gna/ticket19/Makefile
@@ -0,0 +1,12 @@
+psl_test_cover: psl_test_cover.vhd
+	ghdl -a --std=02 -fpsl psl_test_cover.vhd
+	ghdl -e --std=02 -fpsl psl_test_cover
+	./psl_test_cover --stop-time=200ns
+
+all: clean psl_test_cover
+
+.PHONY: clean
+clean:
+	rm -f *.cf
+	rm -f *.o
+	rm -f psl_test_cover
\ No newline at end of file
-- 
cgit v1.2.3