repositories / mc1516pa.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
added skeleton
[mc1516pa.git] / modelchecker / Makefile
1 PROGRAM:=main
2 OBJS:=
3 CFLAGS:=-O3 -Wextra -Wall -Werror -fno-strict-aliasing -std=gnu11 \
4 -I./sylvan/src
5
6 all: $(PROGRAM)
7
8 clean:
9 $(RM) -v $(PROGRAM)
Unnamed repository; edit this file 'description' to name the repository.