GNUmakefile

AGDA_BIN    ?= agda
RTS_OPTIONS ?= +RTS -M8G -H3.5G -A128M -s -RTS
AGDA_EXEC   = $(AGDA_BIN) $(RTS_OPTIONS)

everything: Everything.agda
	$(AGDA_EXEC) -i. -isrc Everything.agda --profile=internal

.PHONY: listings
listings: Everything.agda
	$(AGDA_EXEC) -i. -isrc --html README.agda -v0

library: Library.agda
	$(AGDA_EXEC) -i. -isrc Library.agda --profile=internal

example1: ExamplesByMacro.agda
	$(AGDA_EXEC) -i. -isrc ExamplesByMacro.agda --profile=internal

example2: ExamplesByHand.agda
	$(AGDA_EXEC) -i. -isrc ExamplesByHand.agda --profile=internal

setup: Everything.agda

.PHONY: Everything.agda
Everything.agda:
# The command `cabal build` is needed by cabal-install 3.0.0.0 and the
# command `cabal install` is needed by cabal-install <= 2.4.*. I did
# not found any problem running both commands with different versions
# of cabal-install. See Issue #1001.
	cabal run GenerateEverything

example1-defs: ExamplesByMacro.agda
	rm -rf _build/*/agda/src/Examples/WithMacros
	$(AGDA_EXEC) -i. -isrc ExamplesByMacro.agda --profile=definitions

example2-defs: ExamplesByMacro.agda
	rm -rf _build/*/agda/src/Examples/WithoutMacros
	$(AGDA_EXEC) -i. -isrc ExamplesByHand.agda --profile=definitions

clean :
	find . -type f -name '*.agdai' -delete