diff options
author | 2011-04-09 22:31:01 +0000 | |
---|---|---|
committer | 2011-04-09 22:31:01 +0000 | |
commit | 0ae256ba5212b9a78c80e40a0b2297c0e1a83fb1 (patch) | |
tree | 56cb66db65a58ae57e1a5a11e0a79a8d3e12242e /sci-mathematics | |
parent | ChangeLog entry for previous commit. (diff) | |
download | historical-0ae256ba5212b9a78c80e40a0b2297c0e1a83fb1.tar.gz historical-0ae256ba5212b9a78c80e40a0b2297c0e1a83fb1.tar.bz2 historical-0ae256ba5212b9a78c80e40a0b2297c0e1a83fb1.zip |
Updated to include MTL header files apps that need them.
Package-Manager: portage-2.1.9.45/cvs/Linux x86_64
Diffstat (limited to 'sci-mathematics')
-rw-r--r-- | sci-mathematics/minisat/ChangeLog | 8 | ||||
-rw-r--r-- | sci-mathematics/minisat/Manifest | 4 | ||||
-rw-r--r-- | sci-mathematics/minisat/minisat-2.2.0-r1.ebuild (renamed from sci-mathematics/minisat/minisat-2.2.0.ebuild) | 5 |
3 files changed, 12 insertions, 5 deletions
diff --git a/sci-mathematics/minisat/ChangeLog b/sci-mathematics/minisat/ChangeLog index 368bd6753737..78c16982a024 100644 --- a/sci-mathematics/minisat/ChangeLog +++ b/sci-mathematics/minisat/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for sci-mathematics/minisat # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/minisat/ChangeLog,v 1.1 2011/04/09 19:11:31 nerdboy Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/minisat/ChangeLog,v 1.2 2011/04/09 22:31:01 nerdboy Exp $ + +*minisat-2.2.0-r1 (09 Apr 2011) + + 09 Apr 2011; Steve Arnold <nerdboy@gentoo.org> -minisat-2.2.0.ebuild, + +minisat-2.2.0-r1.ebuild: + Updated to include MTL header files apps that need them. *minisat-2.2.0 (09 Apr 2011) diff --git a/sci-mathematics/minisat/Manifest b/sci-mathematics/minisat/Manifest index a406f0ee33a7..5f0138df29b2 100644 --- a/sci-mathematics/minisat/Manifest +++ b/sci-mathematics/minisat/Manifest @@ -1,5 +1,5 @@ DIST MiniSat.pdf 327416 RMD160 3b611bf17b2419525303527f93ef06bb3bb9d93b SHA1 8c17a48b2a93780d56bc2a3da5ddf5b9fce3572a SHA256 53197dbd783c924a2627d75e305706297988494265bd5e5ec873840e5d797ac4 DIST minisat-2.2.0.tar.gz 43879 RMD160 169ec9116befa9067db9076d26309f7e9ab408dd SHA1 dfc25898bf40e00cf04252a42176e0c0600fbc90 SHA256 92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808 -EBUILD minisat-2.2.0.ebuild 1731 RMD160 35fb2aba41c1ba5f8abe19c33ffaa71a09c1e77e SHA1 bd2d664fb533e411e66a7dd6f6cd77d003900e67 SHA256 dc40227cf8c566a1c6c5230dd470f1a7d345483d548df17729309a5d419df281 -MISC ChangeLog 473 RMD160 b861a012b8a4fab3daac50646156596e706dde7d SHA1 d055b737f5a2e7bae9c52d8feb9110b7db20c547 SHA256 d928a5231e4b3030f586227f1fd6ae6f0fb5a0b58a397fcc568206f495087954 +EBUILD minisat-2.2.0-r1.ebuild 1748 RMD160 5e19a4eb129b88a905cbd7405b5cd7d578b62a2f SHA1 17f8c5379ae4a25bb10e99cb71c5cd4c03dc2b5b SHA256 c77c1cfec049443ddc27be5ac70cc9bdcb3d311edf45bbbdddf832fad9034cde +MISC ChangeLog 666 RMD160 67b96bf1d3443831a54a6eaef182b0014db0e04b SHA1 07f2c5dd5626da784357ecd7b12cec66f658f43b SHA256 6087b4090692a7f86b616ffc99b969f7c6925e603835532b71a29aed8dfce5b1 MISC metadata.xml 385 RMD160 c3c54db2820acad2a21a2220d0b019609befff70 SHA1 b8aaaf15339df6a4a9ad0e5188582b7096d9ec87 SHA256 8985932b4ea92f71ffad7bde8c70dd42a7a2f49f8ed007969c08fbf420f96cc9 diff --git a/sci-mathematics/minisat/minisat-2.2.0.ebuild b/sci-mathematics/minisat/minisat-2.2.0-r1.ebuild index 66e3421bac68..00e4aa5d8c46 100644 --- a/sci-mathematics/minisat/minisat-2.2.0.ebuild +++ b/sci-mathematics/minisat/minisat-2.2.0-r1.ebuild @@ -1,8 +1,8 @@ # Copyright 1999-2011 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/minisat/minisat-2.2.0.ebuild,v 1.1 2011/04/09 19:11:31 nerdboy Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/minisat/minisat-2.2.0-r1.ebuild,v 1.1 2011/04/09 22:31:01 nerdboy Exp $ -EAPI="3" +EAPI="4" inherit eutils toolchain-funcs @@ -51,6 +51,7 @@ src_compile() { src_install() { insinto /usr/include + doins -r mtl doins utils/Options.h utils/System.h core/Solver.h core/SolverTypes.h # somewhat brute-force, but so is the build setup... |