modelchecker/Makefile

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