From 7be89889ddba808a22ee6b1853ee175e86885ec8 Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Wed, 6 Dec 2017 11:36:34 +0100
Subject: [PATCH] add a cmake script to initiate cache for gitlab-ci

---
 cmake_modules/gitlab-ci-initial-cache.cmake | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 cmake_modules/gitlab-ci-initial-cache.cmake

diff --git a/cmake_modules/gitlab-ci-initial-cache.cmake b/cmake_modules/gitlab-ci-initial-cache.cmake
new file mode 100644
index 000000000..deaba93a9
--- /dev/null
+++ b/cmake_modules/gitlab-ci-initial-cache.cmake
@@ -0,0 +1,6 @@
+set(CMAKE_INSTALL_PREFIX "$PWD/install" CACHE PATH "")
+
+set(CMAKE_VERBOSE_MAKEFILE "ON" CACHE BOOL "")
+
+option(MORSE_ENABLE_WARNING       "Enable warning messages" ON)
+option(MORSE_ENABLE_COVERAGE      "Enable flags for coverage test" ON)
-- 
GitLab