diff options
Diffstat (limited to 'extern/carve/patches/random.patch')
-rw-r--r-- | extern/carve/patches/random.patch | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/extern/carve/patches/random.patch b/extern/carve/patches/random.patch deleted file mode 100644 index 36cc8d10430..00000000000 --- a/extern/carve/patches/random.patch +++ /dev/null @@ -1,16 +0,0 @@ -diff -r 9a85d733a43d lib/polyhedron.cpp ---- a/lib/polyhedron.cpp Tue Jun 24 11:15:23 2014 +1000 -+++ b/lib/polyhedron.cpp Thu Nov 13 17:36:06 2014 +0500 -@@ -36,7 +36,11 @@ - - #include <carve/mesh.hpp> - --#include BOOST_INCLUDE(random.hpp) -+#ifdef HAVE_BOOST_LIBRARY -+# include BOOST_INCLUDE(random.hpp) -+#else -+# include <carve/random/random.h> -+#endif - - namespace { - bool emb_test(carve::poly::Polyhedron *poly, |