| #===-- tools/klee-replay/Makefile --------------------------*- Makefile -*--===# | |
| # | |
| # The KLEE Symbolic Virtual Machine | |
| # | |
| # This file is distributed under the University of Illinois Open Source | |
| # License. See LICENSE.TXT for details. | |
| # | |
| #===------------------------------------------------------------------------===# | |
| LEVEL=../.. | |
| TOOLNAME = klee-replay | |
| USEDLIBS = kleeBasic.a | |
| LINK_COMPONENTS = | |
| NO_PEDANTIC=1 | |
| include $(LEVEL)/Makefile.common | |
| LIBS += -lutil |