diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index 3fd6f5be..64b50042 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -16,6 +16,11 @@ LEVEL=.. # List all of the subdirectories that we will compile. # PARALLEL_DIRS=klee kleaver ktest-tool gen-random-bout klee-stats -# FIXME: Move qplayer functionality into kleaver + +include $(LEVEL)/Makefile.config + +ifeq ($(ENABLE_POSIX_RUNTIME),1) +PARALLEL_DIRS += klee-replay +endif include $(LEVEL)/Makefile.common |