diff options
| author | root <root@alpha.trunkmasters.com> | 2026-06-04 16:24:49 -0500 |
|---|---|---|
| committer | root <root@alpha.trunkmasters.com> | 2026-06-04 16:24:49 -0500 |
| commit | a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7 (patch) | |
| tree | 0c52bbae1c242fbc296bd650fcd1167685f81492 /sci-mathematics/picosat | |
| parent | bfd9c39e4712ebdb442d4ca0673061faed1e70e1 (diff) | |
| download | baldeagleos-repo-a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7.tar.gz baldeagleos-repo-a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7.tar.xz baldeagleos-repo-a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7.zip | |
Adding metadata
Diffstat (limited to 'sci-mathematics/picosat')
| -rw-r--r-- | sci-mathematics/picosat/Manifest | 1 | ||||
| -rw-r--r-- | sci-mathematics/picosat/files/picosat-965-makefile.in.patch | 13 | ||||
| -rw-r--r-- | sci-mathematics/picosat/metadata.xml | 9 | ||||
| -rw-r--r-- | sci-mathematics/picosat/picosat-965.ebuild | 38 |
4 files changed, 0 insertions, 61 deletions
diff --git a/sci-mathematics/picosat/Manifest b/sci-mathematics/picosat/Manifest deleted file mode 100644 index d49711956ac4..000000000000 --- a/sci-mathematics/picosat/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST picosat-965.tar.gz 64386 BLAKE2B 913b08a72c0b15065353c2ee1ff8fe5a9c0f7a2a8653d80f4cdcee8fdcf69eed7621e28f4259a9d0fb506fefb8eccfd293f06aa7c1b3ea3f6cc31eb319a30532 SHA512 b5372962a0079d70641fd76c431b4ab5042c2f3015179762e447634f220cf0744eea786ee40b00035a342f3ead482061ebe1a9e3726bd06e7adf8e0ac0c5eabf diff --git a/sci-mathematics/picosat/files/picosat-965-makefile.in.patch b/sci-mathematics/picosat/files/picosat-965-makefile.in.patch deleted file mode 100644 index bc0c501c9223..000000000000 --- a/sci-mathematics/picosat/files/picosat-965-makefile.in.patch +++ /dev/null @@ -1,13 +0,0 @@ ---- a/makefile.in -+++ b/makefile.in -@@ -49,8 +49,8 @@ config.h: makefile VERSION mkconfig.sh # and actually picosat.c - rm -f $@; ./mkconfig.sh > $@ - - libpicosat.a: picosat.o version.o -- ar rc $@ picosat.o version.o -- ranlib $@ -+ $(AR) rc $@ picosat.o version.o -+ $(RANLIB) $@ - - SONAME=-Xlinker -soname -Xlinker libpicosat.so - libpicosat.so: picosat.o version.o diff --git a/sci-mathematics/picosat/metadata.xml b/sci-mathematics/picosat/metadata.xml deleted file mode 100644 index bfe27bd4a945..000000000000 --- a/sci-mathematics/picosat/metadata.xml +++ /dev/null @@ -1,9 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> - -<pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> -</pkgmetadata> diff --git a/sci-mathematics/picosat/picosat-965.ebuild b/sci-mathematics/picosat/picosat-965.ebuild deleted file mode 100644 index 68c4d49c5f99..000000000000 --- a/sci-mathematics/picosat/picosat-965.ebuild +++ /dev/null @@ -1,38 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit toolchain-funcs - -DESCRIPTION="SAT solver with proof and core support" -HOMEPAGE="http://fmv.jku.at/picosat/" -SRC_URI="http://fmv.jku.at/${PN}/${P}.tar.gz" - -SLOT="0" -KEYWORDS="amd64 ~x86" -LICENSE="MIT" - -PATCHES=( "${FILESDIR}"/${P}-makefile.in.patch ) - -src_configure() { - CC="$(tc-getCC)" sh ./configure.sh --shared --trace || die -} - -src_compile() { - emake AR="$(tc-getAR)" RANLIB="$(tc-getRANLIB)" \ - CFLAGS="${CFLAGS} ${LDFLAGS} -fPIC" -} - -src_install() { - exeinto /usr/bin - doexe picomus picomcs picosat picogcnf - - insinto /usr/share - newins VERSION picosat.version - - dolib.so libpicosat.so - doheader picosat.h - - dodoc NEWS README -} |