modelchecker/Makefile

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