diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-02-13 23:13:00 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-02-13 23:13:00 +0000 |
| commit | ffd0b9133ac4fa0b3939616767854e8ffc54feab (patch) | |
| tree | ccc98d862633c997f6d7e69f3bcb55d394540181 /lib/SMT/Makefile | |
| parent | 13d8b4cb78c81bff97501cbe586f0fd8f1adc4d2 (diff) | |
| download | klee-ffd0b9133ac4fa0b3939616767854e8ffc54feab.tar.gz | |
Removing unused lib/SMT directory
Diffstat (limited to 'lib/SMT/Makefile')
| -rw-r--r-- | lib/SMT/Makefile | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/lib/SMT/Makefile b/lib/SMT/Makefile deleted file mode 100644 index 92ec8018..00000000 --- a/lib/SMT/Makefile +++ /dev/null @@ -1,27 +0,0 @@ -#===-- 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 |