projects
/
model-checker.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
becb998b162e3429c9cdaf16591325292cae7f4f
[model-checker.git]
/
Makefile
1
BIN=libthreads
2
SOURCE=libthreads.c
3
HEADERS=libthreads.h
4
FLAGS=
5
6
all: ${BIN}
7
8
${BIN}: ${SOURCE} ${HEADERS}
9
gcc -o ${BIN} ${SOURCE} ${FLAGS}
10
11
clean:
12
rm -f ${BIN} *.o
13
14
tags::
15
ctags -R