repositories
/
mc1516pa.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
4f09f85e4dfc264350452a506c79b5fe0258e93d
[mc1516pa.git]
/
modelchecker
/
Makefile
1
PROGRAM
:=
main
2
OBJS
:=
sokoban.o
3
4
CFLAGS
=-
O3
-
Wextra
-
Wall
-
Werror
-
fno-strict-aliasing
-
std
=
gnu11
5
CFLAGS
+=-
I.
/
sylvan
/
src
6
7
all
: $(
OBJS
) $(
PROGRAM
)
8
9
clean
:
10
$(
RM
) -
v
$(
PROGRAM
) $(
OBJS
)