diff --git a/scripts/jenkins/gcc.groovy b/scripts/jenkins/gcc.groovy index 19e591e89e59827bf0fc4d3a531d662c8782ea12..788193ea703c13595ed5951b7f9654277a075f1c 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 =