From 8b0ca364832403e16b80704496c61ddcd3405dcc Mon Sep 17 00:00:00 2001 From: Kallfaktorn Date: Thu, 5 May 2011 02:50:46 +0200 Subject: [PATCH] modified makefile to run quickcheck tests. Usage: make eqc_db --- Makefile | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/Makefile b/Makefile index 38f69d5..52fcf4b 100644 --- a/Makefile +++ b/Makefile @@ -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