summaryrefslogtreecommitdiff
path: root/makefile
blob: 524e0dafb6a1b52078a536179af25432bf758aec (plain)
1
2
3
4
5
6
7
8
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