btor/Makefile

.POSIX:

CC = gcc 
CFLAGS = -Wall -Werror -Wextra -pedantic -std=c11 -O2

btor: btor.c
	${CC} ${LDFLAGS} ${CFLAGS} btor.c -o btor

clean:
	rm -f btor
initial commit 2022-02-16 17:01:51 +01:00			`.POSIX:`

			`CC = gcc`
works kinda 2022-02-16 17:58:17 +01:00			`CFLAGS = -Wall -Werror -Wextra -pedantic -std=c11 -O2`
initial commit 2022-02-16 17:01:51 +01:00
			`btor: btor.c`
			`${CC} ${LDFLAGS} ${CFLAGS} btor.c -o btor`

			`clean:`
			`rm -f btor`