From 48897e2aa072fa75ae6046b848ae14c7b056c29a Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Sun, 15 Dec 2013 16:14:49 +0000 Subject: Do not install KLEE's internal libraries. --- lib/Core/Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/Core') diff --git a/lib/Core/Makefile b/lib/Core/Makefile index 4da3c7ea..f34f699d 100755 --- a/lib/Core/Makefile +++ b/lib/Core/Makefile @@ -12,5 +12,6 @@ LEVEL=../.. LIBRARYNAME=kleeCore DONT_BUILD_RELINKED=1 BUILD_ARCHIVE=1 +NO_INSTALL=1 include $(LEVEL)/Makefile.common -- cgit 1.4.1