CFLAGS_SCL = -mlibscl -O3

ForAllGCC: ForAll.c
	gcc $(CFLAGS_SCL) -o $@ ForAll.c

