modelchecker/Makefile

   1 PROGRAM:=main
   2 OBJS:=sokoban.o mc.o
   3
   4 CFLAGS=-O3 -Wextra -Wall -Werror -fno-strict-aliasing -std=gnu11 \
   5         -I./sylvan/src
   6
   7 # We combine all the object files into one executable
   8 $(PROGRAM): $(PROGRAM).o $(OBJS)
   9         $(CC) $< $(OBJS) -o $@
  10
  11 clean:
  12         $(RM) -v $(PROGRAM).o $(PROGRAM) $(OBJS)