From: Tupone Alfredo <tupone@gentoo.org>
Date: Thu, 18 Jul 2019 10:27:55 +0000 (+0200)
Subject: sci-mathematics/cvc4: Fix sandbox issue
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=91f593d0b2dceda3acb4035fe50172cccc6f290e;p=gentoo.git

sci-mathematics/cvc4: Fix sandbox issue

Closes: https://bugs.gentoo.org/689918
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.66, Repoman-2.3.11
---

diff --git a/sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch b/sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch
index 849b4a8a4292..55331f6c39b8 100644
--- a/sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch
+++ b/sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch
@@ -33,3 +33,11 @@
    regress4/hole10.cvc
    regress4/instance_1151.smt
  )
+--- a/src/CMakeLists.txt	2019-07-18 08:56:47.923025745 +0200
++++ b/src/CMakeLists.txt	2019-07-18 08:58:10.584750385 +0200
+@@ -915,4 +915,4 @@
+ # Note: This is a temporary fix until the new C++ API is in place.
+ install(CODE "execute_process(COMMAND
+                 ${CMAKE_CURRENT_LIST_DIR}/fix-install-headers.sh
+-                ${CMAKE_INSTALL_PREFIX})")
++                \$ENV{DESTDIR}${CMAKE_INSTALL_PREFIX})")