From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id 22125138247 for ; Mon, 13 Jan 2014 22:08:15 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 6770AE0AFE; Mon, 13 Jan 2014 22:08:12 +0000 (UTC) Received: from mailfilter2.tranzpeer.net (mailfilter-227.tranzpeer.net [202.180.66.227]) by pigeon.gentoo.org (Postfix) with ESMTP id 9588AE0AF6 for ; Mon, 13 Jan 2014 22:08:11 +0000 (UTC) Received: from webmail.slingshot.co.nz (webmailfe2.prv.callplus.co.nz [202.189.160.42]) by mailfilter2.tranzpeer.net (Postfix) with ESMTP id AC162735F for ; Tue, 14 Jan 2014 11:08:09 +1300 (NZDT) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-science@lists.gentoo.org Reply-to: gentoo-science@lists.gentoo.org MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Date: Tue, 14 Jan 2014 11:08:09 +1300 From: =?UTF-8?Q?Fran=C3=A7ois_Bissey?= To: gentoo-science@lists.gentoo.org Subject: Re: [gentoo-science] sage-on-gentoo: possible to install optional package =?UTF-8?Q?=28cryptominisat=29=3F?= In-Reply-To: <52D461CF.6040306@equaeghe.nospammail.net> References: <52D45996.4020201@equaeghe.nospammail.net> <01c8bc34aaf110a62e413bb229be93c8@slingshot.co.nz> <52D461CF.6040306@equaeghe.nospammail.net> Message-ID: <7b3d7121bfef543aaa751b45fb412b14@slingshot.co.nz> X-Sender: fbissey@slingshot.co.nz User-Agent: Roundcube Webmail/0.9.2 X-Spam-Status: No, score=-3.3 required=5.0 tests=BAYES_00,KHOP_THREADED, LOCAL_SLINGSHOT_TEST,UNPARSEABLE_RELAY autolearn=ham version=3.3.2 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on spamsrv2 X-Archives-Salt: 618054ec-bbd4-45fa-b4ca-1acb3c156e96 X-Archives-Hash: bee62892b48bf713d1f1ada26655d6b5 On 2014-01-14 10:59, Erik Quaeghebeur wrote: >>> [...] interested in trying out >>> the SAT solver (powered by CryptoMiniSat). This is an optional >>> package. Are such packages or this particular package available in >>> some way? >> >> I don't believe we have such package in our tree. If you point me to >> the sources I may be able to make one for you (and anyone else wanting >> it). > > Of course: > > * in reference: http://www.sagemath.org/doc/reference/sat/index.html > * upstream spkg: https://bitbucket.org/malb/cryptominisat-spkg (for > 2.9.6 version?) > * upstream code: https://github.com/msoos/cryptominisat (for 3+ > version?) > > It seems there is a version mismatch in the spkg and main upstream > code... I don't know where to find the older code. Do you want me to > ask Martin Albrecht to update the spkg? > > up to you for the update in sage. But I will make an ebuild based on the available source. I could technically steal the source from the spkg and host them on lmona.de but I would rather not do that if possible. Francois