Makefile

.PHONY: all clean settings_typecheck

PROGNAME=futswirl
LYS_MAKEFILE=lib/github.com/diku-dk/lys/common.mk
BASE_LOCAL_DEPS=settings.fut settings_typecheck lib

all:
	$(MAKE) $(BASE_LOCAL_DEPS)
	PROGNAME=$(PROGNAME) $(MAKE) --file=$(LYS_MAKEFILE)

run:
	$(MAKE) $(BASE_LOCAL_DEPS)
	PROGNAME=$(PROGNAME) $(MAKE) --file=$(LYS_MAKEFILE) run

clean:
	$(MAKE) $(BASE_LOCAL_DEPS)
	PROGNAME=$(PROGNAME) $(MAKE) --file=$(LYS_MAKEFILE) clean

lib: futhark.pkg
	futhark pkg sync

settings.fut: settings_template.fut
	cp settings_template.fut settings.fut

settings_typecheck:
	@futhark dev settings.fut > /dev/null || echo "NOTE: futswirl has been updated; please edit settings.fut according to the compiler output, or replace it with the contents of settings_template.fut."