diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-09-27 18:51:04 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-09-27 18:51:04 +1000 |
| commit | 4146476e6fb7d07f13c29d3cc9ecf4addf2cbc99 (patch) | |
| tree | 269bb9aca365ca89aa32a5eed1a00d152e24b91c /makefile | |
| parent | ad1b2ed1e8fb4ec549318a27b5f80d2a6651b2dd (diff) | |
Utility to compare two article files to see if they produce the same results
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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 + |