modelchecker/Makefile

   1 PROGRAM:=main
   2 OBJS:=sokoban.o coord.o object.o
   3
   4 CFLAGS:=-O3 -Wextra -Wall -Werror -fno-strict-aliasing -std=gnu11\
   5         -I./sylvan/src
   6 LDLIBS:=-lm -lpthread -lrt
   7 LDFLAGS:=./sylvan/src/libsylvan.a
   8
   9 $(PROGRAM): $(PROGRAM).o $(OBJS)
  10         $(CC) $(CFLAGS) $< $(OBJS) $(LDFLAGS) $(LDLIBS) -o $@
  11
  12 %.o: %.c %.h
  13         $(CC) $(CFLAGS) -c -o $@ $<
  14
  15 clean:
  16         $(RM) -v $(PROGRAM).o $(PROGRAM) $(OBJS)