diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2014-04-08 15:06:40 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2014-04-08 15:06:40 +1000 |
| commit | 03d38eb3190eb5e51fb18847fe0792013285bde5 (patch) | |
| tree | 1060d26d3042b5c0c5b1c027fac45fe87f3d685a /makefile | |
| parent | f2c4e4614613ede497f19ef79dc7dc157eaca834 (diff) | |
Reorganising source code
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 31 |
1 files changed, 21 insertions, 10 deletions
@@ -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 |