The sci-mathematics/cvc4-1.8.ebuild installs to ${D}/usr/lib and then moves everything to ${D}/usr/lib64. This should be reflected in the CMake files installed in ${D}/usr/lib64/cmake/CVC4/, in particular CVC4Targets-gentoo.cmake. Otherwise using CMake to "find_package(CVC4 REQUIRED)" (in a CMakeLists.txt) will fail with: -------------------------------- The imported target "CVC4::cvc4" references the file "/usr/lib/libcvc4.so.7" but this file does not exist. Possible reasons include: * The file was deleted, renamed, or moved to another location. * An install or uninstall procedure did not complete successfully. * The installation package was faulty and contained "/usr/lib64/cmake/CVC4/CVC4Targets.cmake" but not all the files it references. -------------------------------- I've attached an updated .ebuild fixing the issue.
Created attachment 746988 [details] Updated cvc4-1.8.ebuild patching CVC4Targets-gentoo.cmake via sed
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=03321382501b45387f99917ba5acf9aa627805bd commit 03321382501b45387f99917ba5acf9aa627805bd Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2022-02-08 20:10:53 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2022-02-08 20:10:53 +0000 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@gentoo.org> sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch | 9 +++++++++ 1 file changed, 9 insertions(+)
This fix requires a revbump as it affects the installed CMake config file.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2ee65e4c7a1eaa5fe9ca21f260be762a1e36d370 commit 2ee65e4c7a1eaa5fe9ca21f260be762a1e36d370 Author: Sam James <sam@gentoo.org> AuthorDate: 2022-02-09 01:37:43 +0000 Commit: Sam James <sam@gentoo.org> CommitDate: 2022-02-09 01:37:43 +0000 sci-mathematics/cvc4: revbump for CMake config file fix This file is installed and embeds the libdir path which will affect consumers trying to build against/detect cvc4. See: 03321382501b45387f99917ba5acf9aa627805bd Closes: https://bugs.gentoo.org/820515 Signed-off-by: Sam James <sam@gentoo.org> sci-mathematics/cvc4/{cvc4-1.8.ebuild => cvc4-1.8-r1.ebuild} | 0 1 file changed, 0 insertions(+), 0 deletions(-)
