Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 603314 - New package: sci-libs/cryptominisat
Summary: New package: sci-libs/cryptominisat
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: Normal normal with 1 vote (vote)
Assignee: Default Assignee for New Packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2016-12-21 11:00 UTC by Amit Prakash Ambasta
Modified: 2023-02-17 13:06 UTC (History)
2 users (show)

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

Attachments
Ebuild (cryptominisat-5.0.1.ebuild,844 bytes, text/plain)
2016-12-21 11:00 UTC, Amit Prakash Ambasta 		Details
Path to respect GNUInstallDirs (cryptominisat-gnuinstalldirs.patch,2.04 KB, patch)
2016-12-21 11:01 UTC, Amit Prakash Ambasta 		Details | Diff
cryptominisat-5.0.1.ebuild (cryptominisat-5.0.1.ebuild,959 bytes, text/plain)
2016-12-21 11:14 UTC, Amit Prakash Ambasta 		Details
cryptominisat-gnuinstalldirs.patch (cryptominisat-gnuinstalldirs.patch,2.04 KB, patch)
2016-12-21 11:15 UTC, Amit Prakash Ambasta 		Details | Diff
metadata.xml (metadata.xml,647 bytes, text/xml)
2016-12-21 11:15 UTC, Amit Prakash Ambasta 		Details
Show Obsolete (2) View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Amit Prakash Ambasta 2016-12-21 11:00:35 UTC 
Created attachment 456962 [details]
Ebuild

Hi,

Cryptominisat is an advanced SAT Solver which is available both as a binary as well as a CXX library.

PFA an appropriate ebuilds against the package.
Comment 1 Amit Prakash Ambasta 2016-12-21 11:01:19 UTC 
Created attachment 456964 [details, diff]
Path to respect GNUInstallDirs
Comment 2 Amit Prakash Ambasta 2016-12-21 11:14:32 UTC 
Created attachment 456966 [details]
cryptominisat-5.0.1.ebuild
Comment 3 Amit Prakash Ambasta 2016-12-21 11:15:01 UTC 
Created attachment 456968 [details, diff]
cryptominisat-gnuinstalldirs.patch
Comment 4 Amit Prakash Ambasta 2016-12-21 11:15:27 UTC 
Created attachment 456970 [details]
metadata.xml
Comment 5 Maciej Barć gentoo-dev 2023-02-17 13:06:13 UTC 
Already in the ::gentoo tree, see: https://packages.gentoo.org/packages/sci-mathematics/cryptominisat