idris-1.3.0: test/base001/Makefile

.PHONY:
all: exit1 sys.o

exit1:
	@$(CC) -Wall -o exit1 exit1.c

sys.o:
	@$(CC) -Wall -c sys.c

clean:
	-@rm exit1 sys.o