CFLAGS= -fmax-simplifier-iterations8 -fallow-overlapping-instances -fglasgow-exts

a.out: Parser.o lex.yy.o ccall.o Main.o Grammar.o Simplify.o
	ghc -o a.out Parser.o lex.yy.o ccall.o Simplify.o Grammar.o Main.o -static

lex.yy.o: lex.yy.c tokens.h
	gcc -c lex.yy.c

lex.yy.c: scanner.l
	lex scanner.l

clean: 
	rm -f a.out lex.yy.o ccall.o Parser.o Parser.info Parser.hs Grammar.o Simplify.o

ccall.o: ccall.c
	gcc -c ccall.c

Parser.hs: Parser.y Grammar.o
	happy.sh Parser.y --info

Parser.o: Parser.hs tokens.h
	ghc -c -cpp $(CFLAGS) Parser.hs

Grammar.o: Grammar.hs
	ghc -c $(CFLAGS) Grammar.hs

Simplify.o: Simplify.hs Grammar.o
	ghc -Wall -c $(CFLAGS) Simplify.hs

Main.o: Parser.o Main.hs Simplify.o Grammar.o
	ghc -c $(CFLAGS) Main.hs