tools/gen-random-bout/Makefile


1
2
3
4
5
6
7
8

##===- tools/klee/Makefile ---------------*- Makefile -*-===##

LEVEL=../..
TOOLNAME = gen-random-bout
USEDLIBS = kleeBasic.a
NO_INSTALL=1

include $(LEVEL)/Makefile.common