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