From 857831d18708ada4590c511494d3ae5f94cf6a6a Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Sun, 15 Dec 2013 17:04:09 +0000 Subject: Do not install KLEE's header files. They are not for public consumption. The header files are normally installed by the install-local target in the top-level makefile. See Makefile.rules ( "Install support for the project's include files" ) --- Makefile | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Makefile b/Makefile index 1612efc1..2e02e578 100644 --- a/Makefile +++ b/Makefile @@ -14,6 +14,12 @@ LEVEL = . include $(LEVEL)/Makefile.config +# The header files are normally installed +# by the install-local target in the top-level +# makefile. This disables installing anything +# in the top-level makefile. +NO_INSTALL=1 + DIRS = lib tools runtime EXTRA_DIST = include -- cgit 1.4.1