diff options
| -rw-r--r-- | sci-mathematics/cadical/cadical-2.0.0.ebuild | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sci-mathematics/cadical/cadical-2.0.0.ebuild b/sci-mathematics/cadical/cadical-2.0.0.ebuild index 3b7621fcdf1e..0d8709f206a4 100644 --- a/sci-mathematics/cadical/cadical-2.0.0.ebuild +++ b/sci-mathematics/cadical/cadical-2.0.0.ebuild @@ -3,7 +3,7 @@ EAPI=8 -inherit toolchain-funcs +inherit dot-a toolchain-funcs DESCRIPTION="Simplified Satisfiability Solver" HOMEPAGE="http://fmv.jku.at/cadical/ @@ -34,6 +34,7 @@ DOCS=( CONTRIBUTING.md NEWS.md README.md ) src_configure() { tc-export AR + lto-guarantee-fat CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS} ${LDFLAGS}" ./configure || die } @@ -44,6 +45,7 @@ src_install() { dolib.a build/libcadical.a doheader src/cadical.hpp doheader src/ccadical.h + strip-lto-bytecode einstalldocs } |