diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2009-06-10 02:44:13 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2009-06-10 02:44:13 +0000 |
| commit | 8581353bdd7266a5b4e92bc8a9149447cdf42647 (patch) | |
| tree | f67c34cf0fd47bd8955ea94be69528f1266255c8 /lib/SMT/Makefile | |
| parent | 583383d103085e08c4e6414801e131976c266287 (diff) | |
| download | klee-8581353bdd7266a5b4e92bc8a9149447cdf42647.tar.gz | |
Changed expression nodes to be ExprHandle (instead of ExprHandle*), and
added a quick hack to change Bison unions to structs. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73154 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/SMT/Makefile')
| -rw-r--r-- | lib/SMT/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/SMT/Makefile b/lib/SMT/Makefile index 5ab2d16f..92ec8018 100644 --- a/lib/SMT/Makefile +++ b/lib/SMT/Makefile @@ -14,10 +14,14 @@ include $(LEVEL)/Makefile.common 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 + 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 |