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 $(PROGRAM): $(PROGRAM).c $(OBJS)
   8         $(CC) $(CFLAGS) -o $@ $<
   9
  10 %.o: %.c %.h
  11         $(CC) $(CFLAGS) -c -o $@ $<
  12
  13 clean:
  14         $(RM) -v $(PROGRAM) $(OBJS)