Makefile - ~helmut/bidiragda.git - Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)

summary refs log tree commit diff

path: root/Makefile

blob: 5dfe96012547ac940104daf04040db1ecc8d16eb (plain)

AGDA ?= agda
AGDALIB ?= /usr/share/agda-stdlib

all:Everything.agdai
clean:
	rm -f *.agdai
Everything.agdai:$(wildcard *.agda)
	$(AGDA) -i. -i$(AGDALIB) Everything.agda