diff options
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 + + |