From 4146476e6fb7d07f13c29d3cc9ecf4addf2cbc99 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Thu, 27 Sep 2012 18:51:04 +1000
Subject: Utility to compare two article files to see if they produce the same
 results

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

(limited to 'makefile')

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