From 84f2ee4a7653b47c4ddefd87c4482729d0272e6b Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Fri, 14 Sep 2012 07:41:49 +1000
Subject: Testing package

---
 makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'makefile')

diff --git a/makefile b/makefile
index 07ca71a..d04dd06 100644
--- a/makefile
+++ b/makefile
@@ -3,7 +3,7 @@ OUTPUTDIR = ./bin
 
 
 
-all: semantic syntactic proofgraph writeproof delete concat listthm
+all: semantic syntactic proofgraph writeproof delete concat listthm meaningsubst unittest
 
 clean:
 	find . -name '*.hi' -delete
@@ -31,4 +31,8 @@ concat:
 listthm:
 	ghc --make ./ListThm.hs -o ${OUTPUTDIR}/ListThm
 
+meaningsubst:
+	ghc --make ./MeaningSubst.hs -o ${OUTPUTDIR}/MeaningSubst
 
+unittest:
+	ghc --make ./Test.hs -o ${OUTPUTDIR}/UnitTest
-- 
cgit