[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/files/

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/files/

[Alfredo Tupone]

commit:     91f593d0b2dceda3acb4035fe50172cccc6f290e
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Jul 18 10:27:55 2019 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Jul 18 10:27:55 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=91f593d0

sci-mathematics/cvc4: Fix sandbox issue

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

 sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch b/sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch
index 849b4a8a429..55331f6c39b 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})")

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/files/

[Alfredo Tupone]

commit:     03321382501b45387f99917ba5acf9aa627805bd
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Feb  8 20:10:53 2022 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Feb  8 20:10:53 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=03321382

sci-mathematics/cvc4: fix library path

Closes: https://bugs.gentoo.org/820515
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch b/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch
index 372bea03fb72..64cf5bd771b2 100644
--- a/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch
+++ b/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch
@@ -1,5 +1,14 @@
 --- a/CMakeLists.txt	2019-07-09 14:47:12.552425226 +0200
 +++ b/CMakeLists.txt	2019-07-09 14:50:02.595001358 +0200
+@@ -83,7 +83,7 @@
+ #-----------------------------------------------------------------------------#
+ 
+ set(INCLUDE_INSTALL_DIR include)
+-set(LIBRARY_INSTALL_DIR lib)
++set(LIBRARY_INSTALL_DIR ${CMAKE_INSTALL_LIBDIR})
+ set(RUNTIME_INSTALL_DIR bin)
+ 
+ #-----------------------------------------------------------------------------#
 @@ -143,7 +143,7 @@
  
  # Note: Module CodeCoverage requires the name of the debug build to conform