include config.mk

CFLAGS += -Wno-unused-variable -Wno-unused-label

.PHONY: idris2 clean

all: idris2

idris2: idris2.c
	$(MAKE) -C rts
	$(CC) $(CFLAGS) idris2.c -o idris2 -I rts -L rts -lidris_rts $(GMP_LIB_DIR) -lgmp -lm

clean:
	$(MAKE) -C rts clean
	rm -f idris2