You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
11 lines
146 B
11 lines
146 B
3 years ago
|
.POSIX:
|
||
|
|
|
||
|
|
CC = gcc
|
||
|
|
CFLAGS = -Wall -Werror -Wextra -pedantic -std=c11
|
||
|
|
|
||
|
|
btor: btor.c
|
||
|
|
${CC} ${LDFLAGS} ${CFLAGS} btor.c -o btor
|
||
|
|
|
||
|
|
clean:
|
||
|
|
rm -f btor
|