From c609396ac0e7fa2c4dd0849fecb0b2282371482d Mon Sep 17 00:00:00 2001
From: Miguel Raggi <mraggi@gmail.com>
Date: Tue, 6 Nov 2018 21:07:55 -0600
Subject: [PATCH] Added install target for make

---
 CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index a0885ad..8e791de 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -162,3 +162,5 @@ endif()
 include(CodeCoverage)
 
 set( CMAKE_EXPORT_COMPILE_COMMANDS 1 )
+
+install(DIRECTORY include/ DESTINATION ${CMAKE_INSTALL_PREFIX}/include/)