From c85d1c38e4ab3e8e28219b3adaab6859b7949a0a Mon Sep 17 00:00:00 2001
From: tdelarue <tony.delarue@inria.fr>
Date: Wed, 27 May 2020 15:45:26 +0200
Subject: [PATCH] Update CMakelist to correct installation of the spm module

---
 CMakeLists.txt | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 6120992f..1a0d7de7 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -264,9 +264,12 @@ install(TARGETS spm
 
 install(FILES
   include/spm.h
+  DESTINATION include )
+
+install(FILES
   include/spm/const.h
   include/spm/datatypes.h
-  DESTINATION include )
+  DESTINATION include/spm )
 
 # Install generated headers
 # ---------------------
-- 
GitLab