diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-09-13 02:14:04 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-09-13 02:14:04 +1000 |
| commit | ea3f1f7736c57747e743a5106b917d2853c62f57 (patch) | |
| tree | f6aa645c04b3606694184fa9b949abd020550643 /makefile | |
| parent | ec95ea382132f0702e5046a721e4d8ea4cdc82e3 (diff) | |
Cleaner directory structure, addition of make clean, grouping of library modules into a single package
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 42 |
1 files changed, 34 insertions, 8 deletions
@@ -1,8 +1,34 @@ -all: - ghc --make ./SemanticMain.hs -o ./Semantic - ghc --make ./ProofGraphMain.hs -o ./ProofGraph - ghc --make ./WriteProofMain.hs -o ./WriteProof - ghc --make ./Delete.hs -o ./Delete - ghc --make ./Concat.hs -o ./Concat - ghc --make ./ListThm.hs -o ./ListThm - ghc --make ./Syntactic.hs -o ./Syntactic + +OUTPUTDIR = ./bin + + + +all: semantic syntactic proofgraph writeproof delete concat listthm + +clean: + find . -name '*.hi' -delete + find . -name '*.o' -delete + + +semantic: + ghc --make ./SemanticMain.hs -o ${OUTPUTDIR}/Semantic + +syntactic: + ghc --make ./Syntactic.hs -o ${OUTPUTDIR}/Syntactic + +proofgraph: + ghc --make ./ProofGraphMain.hs -o ${OUTPUTDIR}/ProofGraph + +writeproof: + ghc --make ./WriteProofMain.hs -o ${OUTPUTDIR}/WriteProof + +delete: + ghc --make ./Delete.hs -o ${OUTPUTDIR}/Delete + +concat: + ghc --make ./Concat.hs -o ${OUTPUTDIR}/Concat + +listthm: + ghc --make ./ListThm.hs -o ${OUTPUTDIR}/ListThm + + |