summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/Manifest.gzbin13499 -> 13500 bytes
-rw-r--r--sci-mathematics/agda-stdlib/Manifest6
-rw-r--r--sci-mathematics/agda-stdlib/agda-stdlib-2.6.1.2.1.4.ebuild (renamed from sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild)13
-rw-r--r--sci-mathematics/agda-stdlib/metadata.xml9
-rw-r--r--sci-mathematics/agda/Manifest6
-rw-r--r--sci-mathematics/agda/agda-2.6.1.2.ebuild (renamed from sci-mathematics/agda/agda-2.5.2-r2.ebuild)72
-rw-r--r--sci-mathematics/agda/metadata.xml51
-rw-r--r--sci-mathematics/glpk/Manifest2
-rw-r--r--sci-mathematics/glpk/glpk-5.0.ebuild76
9 files changed, 159 insertions, 76 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 37cd1d890e13..0be529a1cff8 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest
index b302dfcd9db8..32cb093ede72 100644
--- a/sci-mathematics/agda-stdlib/Manifest
+++ b/sci-mathematics/agda-stdlib/Manifest
@@ -1,5 +1,5 @@
AUX 50agda-stdlib-gentoo.el 58 BLAKE2B e9b9bef913e26c63e4b0e19a1e4b5c0e370959689ae18e74ed54e7a8c1415c19fb517af9be59feee3e636042bc22fb68f1fd5457f551a436b920b42685aec1f4 SHA512 f45f0e59a1becd5d2b13b452219cc77b553dad9480a848ea62f276e106ab911ed1594e826fe487b886fe9b6e8aadcfde47de4fb1b0ab144ae98b6ac9eb385cfd
AUX standard-library.agda-lib 55 BLAKE2B 057e933b07b291fd505f2e64f43b087c2aa4f4828ba2a03b5a53b9cac0f0fd0ab1f523c91efd6090e34e376dcc61d90bc5193063b6f07280c0eb2d688a07dedc SHA512 b1e2cbffe4b99157661fe6f4685580c7524890735db0a20ae1942e076b00d0df13624f587ea7584319e5665484da63beb3e0e5c77226bdbe02a4a80fa33a17b4
-DIST agda-stdlib-2.5.2.0.13.tar.gz 264701 BLAKE2B f35b419aac1b80af86217a86fb8e21a2f3427ef9629c8f2e284036859cd89da16ce1b64ceb87f8a3030b5bdb2a68b4f59f74a717fc1e13378ecb20cc6b28f59c SHA512 340a7b9cb15793cdbe99f558a32eaab3476b94b4d43d45bdc92c6b368197d075c977fd2f6ce0c5b0baf584289a2218b07dd030ad2b83f6d9e4bc7effee91eece
-EBUILD agda-stdlib-2.5.2.0.13.ebuild 2175 BLAKE2B debbd1f201004b20b3e41ad446eac17e2e5ae53175d2c5c56e1a35e94239835d337f5f87bc9b2f03b39a8b7bc1f52476cf02147f5c47fab5ce9e18aac4086e25 SHA512 18c5b73a3dc72a8ee6839381428f27617d299f7c0f61af6c10ce32279e9d50b43b6a36ae02ed675ee1a196914d7f1a2331318976e038c6fc827ec66f95cc9a23
-MISC metadata.xml 584 BLAKE2B 9d0eb0995feecbe10282cabba0b56dfe8278149f16840a477b55e6cf63675c79a642922eca2980f193447b1cdfdb59c4f1524a6cd9ec264175e2a753de6b918f SHA512 5d4446db6dac997893534b330f16a5631ff7472fa9178ced3c7300848a0c1733718985f3f6fa2f39adb905e973f8926371043cc08dac99e795e62850e1f2f2dd
+DIST agda-stdlib-2.6.1.2.1.4.tar.gz 816654 BLAKE2B c8e6b6f86f32dd2e3d57da4a21066be4a441e71bc3a7cb96d8000f28c56cbb114a00e5df2777b00a8a9fc1a0f94b00bdf4b72eb46f0245ab482a41b6a9d772ee SHA512 90c05d54eaf1d7c78d00f73044afa1f3b4d99df622d40b3cea88fe280f0770ccaeddd787d8fb384c150123f592bb6a7ec24b842a9fcc2936f581d847928223ca
+EBUILD agda-stdlib-2.6.1.2.1.4.ebuild 2129 BLAKE2B 11076c1eb8fc55fb03ce65f8d2016da39eeaed2bfc0ed02a9aeec3266a000cee1a9be5a503af8df108f8ac36b1416ba9d6897e187554a5ef74d194171003f462 SHA512 8e63daeed5284581872533700ca043fd627fa39ec81962f92fa82083b907745d05c0049458af194cc0e5d838eddff6b3ab9c2b8aab4a9ac1be507ee23ab461e1
+MISC metadata.xml 470 BLAKE2B 52d4855254478477d97adcee7dcb01a4683af84456ad3f1affc646821cddc1b6d761d879c5b9576ce02c4d768db5c0685466fe69f294a4380dce69e4626704f0 SHA512 220f1b52f17bd50cc8bc435fb3bfb8db5097c9bd000a552f620c69312633fe8380a315e9ad220f7d8018a1f7d9d866e332aed0cc84172340c1f3764c4ae1990b
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-2.6.1.2.1.4.ebuild
index 4659c6572de9..55a498c1f260 100644
--- a/sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild
+++ b/sci-mathematics/agda-stdlib/agda-stdlib-2.6.1.2.1.4.ebuild
@@ -1,9 +1,9 @@
# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=6
+EAPI=7
-CABAL_FEATURES="bin"
+CABAL_FEATURES="profile"
inherit haskell-cabal elisp-common
## shared with sci-mathematics/agda
@@ -13,7 +13,7 @@ inherit haskell-cabal elisp-common
# As Agda-stdlib is tied to Agda version we encode
# both versions in gentoo version.
##
-MY_UPSTREAM_AGDA_STDLIB_V="0.13"
+MY_UPSTREAM_AGDA_STDLIB_V="1.4"
MY_GENTOO_AGDA_STDLIB_V="${PV}.${MY_UPSTREAM_AGDA_STDLIB_V}"
MY_UPSTREAM_AGDA_V="${PV%.${MY_UPSTREAM_AGDA_STDLIB_V}}"
@@ -24,15 +24,14 @@ SRC_URI="https://github.com/agda/${PN}/archive/v${MY_UPSTREAM_AGDA_STDLIB_V}.tar
LICENSE="MIT"
SLOT="0"
KEYWORDS="~amd64 ~x86"
-IUSE="profile +ffi"
+IUSE=""
RDEPEND=">=sci-mathematics/agda-${MY_UPSTREAM_AGDA_V}:=[profile?]
- ffi? ( sci-mathematics/agda-lib-ffi )
"
DEPEND="${RDEPEND}
- >=dev-haskell/cabal-1.16.0
+ >=dev-haskell/cabal-1.24.2.0
>=dev-haskell/filemanip-0.3.6.2[profile?] <dev-haskell/filemanip-0.4[profile?]
- >=dev-lang/ghc-7.6.3
+ >=dev-lang/ghc-8.0.2
"
S=${WORKDIR}/${PN}-${MY_UPSTREAM_AGDA_STDLIB_V}
diff --git a/sci-mathematics/agda-stdlib/metadata.xml b/sci-mathematics/agda-stdlib/metadata.xml
index 06549522e123..37374b54118e 100644
--- a/sci-mathematics/agda-stdlib/metadata.xml
+++ b/sci-mathematics/agda-stdlib/metadata.xml
@@ -5,13 +5,10 @@
<email>sci-mathematics@gentoo.org</email>
<name>Gentoo Mathematics Project</name>
</maintainer>
- <maintainer type="project">
- <email>haskell@gentoo.org</email>
- <name>Gentoo Haskell</name>
+<maintainer type="project">
+ <email>haskell@gentoo.org</email>
+ <name>Gentoo Haskell</name>
</maintainer>
- <use>
- <flag name="ffi">Install agda-lib-ffi for compilation using the MAlonzo backend</flag>
- </use>
<upstream>
<remote-id type="github">agda/agda-stdlib</remote-id>
</upstream>
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest
index d2a3e137974a..c897506b233c 100644
--- a/sci-mathematics/agda/Manifest
+++ b/sci-mathematics/agda/Manifest
@@ -1,4 +1,4 @@
AUX 50agda2-gentoo.el 317 BLAKE2B c295509014fc7f254c5c0650b079d3827b182270c6e1aa3d1ddf4f4076d94115f0168d4ad0c96a876be57ead4db26219e594a9afed3aba2ce3cab30e8cf19060 SHA512 55b7438896cb66b4b32b0ba0d9468bb2496df1f63a78f3f4b4e19cc038018605c9cbd7880d2be1b40d6d1509ac6df20304cdc8c2ccde69e89777acfc65a1ce8e
-DIST Agda-2.5.2.tar.gz 1240885 BLAKE2B bccdaa0c40b8e116f44ee436171cec0a8e1366d7b1f0b469bf459eacf4256e29a00c60a371dcf7971c499e948ce6264861016bb51fcad3251f62cb3e7370c19c SHA512 39ec73316eb7409f7f2618e86a9a3a2c420c93470bf46a1c37a4c4753c6c831d2d6da9ba007086ddee9defd481a695bf142a0a7d360dfa01bdb1fb92467af164
-EBUILD agda-2.5.2-r2.ebuild 5012 BLAKE2B 2632473b655f5331674f251697f37989a02a8e217c523492a2223ea5a5d9989677316b91a5bc35e9989d85c55012bf9bd133e6e037b3a631fb19617c2d195de1 SHA512 a6caec191849f979c4ea3777b3601a8bf2783e9324e86cf6cd632e1b9ea0c10914db976621a697e53fabfb0f1d42aa2528678298c58e639ca17c55455dbe32c8
-MISC metadata.xml 848 BLAKE2B d9882eb994ae956610051e9a634584c99b5725e77184649a9a68716fd07d70cce7d22ad77c2785f3ec6c4f96ccb333d72db40f1e97162371ab1390a9a55f09c2 SHA512 48e8e93adaef133b0491f96f93e5dc3c57ebe235f1568aeb649e10e6fe9eced0cb421cd801e1f0f24c27c084a3efcb58855032a14c74e87d806ab41da0ebff37
+DIST Agda-2.6.1.2.tar.gz 2722270 BLAKE2B cf8d4bff2c189d87696c3f03f1b32777e8bd060102f108e0b96aca87e6b3b1cc84077a1e0fe3f9ef42293f683aa855eb60ade8b0863b3f78c96b4ebb63e456a5 SHA512 5ab35d9b581ed918481dd25619739dfa43ea3d86b9522989fe8c83b3aa8749bee81fb12e7cd6b4270c4890a3719386c62b220163324407a1201273d1dfe9d615
+EBUILD agda-2.6.1.2.ebuild 5008 BLAKE2B b675f0523e8d4d4da57a45c86a5bcef173f80736bd1405df505d801622181e33c4ae5e71cdf289f034a8c807f02f34eee34b75e6ab574b5198d10e6f465405bf SHA512 d22d07552bc9c87728f01f3ed67a536c5752cb26016e5606ee4c68ae5e64d71f49b949fba893282a8a7fad060e40a7a2090e0b971480bedcad8752fe593c0130
+MISC metadata.xml 1743 BLAKE2B 6705852b3c4c52a22788ee01fa511bcb63410f39ae6da3168c6907e39674ace7c6c76c7b39c23d2dee9c2b98c45a264d76b7cf8ae7de8f5ccf1c99a4a843ee0d SHA512 c4b75de7cac6776cb24ef9ac3fac04be88c5d434acfb9e41d9c4b98deb59f02d07e04078907629dd956f72bfbe2d6e3f7cd24f801c1b2a1636c05555442a9851
diff --git a/sci-mathematics/agda/agda-2.5.2-r2.ebuild b/sci-mathematics/agda/agda-2.6.1.2.ebuild
index bac38fefcb17..ab5ba3366d32 100644
--- a/sci-mathematics/agda/agda-2.5.2-r2.ebuild
+++ b/sci-mathematics/agda/agda-2.6.1.2.ebuild
@@ -3,7 +3,7 @@
EAPI=7
-# ebuild generated by hackport 0.5.1
+# ebuild generated by hackport 0.6.6.9999
CABAL_FEATURES="lib profile haddock hoogle hscolour"
inherit haskell-cabal elisp-common
@@ -18,7 +18,7 @@ MY_P="${MY_PN}-${PV}"
# As Agda-stdlib is tied to Agda version we encode
# both versions in gentoo version.
##
-MY_UPSTREAM_AGDA_STDLIB_V="0.13"
+MY_UPSTREAM_AGDA_STDLIB_V="1.4"
MY_GENTOO_AGDA_STDLIB_V="${PV}.${MY_UPSTREAM_AGDA_STDLIB_V}"
DESCRIPTION="A dependently typed functional programming language and proof assistant"
@@ -28,67 +28,66 @@ SRC_URI="https://hackage.haskell.org/package/${MY_P}/${MY_P}.tar.gz"
LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
-IUSE="+cpphs debug +stdlib emacs"
+IUSE="+cpphs debug emacs enable-cluster-counting +stdlib"
-RESTRICT=test # Unrecognized option: --test (did you mean any of --help --js --css ?)
-
-RDEPEND=">=dev-haskell/boxes-0.1.3:=[profile?] <dev-haskell/boxes-0.2:=[profile?]
+RDEPEND=">=dev-haskell/aeson-1.1.2.0:=[profile?] <dev-haskell/aeson-1.6:=[profile?]
+ >=dev-haskell/async-2.2:=[profile?] <dev-haskell/async-2.3:=[profile?]
+ >=dev-haskell/blaze-html-0.8:=[profile?] <dev-haskell/blaze-html-0.10:=[profile?]
+ >=dev-haskell/boxes-0.1.3:=[profile?] <dev-haskell/boxes-0.2:=[profile?]
>=dev-haskell/data-hash-0.2.0.0:=[profile?] <dev-haskell/data-hash-0.3:=[profile?]
- >=dev-haskell/edisoncore-1.3.1.1:=[profile?]
>=dev-haskell/edit-distance-0.2.1.2:=[profile?] <dev-haskell/edit-distance-0.3:=[profile?]
- >=dev-haskell/equivalence-0.2.5:=[profile?] <dev-haskell/equivalence-0.4:=[profile?]
- >=dev-haskell/fail-4.9:=[profile?] <dev-haskell/fail-4.10:=[profile?]
+ >=dev-haskell/equivalence-0.3.2:=[profile?] <dev-haskell/equivalence-0.4:=[profile?]
+ >=dev-haskell/exceptions-0.8:=[profile?] <dev-haskell/exceptions-0.11:=[profile?]
>=dev-haskell/geniplate-mirror-0.6.0.6:=[profile?] <dev-haskell/geniplate-mirror-0.8:=[profile?]
- >=dev-haskell/gitrev-1.2:=[profile?] <dev-haskell/gitrev-2.0:=[profile?]
- >=dev-haskell/hashable-1.2.1.0:=[profile?] <dev-haskell/hashable-1.3:=[profile?]
- >=dev-haskell/haskeline-0.7.1.3:=[profile?] <dev-haskell/haskeline-0.8:=[profile?]
- >=dev-haskell/ieee754-0.7.8:=[profile?] <dev-haskell/ieee754-0.8:=[profile?]
- >=dev-haskell/monadplus-1.4:=[profile?] <dev-haskell/monadplus-1.5:=[profile?]
+ >=dev-haskell/gitrev-1.3.1:=[profile?] <dev-haskell/gitrev-2.0:=[profile?]
+ >=dev-haskell/hashable-1.2.1.0:=[profile?] <dev-haskell/hashable-1.4:=[profile?]
+ >=dev-haskell/hashtables-1.2.0.2:=[profile?] <dev-haskell/hashtables-1.3:=[profile?]
+ >=dev-haskell/haskeline-0.7.2.3:=[profile?] <dev-haskell/haskeline-0.9:=[profile?]
+ >=dev-haskell/ieee754-0.7.8:=[profile?] <dev-haskell/ieee754-0.9:=[profile?]
+ >=dev-haskell/mtl-2.2.1:=[profile?] <dev-haskell/mtl-2.3:=[profile?]
>=dev-haskell/murmur-hash-0.1:=[profile?] <dev-haskell/murmur-hash-0.2:=[profile?]
- >=dev-haskell/parallel-3.2.0.4:=[profile?] <dev-haskell/parallel-3.3:=[profile?]
- >=dev-haskell/regex-tdfa-1.2.2:=[profile?] <dev-haskell/regex-tdfa-1.3:=[profile?]
- >=dev-haskell/semigroups-0.18:=[profile?] <dev-haskell/semigroups-0.19:=[profile?]
- >=dev-haskell/strict-0.3.2:=[profile?] <dev-haskell/strict-0.4:=[profile?]
- >=dev-haskell/text-0.11.3.1:=[profile?] <dev-haskell/text-1.3:=[profile?]
- >=dev-haskell/transformers-compat-0.3.3.3:=[profile?] <dev-haskell/transformers-compat-0.6:=[profile?]
+ >=dev-haskell/regex-tdfa-1.3.1.0:=[profile?] <dev-haskell/regex-tdfa-1.4:=[profile?]
+ >=dev-haskell/split-0.2.0.0:=[profile?] <dev-haskell/split-0.2.4:=[profile?]
+ >=dev-haskell/stm-2.4.4:=[profile?] <dev-haskell/stm-2.6:=[profile?]
+ >=dev-haskell/strict-0.3.2:=[profile?] <dev-haskell/strict-0.5:=[profile?]
+ >=dev-haskell/text-1.2.3.1:=[profile?] <dev-haskell/text-1.3:=[profile?]
>=dev-haskell/unordered-containers-0.2.5.0:=[profile?] <dev-haskell/unordered-containers-0.3:=[profile?]
- >=dev-haskell/xhtml-3000.2.1:=[profile?] <dev-haskell/xhtml-3000.3:=[profile?]
- >=dev-haskell/zlib-0.4.0.1:=[profile?]
- >=dev-lang/ghc-7.10.1:=
- >=dev-haskell/hashtables-1.0.1.8:=[profile?] <dev-haskell/hashtables-1.3:=[profile?]
- >=dev-haskell/mtl-2.1.1:=[profile?] <dev-haskell/mtl-2.3:=[profile?]
+ >=dev-haskell/uri-encode-1.5.0.4:=[profile?] <dev-haskell/uri-encode-1.6:=[profile?]
+ >=dev-haskell/zlib-0.6:=[profile?] <dev-haskell/zlib-0.7:=[profile?]
+ >=dev-lang/ghc-8.0.2:=
+ enable-cluster-counting? ( >=dev-haskell/text-icu-0.7:=[profile?] <dev-haskell/text-icu-0.8:=[profile?] )
"
RDEPEND+="
- emacs? ( >=app-editors/emacs-23.1:*
- app-emacs/haskell-mode )
+ emacs? (
+ >=app-editors/emacs-23.1:*
+ app-emacs/haskell-mode )
"
PDEPEND="stdlib? ( ~sci-mathematics/agda-stdlib-${MY_GENTOO_AGDA_STDLIB_V} )"
DEPEND="${RDEPEND}
dev-haskell/alex
- >=dev-haskell/cabal-1.22.2.0
+ >=dev-haskell/cabal-1.24.2.0 <dev-haskell/cabal-3.3
dev-haskell/happy
- cpphs? ( dev-haskell/cpphs )
+ cpphs? ( >=dev-haskell/cpphs-1.20.9 )
"
-RDEPEND+="!sci-mathematics/agda-executable"
SITEFILE="50${PN}2-gentoo.el"
S="${WORKDIR}/${MY_P}"
src_prepare() {
default
+
if ! use emacs; then
sed -e '/.*emacs-mode.*$/d' \
-i "${S}/${MY_PN}.cabal" \
|| die "Could not remove agda-mode from ${MY_PN}.cabal"
fi
- cabal_chdeps \
- 'EdisonCore >= 1.3.1.1 && < 1.3.2' 'EdisonCore >= 1.3.1.1'
}
src_configure() {
haskell-cabal_src_configure \
$(cabal_flag cpphs cpphs) \
- $(cabal_flag debug debug)
+ $(cabal_flag debug debug) \
+ $(cabal_flag enable-cluster-counting enable-cluster-counting)
}
src_compile() {
@@ -97,13 +96,8 @@ src_compile() {
elisp-compile src/data/emacs-mode/*.el \
|| die "Failed to compile emacs mode"
fi
- haskell-cabal_src_compile
-}
-
-src_test() {
export LD_LIBRARY_PATH="${S}/dist/build${LD_LIBRARY_PATH+:}${LD_LIBRARY_PATH}"
-
- dist/build/agda/agda --test +RTS -M1g || die
+ haskell-cabal_src_compile
}
src_install() {
diff --git a/sci-mathematics/agda/metadata.xml b/sci-mathematics/agda/metadata.xml
index ea96b9e3cce7..5606f0f0585e 100644
--- a/sci-mathematics/agda/metadata.xml
+++ b/sci-mathematics/agda/metadata.xml
@@ -1,22 +1,37 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <maintainer type="project">
- <email>sci-mathematics@gentoo.org</email>
- <name>Gentoo Mathematics Project</name>
- </maintainer>
-<maintainer type="project">
- <email>haskell@gentoo.org</email>
- <name>Gentoo Haskell</name>
- </maintainer>
-<longdescription lang="en">
- Agda is an interactive proof editor, or proof assistant. Its input language,
- called Agda language (or simply Agda), is based on a constructive type
- theory á la Martin-Löf, extended with dependent record types,
- inductive definitions, module structures and a class hierarchy mechanism.
-</longdescription>
-<use>
- <flag name="cpphs">Use cpphs instead of cpp.</flag>
- <flag name="stdlib">Install the standard library.</flag>
-</use>
+ <maintainer type="project">
+ <email>haskell@gentoo.org</email>
+ <name>Gentoo Haskell</name>
+ </maintainer>
+ <use>
+ <flag name="cpphs">Use cpphs instead of cpp.</flag>
+ <flag name="debug">Enable debugging features that may slow Agda down.</flag>
+ <flag name="enable-cluster-counting">Enable the --count-clusters flag. (If enable-cluster-counting is False, then the --count-clusters flag triggers an error message.)</flag>
+ <flag name="stdlib">Install the standard library.</flag>
+ </use>
+ <longdescription>
+ Agda is a dependently typed functional programming language: It has
+ inductive families, which are similar to Haskell&#39;s GADTs, but they
+ can be indexed by values and not just types. It also has
+ parameterised modules, mixfix operators, Unicode characters, and an
+ interactive Emacs interface (the type checker can assist in the
+ development of your code).
+
+ Agda is also a proof assistant: It is an interactive system for
+ writing and checking proofs. Agda is based on intuitionistic type
+ theory, a foundational system for constructive mathematics developed
+ by the Swedish logician Per Martin-L&amp;#xf6;f. It has many
+ similarities with other proof assistants based on dependent types,
+ such as Coq, Epigram and NuPRL.
+
+ This package includes both a command-line program (agda) and an
+ Emacs mode. If you want to use the Emacs mode you can set it up by
+ running @agda-mode setup@ (see the README).
+
+ Note that the Agda package does not follow the package versioning
+ policy, because it is not intended to be used by third-party
+ packages.
+ </longdescription>
</pkgmetadata>
diff --git a/sci-mathematics/glpk/Manifest b/sci-mathematics/glpk/Manifest
index 15763aa82869..f275c84a256a 100644
--- a/sci-mathematics/glpk/Manifest
+++ b/sci-mathematics/glpk/Manifest
@@ -2,5 +2,7 @@ AUX glpk-4.65-debundle-system-libs.patch 1930 BLAKE2B 0c265afe9338e75bb3d6536e9e
AUX glpk-4.65-fix-mysql-include-prefix.patch 1837 BLAKE2B ecd90024e07f29e8ebb6af80b520c8f192cfea21c90d8c247001389f2ccfcf24ad487981a0cc719d1ca99e266dd2a9d66f6416d4f2d5e7c80bdf807b9bb7b74e SHA512 c74281bf3e03e136d183b562b8f682a3e1957019a36ec0c6a048049f0d5f55361107a62e36eaa9e3306a1f13df10adf55c2f54f096b6e353108856e05d9ce799
AUX glpk-4.65-longstep_verbosity.patch 844 BLAKE2B c1d14e6dfd596694bf1da060129713eb70ceebd4b1742e8496b89c1e1bfefa5bfdf320ecb8d863aa5b5a0d9750bca8bf59b261608cc39b1d1a0b3fe3b10a7be4 SHA512 29d8e876c0d5fba14056e8f0639e3746c6f4c0eefcad284727921e0ca7184ad96b4363dfe9bfe67b74d6d9419f37d21e453e431bf53438b624c1ab0ef9fe1092
DIST glpk-4.65.tar.gz 4167110 BLAKE2B 4ccb5cd8301bdca2ccdecfc1648642afe26ff0a1ee9a75cb5a3906838086e5c41edfb16e7c55f4ad677d192f6a66b866f2d917c5be7103da7141bfb1f74e636b SHA512 997e8e599ff1718a08c66b86eadd0e01f4644899f1e95920f8ae91d66b4d8361021766b346845f4dcbcfe667b41ab72ea3d377017a0ebf85d7ece091cfd81375
+DIST glpk-5.0.tar.gz 4132649 BLAKE2B f8204f66a97af950c13ee72ee9541f305745741d1231325670ede14663cb6c28ec6fbc44b3625973f1924ca078183d1d43f494ad43a7b48b45be131882b00001 SHA512 4e92195fa058c707146f2690f3a38b46c33add948c852f67659ca005a6aa980bbf97be96528b0f8391690facb880ac2126cd60198c6c175e7f3f06cca7e29f9d
EBUILD glpk-4.65.ebuild 1832 BLAKE2B 9abcc5f63cf3754ffd725de49e19ebea55bc948011f553ac11f0972c22360d1446f45169f35a1c65efdc926b58c46e591aa9d61fe6b5eaa504fd42e53b0f4294 SHA512 966ad0b3f8046b081a6fdad455f88c2a96b4840f4acc6c4b8551d428599876ddbe694885f642885e8fbd9992ca2119e885b9c7889982aa622e0a86ac5cd004f8
+EBUILD glpk-5.0.ebuild 1788 BLAKE2B 1fa5282eb61c60562046d4b61d7f882bb2649db67fa393584a9cd10dc89946e9cd3efc13e403746093f3a38958a89e9ad3616cb41070fb742ae57392a305ec6b SHA512 3be203886d06acf5afe7aacd647e3628c4816ca91991ddbb48fb354e45f4563f5d75cb8bed5307d1d724a3326886079b2883dbf95ffa4af180ad3f7e19199234
MISC metadata.xml 998 BLAKE2B 11afba9ccdd6a53cee9432201eee2ae03483da71212f1c7f9907a775e6c2fcce068648fdae87965dab7550c9157c86697802707b582589626cf48e4236aa56e0 SHA512 1ef83c282b3a6143a1e85a1ecdc55463cf5617409dc990806917077c30e4acd2663b2772bf47aa96c572ee78dab76467c10b4ae9a2705220aa6e8e4936c4f7b5
diff --git a/sci-mathematics/glpk/glpk-5.0.ebuild b/sci-mathematics/glpk/glpk-5.0.ebuild
new file mode 100644
index 000000000000..83c12e1926e4
--- /dev/null
+++ b/sci-mathematics/glpk/glpk-5.0.ebuild
@@ -0,0 +1,76 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit autotools flag-o-matic toolchain-funcs
+
+DESCRIPTION="GNU Linear Programming Kit"
+HOMEPAGE="https://www.gnu.org/software/glpk/"
+SRC_URI="mirror://gnu/${PN}/${P}.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0/40"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~ppc ~ppc64 ~sparc ~x86 ~amd64-linux ~x86-linux ~x86-macos"
+IUSE="doc examples gmp odbc mysql"
+
+BDEPEND="virtual/pkgconfig"
+DEPEND="
+ sci-libs/amd:0=
+ sci-libs/colamd:=
+ sys-libs/zlib:0=
+ gmp? ( dev-libs/gmp:0= )
+ mysql? ( dev-db/mysql-connector-c )
+ odbc? (
+ || (
+ dev-db/libiodbc:0
+ dev-db/unixODBC:0
+ )
+ )"
+RDEPEND="${DEPEND}"
+
+PATCHES=(
+ "${FILESDIR}"/${PN}-4.65-fix-mysql-include-prefix.patch
+ "${FILESDIR}"/${PN}-4.65-debundle-system-libs.patch
+)
+
+src_prepare() {
+ # TODO: the ODBC library is dlopen()ed, so we only want to append
+ # -I<foo> to the preprocessor flags, and not all of the CFLAGS that
+ # were used to build libiodbc. That fix and the pkg-config fallback
+ # should be sent upstream, and placed into CPPFLAGS rather than
+ # CFLAGS (as configure.ac does now).
+ use odbc && [[ -z $(type -P odbc_config) ]] && \
+ append-cppflags $($(tc-getPKG_CONFIG) --cflags libiodbc)
+
+ default
+ eautoreconf
+}
+
+src_configure() {
+ local myconf
+ if use mysql || use odbc; then
+ myconf="--enable-dl"
+ else
+ myconf="--disable-dl"
+ fi
+
+ econf ${myconf} \
+ --disable-static \
+ $(use_enable mysql) \
+ $(use_enable odbc) \
+ $(use_with gmp)
+}
+
+src_install() {
+ default
+ if use examples; then
+ insinto "/usr/share/doc/${PF}"
+ doins -r examples
+ docompress -x "/usr/share/doc/${PF}/examples"
+ fi
+ use doc && dodoc doc/*.pdf doc/notes/*.pdf doc/*.txt
+
+ # no static archives
+ find "${D}" -name '*.la' -delete || die
+}
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-03 21:26:24 +0000