#===-- lib/SMT/Makefile ------------------------------------*- Makefile -*--===#

LEVEL=../..

LIBRARYNAME=kleaverSMT
DONT_BUILD_RELINKED=1
BUILD_ARCHIVE=1

include $(LEVEL)/Makefile.common

# Gross, but I don't want to build proper rules for this, and I don't want users
# to have to have bison/flex, so for now require developers to make these
# manually (at least initially).

smtlib_parser.cpp smtlib_parser.h: smtlib.y
	bison -d -o smtlib_parser.cpp -p smtlib smtlib.y
	mv smtlib_parser.hpp smtlib_parser.h	
	perl -pi -e 's/union/struct/g' smtlib_parser.cpp
	perl -pi -e 's/union/struct/g' smtlib_parser.h


smtlib_lexer.cpp: smtlib.lex smtlib_parser.h
	flex -I -Psmtlib -osmtlib_lexer.cpp smtlib.lex
	perl -pi -e 's/union/struct/g' smtlib_lexer.cpp

.PHONY: regen
regen: smtlib_lexer.cpp smtlib_parser.cpp smtlib_parser.h