From 8d421de6a82c6de0a1027be40305372de909708f Mon Sep 17 00:00:00 2001
From: Hongxu <hongxuchen1989@gmail.com>
Date: Thu, 25 Oct 2018 16:20:03 +0800
Subject: [PATCH] install headers

With this commit, headers will be installed inside $PREFIX/svf/ directory
---
 .gitignore     | 5 ++---
 CMakeLists.txt | 7 +++++++
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index 2965d1b03..ef3f4adcb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,11 +1,10 @@
-Release/
-Debug/
+Release*/
+Debug*/
 build/
 build*
 html/
 Release+Asserts/
 Debug+Asserts/
-Release/
 autoconf/
 tests/result/
 doxygen/
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 3bee18acf..6c7324756 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -38,3 +38,10 @@ include_directories(${CMAKE_CURRENT_SOURCE_DIR}/include
 add_subdirectory(lib)
 add_subdirectory(tools)
 
+INSTALL(
+    DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/include/ ${CMAKE_CURRENT_BINARY_DIR}/include/
+    COMPONENT devel
+    DESTINATION include/svf
+    FILES_MATCHING
+    PATTERN "**/*.h"
+    )