HSFILES = ASTData.hs \
          ASTTrans.hs \
          AggregatorExtraction.hs \
          Analysis.hs \
          Convert0.hs \
          DependencySimple.hs \
          GenSMT.hs \
          IR.hs \
          IRtoPregel.hs \
          Inlining.hs \
          Main.hs \
          Normalization.hs \
          NtoIR.hs \
          Parser.hs \
          Spec.lhs \
          Spec0.hs \
          TypeChecker.hs \
          TypeInstantiation.hs \
          VCOutputNormalization.hs

all: fregel

fregel: Main
	cp Main fregel

Main: ${HSFILES}
	ghc --make Main

clean:
	rm -f *.o *.hi *~ *.dyn_hi *.dyn_o Main

Parser.hs: Parser.y
	happy $<

Lexer.hs: Lexer.x
	alex $<