CGAL/IO/io.h:378:34: error: ‘CGAL_assertion’ was not declared in this scope

[Nico Schlömer]

When compiling mshr, I'm getting

/«PKGBUILDDIR»/3rdparty/CGAL-4.8/include/CGAL/IO/io.h: In function ‘void CGAL::internal::eat_white_space(std::istream&)’:
/«PKGBUILDDIR»/3rdparty/CGAL-4.8/include/CGAL/IO/io.h:378:34: error: ‘CGAL_assertion’ was not declared in this scope
         CGAL_assertion(!is.fail());
                                  ^

for CGAL; see here for a full build log. Obviously this isn't mshr's fault. Nevertheless, has anyone experienced this before?

[Nico Schlömer]

I can reproduce this bug locally, too.

[Benjamin Dam Kehlet]

Pushed to master. Thanks for the fix! (I still don't understand why this dioesn't show up when I build mshr, though...)