LIBS = -i . -i lib -i gratr2-agda

my-fore-main:	fore-main.agda my-fore-main.agda term-to-string.agda untyped-lam.agda tpctxt.agda to-haskell.agda
	agda -v 0 $(LIBS) -c $* --ghc-flag=-rtsopts my-fore-main.agda

my-fore-main-prof:	fore-main.agda my-fore-main.agda term-to-string.agda untyped-lam.agda tpctxt.agda to-haskell.agda
	agda -v 0 $(LIBS) -c $* --ghc-flag=-prof --ghc-flag=-fprof-auto --ghc-flag=-rtsopts my-fore-main.agda

fore-main:	fore-main.agda
	agda -v 0 $(LIBS) --ghc-flag=-rtsopts -c fore-main.agda

fore-main.agda:	fore.gr
	gratr --use-string-encoding fore.gr

