diff --git a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
index e74e6dee4e068..1c55641ca322d 100644
--- a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
@@ -68,7 +68,7 @@ src_configure() {
 		-e "s|lo = NULL|lo = 0|g" \
 		-e "s|hi = NULL|hi = 0|g" \
 		"${BUILD_DIR}"/src/parser/cvc/CvcParser.c \
-		die
+		|| die
 }
 
 src_test() {
diff --git a/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch b/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch
index 64cf5bd771b20..d801854577445 100644
--- a/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch
+++ b/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch
@@ -1,5 +1,11 @@
 --- a/CMakeLists.txt	2019-07-09 14:47:12.552425226 +0200
 +++ b/CMakeLists.txt	2019-07-09 14:50:02.595001358 +0200
+@@ -1,4 +1,4 @@
+-cmake_minimum_required(VERSION 3.2)
++cmake_minimum_required(VERSION 3.5)
+ 
+ #-----------------------------------------------------------------------------#
+ # Project configuration
 @@ -83,7 +83,7 @@
  #-----------------------------------------------------------------------------#