fix(tetgen): use debian mirrors as download link.

The official URL we used before randomly fails. See fw4spl-org/fw4spl#8.
fbridault · Mar 21, 2017 · ce19671 · ce19671
1 parent 1c04deb
commit ce19671
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tetgen/CMakeLists.txt b/tetgen/CMakeLists.txt
@@ -7,7 +7,7 @@ include(ExternalProject)
 set(TETGEN_CMAKE_ARGS ${COMMON_CMAKE_ARGS})
 set(TETGEN_PATCH_DIR ${CMAKE_CURRENT_SOURCE_DIR}/patch)
 
-set(CACHED_URL http://www.tetgen.org/1.5/src/tetgen1.5.0.tar.gz)
+set(CACHED_URL http://http.debian.net/debian/pool/main/t/tetgen/tetgen_1.5.0.orig.tar.gz)
 
 set(TETGEN_PATCH_CMD ${PATCH_EXECUTABLE} -p1 -i ${TETGEN_PATCH_DIR}/CMakeLists.txt.diff -d <SOURCE_DIR>)