diff --git a/Jenkinsfile b/Jenkinsfile index 8e9a9ebe6dc26455f65084fab780e46a87d3536e..da7d0aa74e3ee5700738701c5e5daf61f8d38202 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -111,7 +111,9 @@ pipeline { '-DOGS_CPU_ARCHITECTURE=generic ' + '-DOGS_BUILD_UTILS=ON ' + '-DOGS_CONAN_BUILD=outdated ' + - '-DOGS_USE_CVODE=ON ' + '-DOGS_USE_CVODE=ON ' + + '-DOGS_USE_MFRONT=ON ' + + '-DOGS_USE_PYTHON=ON ' } build { target="package"