diff --git a/Jenkinsfile b/Jenkinsfile index dcbbc0b0be74e0743adde3f0cf9f9f68604ec01d..cb9fe4e1f1a7126602833f8752319cedc02c31c1 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -85,7 +85,8 @@ pipeline { cmakeOptions = '-DOGS_USE_CONAN=ON ' + '-DOGS_CPU_ARCHITECTURE=generic ' + - '-DDOCS_GENERATE_LOGFILE=ON ' // redirects to build/DoxygenWarnings.log + '-DDOCS_GENERATE_LOGFILE=ON ' + // redirects to build/DoxygenWarnings.log + '-DOGS_USE_PYTHON=ON ' } build { } build { target="tests" } @@ -240,7 +241,8 @@ pipeline { configure { cmakeOptions = '-DOGS_USE_CONAN=ON ' + - '-DOGS_DOWNLOAD_ADDITIONAL_CONTENT=ON ' + '-DOGS_DOWNLOAD_ADDITIONAL_CONTENT=ON ' + + '-DOGS_USE_PYTHON=ON ' } build { } build { target="tests" }