From e677492eb2b0fd941ead0056ace903b895b5f3e9 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sat, 25 Apr 2015 23:07:22 +0100
Subject: During install, install the klee intrinsic header file which is
 intended for public use.

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index c2420dba..cb8ad083 100644
--- a/Makefile
+++ b/Makefile
@@ -63,3 +63,8 @@ clean::
 	$(MAKE) -C test clean 
 	$(MAKE) -C unittests clean
 	rm -rf docs/doxygen test/lit.site.cfg
+
+# Install klee instrinsic header file
+install-local::
+	$(MKDIR) $(DESTDIR)$(PROJ_includedir)/klee
+	$(DataInstall) $(PROJ_SRC_ROOT)/include/klee/klee.h $(DESTDIR)$(PROJ_includedir)/klee/klee.h
-- 
cgit 1.4.1