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