modelchecker/Makefile

   1 PROGRAM:=main
   2 OBJS:=
   3 CFLAGS:=-O3 -Wextra -Wall -Werror -fno-strict-aliasing -std=gnu11 \
   4         -I./sylvan/src
   5
   6 all: $(PROGRAM)
   7
   8 clean:
   9         $(RM) -v $(PROGRAM)