diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-09-14 07:41:49 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-09-14 07:41:49 +1000 |
| commit | 84f2ee4a7653b47c4ddefd87c4482729d0272e6b (patch) | |
| tree | af79aa943349b5ad64f01c7294eff1f1d70cf1f6 /makefile | |
| parent | ea3f1f7736c57747e743a5106b917d2853c62f57 (diff) | |
Testing package
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 +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 |