idris-0.12.2: test/base001/Makefile

.PHONY:
all: exit1 sys.o

exit1:
	@gcc -Wall -o exit1 exit1.c

sys.o:
	@gcc -Wall -c sys.c

clean:
	-@rm exit1 sys.o