Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 820515 - sci-mathematics/cvc4-1.8 cmake /usr/lib paths should be /usr/$(get_libdir)
Summary: sci-mathematics/cvc4-1.8 cmake /usr/lib paths should be /usr/$(get_libdir)
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal with 1 vote (vote)
Assignee: Tupone Alfredo
Depends on:
Reported: 2021-10-27 13:18 UTC by Franz Brauße
Modified: 2022-02-09 01:38 UTC (History)
2 users (show)

See Also:
Package list:
Runtime testing required: ---

Updated cvc4-1.8.ebuild patching CVC4Targets-gentoo.cmake via sed (cvc4-1.8.ebuild,1.39 KB, text/plain)
2021-10-27 13:19 UTC, Franz Brauße

Note You need to log in before you can comment on or make changes to this bug.
Description Franz Brauße 2021-10-27 13:18:49 UTC
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


  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


  but not all the files it references.

I've attached an updated .ebuild fixing the issue.
Comment 1 Franz Brauße 2021-10-27 13:19:14 UTC
Created attachment 746988 [details]
Updated cvc4-1.8.ebuild patching CVC4Targets-gentoo.cmake via sed
Comment 2 Larry the Git Cow gentoo-dev 2022-02-08 20:11:04 UTC
The bug has been closed via the following commit(s):

commit 03321382501b45387f99917ba5acf9aa627805bd
Author:     Alfredo Tupone <>
AuthorDate: 2022-02-08 20:10:53 +0000
Commit:     Alfredo Tupone <>
CommitDate: 2022-02-08 20:10:53 +0000

    sci-mathematics/cvc4: fix library path
    Package-Manager: Portage-3.0.30, Repoman-3.0.3
    Signed-off-by: Alfredo Tupone <>

 sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch | 9 +++++++++
 1 file changed, 9 insertions(+)
Comment 3 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2022-02-08 20:16:59 UTC
This fix requires a revbump as it affects the installed CMake config file.
Comment 4 Larry the Git Cow gentoo-dev 2022-02-09 01:38:19 UTC
The bug has been closed via the following commit(s):

commit 2ee65e4c7a1eaa5fe9ca21f260be762a1e36d370
Author:     Sam James <>
AuthorDate: 2022-02-09 01:37:43 +0000
Commit:     Sam James <>
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
    Signed-off-by: Sam James <>

 sci-mathematics/cvc4/{cvc4-1.8.ebuild => cvc4-1.8-r1.ebuild} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)