3
include $(TOP)/mk/paths.mk
7
ac1 = AC.agda --ignore-interfaces
8
ac2 = Example.agda --ignore-interfaces
14
all : test1-$(SUFFIX) test2-$(SUFFIX) test3-$(SUFFIX)
16
$(LOG_DIR)/%-$(SUFFIX) :
17
$(agda) $($*) +RTS -s$@
18
@echo "──────────────────────────────────────────────────────────────────" >> $@