.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