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