.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