configure.ac: Change --enable-cgal-valgrind to --enable-valgrind

7 jobs for master in 387 minutes and 13 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Test
passed #4050
amd64
job_clang_amd64

06:24:26

failed #4055
amd64
job_clang_amd64_nosh

00:02:38

failed #4053
amd64
job_gcc_amd64

00:02:38

failed #4054
amd64
job_gcc_amd64_nosh

00:02:32

failed #4052
amd64
job_clang_amd64_nosh

06:16:46

failed #4049
amd64
job_gcc_amd64

07:17:00

failed #4051
amd64
job_gcc_amd64_nosh

06:36:44

 
Name Stage Failure
failed
job_clang_amd64_nosh Test
checking dynamic linker characteristics... (cached) GNU/Linux ld.so
checking how to hardcode library paths into programs... immediate
checking for pkg-config... /usr/bin/pkg-config
checking pkg-config is at least version 0.9.0... yes
checking whether ccache clang++ supports C++17 features by default... no
checking whether ccache clang++ supports C++17 features with -std=gnu++17... no
checking whether ccache clang++ supports C++17 features with -std=gnu++1z... no
configure: error: *** A compiler with support for C++17 language features is required.
ERROR: Job failed: exit status 1
failed
job_gcc_amd64_nosh Test
no
configure: error: No usable boost::python found
./configure: line 12: /usr/bin/sed: No such file or directory
./configure: line 38: /usr/bin/sort: No such file or directory
./configure: line 35: /usr/bin/sed: No such file or directory
./configure: line 53: /usr/bin/sort: No such file or directory
./configure: line 77: /usr/bin/cat: No such file or directory
./configure: line 40: /usr/bin/rm: No such file or directory
ERROR: Job failed: exit status 1
failed
job_gcc_amd64 Test
no
configure: error: No usable boost::python found
./configure: line 12: /usr/bin/sed: No such file or directory
./configure: line 38: /usr/bin/sort: No such file or directory
./configure: line 35: /usr/bin/sed: No such file or directory
./configure: line 53: /usr/bin/sort: No such file or directory
./configure: line 77: /usr/bin/cat: No such file or directory
./configure: line 40: /usr/bin/rm: No such file or directory
ERROR: Job failed: exit status 1