From 03d38eb3190eb5e51fb18847fe0792013285bde5 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Tue, 8 Apr 2014 15:06:40 +1000 Subject: Reorganising source code --- makefile | 31 +++++++++++++++++++++---------- 1 file changed, 21 insertions(+), 10 deletions(-) (limited to 'makefile') diff --git a/makefile b/makefile index d4f971b..836c7b7 100644 --- a/makefile +++ b/makefile @@ -1,5 +1,6 @@ OUTPUTDIR = bin +SOURCEDIR = src @@ -11,32 +12,42 @@ clean: semantic: - ghc --make ./SemanticMain.hs -o ${OUTPUTDIR}/Semantic + cd ${SOURCEDIR}; \ + ghc --make SemanticMain.hs -o ../${OUTPUTDIR}/Semantic syntactic: - ghc --make ./Syntactic.hs -o ${OUTPUTDIR}/Syntactic + cd ${SOURCEDIR}; \ + ghc --make Syntactic.hs -o ../${OUTPUTDIR}/Syntactic proofgraph: - ghc --make ./ProofGraphMain.hs -o ${OUTPUTDIR}/ProofGraph + cd ${SOURCEDIR}; \ + ghc --make ProofGraphMain.hs -o ../${OUTPUTDIR}/ProofGraph writeproof: - ghc --make ./WriteProofMain.hs -o ${OUTPUTDIR}/WriteProof + cd ${SOURCEDIR}; \ + ghc --make WriteProofMain.hs -o ../${OUTPUTDIR}/WriteProof delete: - ghc --make ./Delete.hs -o ${OUTPUTDIR}/Delete + cd ${SOURCEDIR}; \ + ghc --make Delete.hs -o ../${OUTPUTDIR}/Delete concat: - ghc --make ./Concat.hs -o ${OUTPUTDIR}/Concat + cd ${SOURCEDIR}; \ + ghc --make Concat.hs -o ../${OUTPUTDIR}/Concat listthm: - ghc --make ./ListThm.hs -o ${OUTPUTDIR}/ListThm + cd ${SOURCEDIR}; \ + ghc --make ListThm.hs -o ../${OUTPUTDIR}/ListThm meaningsubst: - ghc --make ./MeaningSubst.hs -o ${OUTPUTDIR}/MeaningSubst + cd ${SOURCEDIR}; \ + ghc --make MeaningSubst.hs -o ../${OUTPUTDIR}/MeaningSubst unittest: - ghc --make ./Test.hs -o ${OUTPUTDIR}/UnitTest + cd ${SOURCEDIR}; \ + ghc --make Test.hs -o ../${OUTPUTDIR}/UnitTest compare: - ghc --make ./Compare.hs -o ${OUTPUTDIR}/Compare + cd ${SOURCEDIR}; \ + ghc --make Compare.hs -o ../${OUTPUTDIR}/Compare -- cgit