diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-01-11 02:08:51 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-01-11 04:44:06 +0100 |
| commit | 7adf72129265d77da74162a048fb2f9ec9a4005a (patch) | |
| tree | d8c98ac66215bd8fd170864f7c2de89b819487a7 /sci-mathematics/picosat | |
| parent | dev-lang/nim: enable tests (diff) | |
| download | gentoo-7adf72129265d77da74162a048fb2f9ec9a4005a.tar.gz gentoo-7adf72129265d77da74162a048fb2f9ec9a4005a.tar.bz2 gentoo-7adf72129265d77da74162a048fb2f9ec9a4005a.zip | |
sci-mathematics/picosat: also install static libraries
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/picosat')
| -rw-r--r-- | sci-mathematics/picosat/picosat-965-r1.ebuild (renamed from sci-mathematics/picosat/picosat-965.ebuild) | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sci-mathematics/picosat/picosat-965.ebuild b/sci-mathematics/picosat/picosat-965-r1.ebuild index 9803703a619b..30e893f62288 100644 --- a/sci-mathematics/picosat/picosat-965.ebuild +++ b/sci-mathematics/picosat/picosat-965-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -31,6 +31,7 @@ src_install() { insinto /usr/share newins VERSION picosat.version + dolib.a libpicosat.a dolib.so libpicosat.so doheader picosat.h |