From ea3f1f7736c57747e743a5106b917d2853c62f57 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 13 Sep 2012 02:14:04 +1000 Subject: Cleaner directory structure, addition of make clean, grouping of library modules into a single package --- makefile | 42 ++++++++++++++++++++++++++++++++++-------- 1 file changed, 34 insertions(+), 8 deletions(-) (limited to 'makefile') diff --git a/makefile b/makefile index 524e0da..07ca71a 100644 --- a/makefile +++ b/makefile @@ -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 + + -- cgit