diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2019-07-18 12:27:55 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2019-07-18 12:27:55 +0200 |
| commit | 91f593d0b2dceda3acb4035fe50172cccc6f290e (patch) | |
| tree | bc3133f6aad84b57ca8ab365c22ebf284d6d7520 /sci-mathematics/cvc4 | |
| parent | dev-python/argcomplete: Bump to 1.10.0, py3.7, EAPI 7 (diff) | |
| download | gentoo-91f593d0b2dceda3acb4035fe50172cccc6f290e.tar.gz gentoo-91f593d0b2dceda3acb4035fe50172cccc6f290e.tar.bz2 gentoo-91f593d0b2dceda3acb4035fe50172cccc6f290e.zip | |
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
Diffstat (limited to 'sci-mathematics/cvc4')
| -rw-r--r-- | sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch | 8 |
1 files changed, 8 insertions, 0 deletions
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})") |