.PHONY: idris2 clean

all: idris2

idris2: idris2.c
	make -C rts
	$(CC) $(OPT) idris2.c -o idris2 -I rts -L rts -lidris_rts -lgmp -lm

clean:
	make -C rts clean
	rm -f idris2