Fix compilation with CGAL 4.13

This fixes issue #509
6 jobs for master in 309 minutes and 37 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Test
failed #3745
amd64
job_clang_amd64

02:40:10

failed #3749
amd64
job_clang_amd64_nosh

02:40:08

failed #3747
amd64
job_clang_py2_amd64

00:03:06

failed #3744
amd64
job_gcc_amd64

05:09:13

failed #3748
amd64
job_gcc_amd64_nosh

05:09:00

failed #3746
amd64
job_gcc_py2_amd64

05:09:36

 
Name Stage Failure
failed
job_gcc_py2_amd64 Test
    from graph_tool.correlations import *
File "/var/lib/gitlab-runner/builds/c098b1de/2/count0/graph-tool/install/site-packages/graph_tool/correlations/__init__.py", line 45, in <module>
dl_import("from . import libgraph_tool_correlations")
File "/var/lib/gitlab-runner/builds/c098b1de/2/count0/graph-tool/install/site-packages/graph_tool/dl_import.py", line 61, in dl_import
exec(import_expr, local_dict, global_dict)
File "<string>", line 1, in <module>
ImportError: libboost_iostreams.so.1.67.0: cannot open shared object file: No such file or directory

ERROR: Job failed: exit status 1
failed
job_gcc_amd64 Test
    from graph_tool.correlations import *
File "/var/lib/gitlab-runner/builds/c098b1de/0/count0/graph-tool/install/site-packages/graph_tool/correlations/__init__.py", line 45, in <module>
dl_import("from . import libgraph_tool_correlations")
File "/var/lib/gitlab-runner/builds/c098b1de/0/count0/graph-tool/install/site-packages/graph_tool/dl_import.py", line 61, in dl_import
exec(import_expr, local_dict, global_dict)
File "<string>", line 1, in <module>
ImportError: libboost_iostreams.so.1.67.0: cannot open shared object file: No such file or directory

ERROR: Job failed: exit status 1
failed
job_gcc_amd64_nosh Test
    from graph_tool.correlations import *
File "/var/lib/gitlab-runner/builds/c098b1de/4/count0/graph-tool/install/site-packages/graph_tool/correlations/__init__.py", line 45, in <module>
dl_import("from . import libgraph_tool_correlations")
File "/var/lib/gitlab-runner/builds/c098b1de/4/count0/graph-tool/install/site-packages/graph_tool/dl_import.py", line 61, in dl_import
exec(import_expr, local_dict, global_dict)
File "<string>", line 1, in <module>
ImportError: libboost_iostreams.so.1.67.0: cannot open shared object file: No such file or directory

ERROR: Job failed: exit status 1
failed
job_clang_amd64 Test
$ export PYTHONPATH=$PWD/install/site-packages
$ cd doc; python3 /usr/bin/sphinx-build -b doctest . build *.rst
Running Sphinx v1.8.0
Unable to init server: Could not connect: Connection refused
Unable to init server: Could not connect: Connection refused

Extension error:
Could not import extension mathjax (exception: cannot import name 'ExtensionError' from 'sphinx.application' (/usr/lib/python3.7/site-packages/sphinx/application.py))
ERROR: Job failed: exit status 1
failed
job_clang_amd64_nosh Test
$ export PYTHONPATH=$PWD/install/site-packages
$ cd doc; python3 /usr/bin/sphinx-build -b doctest . build *.rst
Running Sphinx v1.8.0
Unable to init server: Could not connect: Connection refused
Unable to init server: Could not connect: Connection refused

Extension error:
Could not import extension mathjax (exception: cannot import name 'ExtensionError' from 'sphinx.application' (/usr/lib/python3.7/site-packages/sphinx/application.py))
ERROR: Job failed: exit status 1
failed
job_clang_py2_amd64 Test
checking for exit in -lboost_thread... yes
checking for __gmpz_init in -lgmp... yes
checking for __gmpz_init in -lgmp... (cached) yes
checking whether CGAL is available in /usr... yes
checking whether to enable cgal debbuging with valgrind... no
checking python2.7 module: numpy... yes
checking for numpy/arrayobject.h... no
configure: error: Numpy extension header not found
ERROR: Job failed: exit status 1