From 7c3ffcb3d0d088d2eed62d8e33c9da4ff6c5b8b0 Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Thu, 26 Jan 2017 22:13:53 +0100
Subject: [PATCH] [Jenkins] Use locally downloaded Eigen (3.2.8) on gcc build.
---
scripts/jenkins/gcc.groovy | 1 +
1 file changed, 1 insertion(+)
diff --git a/scripts/jenkins/gcc.groovy b/scripts/jenkins/gcc.groovy
index 19e591e89e5..788193ea703 100644
--- a/scripts/jenkins/gcc.groovy
+++ b/scripts/jenkins/gcc.groovy
@@ -2,6 +2,7 @@ def defaultDockerArgs = '-v /home/jenkins/.ccache:/usr/src/.ccache'
def defaultCMakeOptions =
'-DCMAKE_BUILD_TYPE=Release ' +
'-DOGS_LIB_BOOST=System ' +
+ '-DOGS_LIB_EIGEN=Local ' +
'-DOGS_LIB_VTK=System '
def guiCMakeOptions =
--
GitLab