modified makefile to run quickcheck tests. Usage: make eqc_db

2011-05-05 02:50:46 +02:00 · 2011-05-05 02:50:46 +02:00 · 8b0ca36483
commit 8b0ca36483
parent 8712049ed0
1 changed files with 10 additions and 0 deletions
--- a/10
+++ b/10
@ -42,9 +42,19 @@ run:
 		-mnesia dir '"/tmp/ggs"' \
 		-boot start_sasl \
 		-pa $(LIBDIR)/erlv8/ebin/ \
+		-pa $(LIBDIR)/eqc/ebin/ \
 		-pa ebin \
 		-pa src \
 		-s start_ggs

+eqc_db:
+	$(ERLC) -pa $(BEAMDIR) -pa $(LIBDIR)/eqc/ebin -pa $(SRCDIR) -pa $(TESTDIR) $(TESTDIR)/ggs_db_eqc_test.erl
+	erl -mnesia dir '"/tmp/ggs"' \
+	-pa $(LIBDIR)/eqc/ebin/ \
+	-pa ebin/ \
+	-pa src/ \
+	-pa tests/ \
+	-s ggs_db_eqc_test
+
 force_look:
 	true