TOP = ../..

include $(TOP)/mk/paths.mk
include $(TOP)/mk/config.mk

# Path to Agda
agda=$(AGDA_BIN) $(AGDA_TEST_FLAGS)

all: test-compiled-export # time-compilation 


time-compilation:
	@(time $(agda) --compile -i. -i../../std-lib -i../../std-lib/src --ghc-flag=-i../../std-lib/ffi \
			Main.agda +RTS -H1G -M1.5G && \
		  ./Main)

test-compiled-export:
	$(agda) --compile --no-main -i. -i.. --compile-dir=ExportTestMAlonzo ExportTestAgda.agda --ghc-flag=-i.. --ghc-flag=-i../../std-lib/ffi
	runghc -iExportTestMAlonzo -i../ -i../../std-lib/ffi ExportTest.hs | grep -q "It works!"
	rm -rf ExportTestMAlonzo