Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/alt-ergo/Manifest3
-rw-r--r--sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild4
-rw-r--r--sci-mathematics/apron/apron-0.9.10-r1.ebuild9
-rw-r--r--sci-mathematics/apron/apron-0.9.10.ebuild6
-rw-r--r--sci-mathematics/flocq/Manifest3
-rw-r--r--sci-mathematics/flocq/flocq-2.3.0.ebuild4
-rw-r--r--sci-mathematics/frama-c/Manifest4
-rw-r--r--sci-mathematics/frama-c/frama-c-20140301.ebuild4
-rw-r--r--sci-mathematics/gappa/Manifest3
-rw-r--r--sci-mathematics/gappalib-coq/Manifest3
-rw-r--r--sci-mathematics/giac/Manifest3
-rw-r--r--sci-mathematics/giac/giac-1.1.0.ebuild2
-rw-r--r--sci-mathematics/ltl2ba/Manifest5
-rw-r--r--sci-mathematics/pff/Manifest3
-rw-r--r--sci-mathematics/why/Manifest4
-rw-r--r--sci-mathematics/why/why-2.34.ebuild9
-rw-r--r--sci-mathematics/why3/Manifest3
-rw-r--r--sci-mathematics/why3/why3-0.83.ebuild7
18 files changed, 23 insertions, 56 deletions
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
index 806c6d18a..ad6a8ca8d 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -1,4 +1 @@
DIST alt-ergo-0.95.2.tar.gz 233778 SHA256 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac SHA512 e4bb73719d67e44bac058ea53082879534c93d47fd931ec927e7f1e59330a60915ae73c662153207e6229ae914a5c0b8b16c04763f1ae3e251668a336a11d382 WHIRLPOOL aa5f8f0bf46eb93d4e8e4be4e6a30facd7b97d35fd110e4081a61826edb1def7dc5724db08c05f714c3bc1a70add9aaa961e9757492aa47f9c97ad48069f5ae9
-EBUILD alt-ergo-0.95.2.ebuild 1010 SHA256 6fbab54b8e22d9bfc57a8b10178400558300c97ebe62815f5a7fcd9d2ea5a8d5 SHA512 b23db89a3d1f7004dd4b751e52ced047a3c592b3396f88eab916f7708ed9aaeb44ebb5b3d0ab2b08950016cf94b1e6b32125a4cac784bd6ba34f39d104b16230 WHIRLPOOL d319a4a52deaa8bbd778eacf068b77f6d2ee23b36841c84aa08d786de9e4effe5cc96769927d1d68a8b765d246149b23d49b6c3a76e4e28c7a1006e5105f11ae
-MISC ChangeLog 785 SHA256 6c12e4d80b693a8c12bcd227d6471e13faae750f1501f57b996c854e333eda6e SHA512 5b42c6f1096059ac0b90853a23db76bde604e38f585797ebca59d6d5aabbf52b4c02f2dde84aac653865412ca7ed253eb1ceac09216668dd66771adc90110fc4 WHIRLPOOL a332b688c1bd52b7227a3bdff7fbf26a9413155a4d01efaf179cb907551f73a498870aa012e315ea7ab15e3ff8478d6bced99f49972ff91a3f7926ac40dde5df
-MISC metadata.xml 582 SHA256 db7effaadc8fd027461f02a91172c592422036dd3036c5d38fdcd19fcc1a0541 SHA512 c2f991b77024fd768fa6ebf266807ac4f9cf9f40c88ce90ce13ab2a23e95efcfd672f63a72e8aea16ce4f3949f50cdc7256cc9d3dec876d5cb052f4b7f1bb078 WHIRLPOOL 1d6d9731ef358355955fdb8d32e40ca651bcaca9ad4d08b6c5bbe3f28264db122e902f3b06709adf99c63715efb9449df7dd3961bec190b73509ab468600722d
diff --git a/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
index 9fc811b42..978b40bd1 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild
@@ -25,7 +25,7 @@ RDEPEND="${DEPEND}"
src_prepare(){
sed \
-e "s: /usr/share/: \$(DESTDIR)/usr/share/:g" \
- -e "s:cp -f altgr-ergo.opt:mkdir -p \$(DESTDIR)/usr/share/gtksourceview-2.0/language-specs/\n\tcp -f altgr-ergo.opt:g"
+ -e "s:cp -f altgr-ergo.opt:mkdir -p \$(DESTDIR)/usr/share/gtksourceview-2.0/language-specs/\n\tcp -f altgr-ergo.opt:g" \
-i ${S}/Makefile.in || die
}
src_compile(){
@@ -34,6 +34,6 @@ src_compile(){
}
src_install(){
- DESTDIR="${D}" emake install || die "emake install failed"
+ emake install DESTDIR="${D}" || die "emake install failed"
dodoc README.md CHANGES
}
diff --git a/sci-mathematics/apron/apron-0.9.10-r1.ebuild b/sci-mathematics/apron/apron-0.9.10-r1.ebuild
index 6cc45621d..41e9acf26 100644
--- a/sci-mathematics/apron/apron-0.9.10-r1.ebuild
+++ b/sci-mathematics/apron/apron-0.9.10-r1.ebuild
@@ -31,8 +31,8 @@ src_prepare() {
sed -i Makefile.config \
-e "s/FLAGS = \\\/FLAGS += \\\/g" \
-e "s/-O3 -DNDEBUG/-DNDEBUG/g" \
- -e "s/APRON_PREFIX =.*/APRON_PREFIX = \${DESTDIR}\/usr/g" \
- -e "s/MLGMPIDL_PREFIX =.*/MLGMPIDL_PREFIX = \${DESTDIR}\/usr/g"
+ -e "s/APRON_PREFIX =.*/APRON_PREFIX = \$(DESTDIR)\/usr/g" \
+ -e "s/MLGMPIDL_PREFIX =.*/MLGMPIDL_PREFIX = \$(DESTDIR)\/usr/g"
#fix doc building process
sed -i Makefile -e "s/; make html/; make/g"
@@ -42,9 +42,6 @@ src_prepare() {
-e "s/OUTPUT_DIRECTORY = \/.*/OUTPUT_DIRECTORY = .\//g" \
-e "s/STRIP_FROM_PATH = \/.*/STRIP_FROM_PATH = .\//g"
- #fix ppl install for 32 platforms
- sed -i ppl/Makefile -e "s/libap_ppl_caml\*\./libap_ppl\*\./g"
-
if [[ "$(gcc-major-version)" == "4" ]]; then
sed -i -e "s/# HAS_LONG_DOUBLE = 1/HAS_LONG_DOUBLE = 1/g" Makefile.config
fi
@@ -58,7 +55,7 @@ src_compile() {
}
src_install(){
- DESTDIR="${D}" emake install || die "emake install failed"
+ emake install DESTDIR="${D}" || die "emake install failed"
dodoc AUTHORS Changes README
if use doc; then
diff --git a/sci-mathematics/apron/apron-0.9.10.ebuild b/sci-mathematics/apron/apron-0.9.10.ebuild
index f5bb5fc07..90efff0af 100644
--- a/sci-mathematics/apron/apron-0.9.10.ebuild
+++ b/sci-mathematics/apron/apron-0.9.10.ebuild
@@ -34,8 +34,8 @@ src_prepare() {
sed -i Makefile.config \
-e "s/FLAGS = \\\/FLAGS += \\\/g" \
-e "s/-O3 -DNDEBUG/-DNDEBUG/g" \
- -e "s/APRON_PREFIX =.*/APRON_PREFIX = \${DESTDIR}\/usr/g" \
- -e "s/MLGMPIDL_PREFIX =.*/MLGMPIDL_PREFIX = \${DESTDIR}\/usr/g"
+ -e "s/APRON_PREFIX =.*/APRON_PREFIX = \$(DESTDIR)\/usr/g" \
+ -e "s/MLGMPIDL_PREFIX =.*/MLGMPIDL_PREFIX = \$(DESTDIR)\/usr/g"
#fix doc building process
sed -i Makefile -e "s/; make html/; make/g"
@@ -76,7 +76,7 @@ src_compile() {
}
src_install(){
- DESTDIR="${D}" emake install || die "emake install failed"
+ emake install DESTDIR="${D}" || die "emake install failed"
dodoc AUTHORS Changes README
if use doc; then
diff --git a/sci-mathematics/flocq/Manifest b/sci-mathematics/flocq/Manifest
index 0803dc34f..af87e1b3b 100644
--- a/sci-mathematics/flocq/Manifest
+++ b/sci-mathematics/flocq/Manifest
@@ -1,4 +1 @@
DIST flocq-2.3.0.tar.gz 155465 SHA256 b2b2474df966975b7a00310031b122aa31489d96f06b2d5b62156acc687730dd SHA512 964b87f3df3ab76549dace5d8c16c7e7890dc70b64f54db3555023dcd6b32648b19030ad25ecb5b6e99bca5139f289a2ecfd3a1fe8bc1e1dfe7429f3d4f1ebc3 WHIRLPOOL c8b4c3e57e3753d245ae01a2fb93d3dcaef9cabbf21c1afa04568137555dc21d087a7faec6df3d3db2cb497a0985ed3344d7f748f32f9670f640b6cec28fdbc8
-EBUILD flocq-2.3.0.ebuild 813 SHA256 bebfebaa358248c32469c085f65fc08d303942ecdb0139c5726a0fad94e6f0cb SHA512 e395d6962a83922c29e8e44376ad1198b120b96762a0ecc65de818eb0807fafb04745c2883a8e2385064653b51983af3a0f719359f992370fe67592af33a9c4d WHIRLPOOL 2d83e83ede7571f85cbc054d16ad41d69f3cda9a4944da900477224c3556cdc8ef993897d7c4029d316ab2318a9805c6a93ed423a4d225b5f815dc45e07aded1
-MISC ChangeLog 712 SHA256 96327d14652f43095dd9a81dbe0beb9b801a6e4b8f003c98c9aabd74474bfa20 SHA512 6bc59ebc29ea213d45d00b458bffc9caf6042ccef97e4d9ab1a213fc46c410a743a01e508498032317f5a9adcb71d522d93d37ee4792876fb9c032b884a8ab9d WHIRLPOOL b4670f57f44f28368a0bc2cbb46f59d0afca9f9c615dcddb7ddfdf47186b3e85324ea2fa91282ae6bba931446efcbb6104c8a37fabec356e2bae12cbac6238d4
-MISC metadata.xml 445 SHA256 76004bc975506d854122690819b3d3e4c547a6db72338a5cb7a23eea5234b2e0 SHA512 7aa0c8cce270ca8f7dab4418a216ad58fba6c450a27348919cb7d3ea628a50a5c115d0ba3ac277b9efb06cca084632d3db94f7533dd82f3256efd59e759e5462 WHIRLPOOL 99bbe235bb87c57c3fc5df385e54c53783f2f6453099672ee4bc002317e1947dc8668dfae8926e1ba3f58ec2c038b2ad1f1a282efb57d87e64347314152bb847
diff --git a/sci-mathematics/flocq/flocq-2.3.0.ebuild b/sci-mathematics/flocq/flocq-2.3.0.ebuild
index a26aad130..b821ae8f7 100644
--- a/sci-mathematics/flocq/flocq-2.3.0.ebuild
+++ b/sci-mathematics/flocq/flocq-2.3.0.ebuild
@@ -18,8 +18,8 @@ RDEPEND="${DEPEND}"
src_prepare() {
sed -i Remakefile.in \
- -e "s:mkdir -p @libdir@:mkdir -p \$(DESTDIR)@libdir@:g" \
- -e "s:cp \$f @libdir@:cp \$f \$(DESTDIR)@libdir@:g"
+ -e "s:mkdir -p @libdir@:mkdir -p \${DESTDIR}@libdir@:g" \
+ -e "s:cp \$f @libdir@:cp \$f \${DESTDIR}@libdir@:g"
}
src_configure() {
diff --git a/sci-mathematics/frama-c/Manifest b/sci-mathematics/frama-c/Manifest
index e592f2de3..976ea53c8 100644
--- a/sci-mathematics/frama-c/Manifest
+++ b/sci-mathematics/frama-c/Manifest
@@ -1,5 +1 @@
-AUX ocamlgraph185_compat.patch 10397 SHA256 49b231062e23c71535e2ecd451e34852249b4a8fdd07f6db6cb899eada901a0e SHA512 3813119616ce801d391d0ac6000b84244ede25709f7bc09d657e95a76a42220418ef7c3b668252822798f5b8f7b7c5ec32cbccb2109f94aabcc76894ff659921 WHIRLPOOL 99ea959621f81ebdc706ebe0aa061d836d1a8a6b055d1c42677ab64d2ebb018c1c8cc1726802ef671f007125ea5261a28620ea7ff1630d5b6ef7eb5aedc775de
DIST frama-c-Neon-20140301.tar.gz 3122492 SHA256 c5a0606f5c2d56280fd90f979c07ff398acb1e6a661323438b8d0cbd8f9f4731 SHA512 9cfe4c986004b4b991dbd2d7dc31777100bf85910c488d575c670d40d53b3e309667dfee75f22d121a6351f23753ed31decffbee08929ea129daf56f0c9a01e8 WHIRLPOOL 06935a38cc43f7472dd88a96b8fdd3d94f7393caed927b3f1870b8b911bcbdf6006aa325d0e30b6f58eb736dd8ea0102e41632d372f5205801af5c85146b2d4a
-EBUILD frama-c-20140301.ebuild 1506 SHA256 b48cd44402e5f5455cbe0dc8e43bb354257086e94dceee0336270ad913167398 SHA512 040d8481c0fc295047b16646fa6fc194c235c6faa7ee89fec431bcd95b3764dc8704b110d93d16a57aa0a0b8393e43124ced09419769c71a81c290d658cd9224 WHIRLPOOL e4f00e6f6fa2ac720d4f2a33f69255c523b2de6f14e915c7324e2c5e3cb96481da06a03d090e720976d29d9bdcd7cb79eee822b284bedfe8b64ee45775daec61
-MISC ChangeLog 1481 SHA256 ebc856ccdd3de1701d5ea7a9c5a02412b7bb525ba6ebcaffce35ac6f87c53c23 SHA512 848f5f73da2fd83e321c1ac480256266a6d178aea3bf3eb37e11382e56383956dac7c0714a7584ab509ca294245a145d61e0bdf1fc513887ea679a9eccc6fa6a WHIRLPOOL 139833dcde6236d7aaf85071fca73dd6c9463e5bddac130852ccbc535f61360a68ed46e00a576b4f627802b11d426226749d0e105d5972ae32a3af44faaa0a2c
-MISC metadata.xml 648 SHA256 05c2ffb2a0e01eaedf01c8e32ab3dc5c1811305642b24811d5542280f3970a4f SHA512 40557bf2c1f9dbb26f47ccf04359269f2e45740430c914819f5a8133b4ede626af12e1dc9756eb31c6907efc2e619e694908a97519bbe96f5adac1c01912f72a WHIRLPOOL 9efde40d85a42ca87c782a03c5b0f840a9adee877fc93b3a553ab718698df43a2162c501bd53a99ae2316b3c31a9efbb42958ffef653b70f3c82adcf02b75ebd
diff --git a/sci-mathematics/frama-c/frama-c-20140301.ebuild b/sci-mathematics/frama-c/frama-c-20140301.ebuild
index 02ad2c88d..b90429742 100644
--- a/sci-mathematics/frama-c/frama-c-20140301.ebuild
+++ b/sci-mathematics/frama-c/frama-c-20140301.ebuild
@@ -50,7 +50,7 @@ src_compile(){
# dependencies can not be processed in parallel,
# this is the intended behavior.
emake -j1 depend || die "emake depend failed"
- DESTDIR="/" emake all top || die "emake failed"
+ emake all top DESTDIR="/" || die "emake failed"
if use doc; then
emake -j1 doc doc-tgz
@@ -59,7 +59,7 @@ src_compile(){
}
src_install(){
- DESTDIR="${D}" emake install || die "emake install failed"
+ emake install DESTDIR="${D}" || die "emake install failed"
dodoc Changelog
if use doc; then
diff --git a/sci-mathematics/gappa/Manifest b/sci-mathematics/gappa/Manifest
index 83080fb7c..4a0eb3f0a 100644
--- a/sci-mathematics/gappa/Manifest
+++ b/sci-mathematics/gappa/Manifest
@@ -1,4 +1 @@
DIST gappa-1.1.1.tar.gz 399606 SHA256 b03023d45d246d49fe57b0489cd3b11415b0cbf5aa96e03398d8f5c15284125c SHA512 95b01733554585729d73078522720f0c318f6e86eec02b869717e591bd1477a663c8f71d6c9362f8d5ec83d0a856be5771a27add426d8ac0eca429c4ded01a0e WHIRLPOOL e49860c5832a017a3eb0e8b8a607b56c947f6ce7c1c40c94187f5cfd2c35fd49ef293338b410a6f66ee7b711b0caf3b35d15d99d517a7e5f4c684ec6ca72d466
-EBUILD gappa-1.1.1.ebuild 976 SHA256 71d5b4deb8f44bc2e7c17a54a71b17b2669dc7693b02f8ea486fabc2933db1f8 SHA512 624e6f57225fec97d090ac7b75118f2755bdfa246c0fd8b96164923bfbb7882de4eab96774aed72233f9966cee4c91258c6dae851d5fb2c4f731c74bc2983ed2 WHIRLPOOL 8b85abfdf7cc3d5b46e8cc0ad9071191ba81d2b803a3d3091bf30d8f82ffd1c1ad6d90dba8d955a35c8f1616773233ac389d6786677b2e3b279d0996815505cf
-MISC ChangeLog 1281 SHA256 f6c28acd5f5f45ede418d04486eae53d580ac849d35dd9b9710dcce85b22640a SHA512 459f4027173a9af2d1d84a8002bb7c9100b398c91da0f63fbce59be4a2060dd0b839fbf3f2dbfdfbea699bcb2b7c5340fdcfa7bc790044d5dd87bb4fec4ea37e WHIRLPOOL 0656e25eb1ede5764ebd48cf63cea2433b1495752381a482b30becc0d6fb786b8ba14625801f08e071e41819db92aa0dbc7b7779c2e084f98c16f8fa6304955d
-MISC metadata.xml 490 SHA256 0173cf09b7d6a481ce8fde3d4b8d1e56fdd0dc3d2d95e7804cab889043e444fa SHA512 8ea89f502a41f52b332fdd34f973ff6ef0dcd3bdd5da23740fcad179570b1dd7456f5582e714c9c0b93d436c8dd75a6cb304c69724771d209a3930e0a5684831 WHIRLPOOL a9ec88247b0b3c7f4a30909f2471d5d69f104950fae03edbd6fa3d25e3b36974c3248ed39efde50492bc7af86ccc0697f18f4b118d223f385348782ce88a8a13
diff --git a/sci-mathematics/gappalib-coq/Manifest b/sci-mathematics/gappalib-coq/Manifest
index 70bf48f30..215e90cb6 100644
--- a/sci-mathematics/gappalib-coq/Manifest
+++ b/sci-mathematics/gappalib-coq/Manifest
@@ -1,4 +1 @@
DIST gappalib-coq-1.0.0.tar.gz 118901 SHA256 3c7923b9f3bc9f43225f81e55540441abe76b776d3ca8d34b7898124523d91fb SHA512 1aed7eafc24d82fbb3431e267ae0882560b34864f443fa95b450f465fe571cae558bc0ddf31db96477092518dd20a9870a9f8360ad8a0b3967d6f912c2bd0b67 WHIRLPOOL 61227031eca402aca53ad20d34c74ea51dd4f42b79896e4898f233ee352be5848c087ff34b627ae6bbfbaf433c91fa131b37893bd89a70c97e44aa4c31e3033a
-EBUILD gappalib-coq-1.0.0.ebuild 842 SHA256 70f2cd0cf3a2fba81115a6a521be0f8bf6e3c4d9bfb9364b35f093a1fc06c662 SHA512 36bc30ad045d2dac61ce97311aaa80cd0499b644b2f359f3c1904c2f420ad620f6c7608fec91eec5f112b90b3cb1a59ae679ec73f15686fa987daede1ca9c39e WHIRLPOOL 5905543c14dedddd306458383204424e20f8055df3dee9c80ca4f019b3564bdf8fb8561e9e8768987f294444fc00666bccb196d8330b2b9294a0d5b0e3edb0a5
-MISC ChangeLog 1138 SHA256 52a8807833fe0245f555f3dfcfc34590e6078378965a30de80b8be03dd143da7 SHA512 c158b0c6a1d9dc169e8e4fad26d042675020f5e66ab65d11d1491e6eeabd70fd2859cda63c85a07d2a1d67455de9b84b7b0c5b1bcd7ef523c73ecfdfdc4c16e4 WHIRLPOOL 1c865f0ddf8c242d20e1e12d0601f98765dda58309dc6f908f36a5bbf63e70af6772ec847d0258243ed5a90460a736cf0b50628dddde957943e1fd813193849c
-MISC metadata.xml 391 SHA256 e620622efa1a97573ca6acf6b6850c2fb8343a9cd3e176a5bbe4d4359a737e43 SHA512 be73357b6239636b5937fb58dc7d5735b3d87fbd41f696643a7e2975c706c30e4184654268e4ca68e498eb50995d627a3bf17e1b71fa0781f472d8456e386da2 WHIRLPOOL 2e94403f6439e6673062a1fab0e9a1c0038ab9adc9761738fb8fdc8b9ee03de46e958ec3a1e4c2bac0e4965014d36fa21535f826aaa402dbdd9be79e1d3c7b62
diff --git a/sci-mathematics/giac/Manifest b/sci-mathematics/giac/Manifest
index 0555523f2..e523daca1 100644
--- a/sci-mathematics/giac/Manifest
+++ b/sci-mathematics/giac/Manifest
@@ -1,4 +1 @@
DIST giac-1.1.0.tar.bz2 43295079 SHA256 8d4f96a577d526caa201d8311f462828b92eead2938b00e563b208b4e255a340 SHA512 2b34c7913a6a24aa770094bc839c01f7f3d16689ed9673d56b72ce39d07004e20218e039c85fb15e9f39f5f9e6993e6cfff62e755997f1107cddf7e601658434 WHIRLPOOL ca761a1f2bd6ad88655a079a29f54344d101542ba7a0c09fe7d8e0077e36ab06235341210a7b2a0ef98d09d416756be2725b9cc7be676957eaa199a67d67e375
-EBUILD giac-1.1.0.ebuild 1584 SHA256 3f6e83335d17450daa946c8fce064f3665a1a8f323d497000fb779c72fa86783 SHA512 08448895b4516b45d36d4f00660b7e5db0bcbff7aa3d54d1f6dfbffd958ff70c5a0861a3e0a954815627821308bd874f95c095aff989d63c30336cce945909e2 WHIRLPOOL 8b1a7d95b2cf471866cd10b25678c9062e00d9263f2b890c32c7748c945fb790b37daca944de565dac03e8ca08bd3b3219348506f9de0f17b468d84099df6968
-MISC ChangeLog 575 SHA256 4d53d5e54802add14b5b345e50f4051f5e933065ebe5a73848eab8e797b3c50a SHA512 bc959aaac0f3bbf2da3bfff78f26fc296e6516e75f09e9609a930ee6579331ed3adb2481c5a988b3df79d7227db48ed9e44b81735305773db310d2b6fba3d272 WHIRLPOOL bff8f1ac917c96548719d05e9a0bc8336aeda0d4a28e5346f92a6d4fb8e7a5d96ad2b6ee1e0d5ccd1fcacbc31b1a6e03305499529561ce08920bc3763828b374
-MISC metadata.xml 560 SHA256 4ba9774ad18672ee878b17322024b055be1dda24a28b14ad16d8716fc7922bd5 SHA512 eaa7f5fe1c0c37fe75bda2fb15783d919ea1be438c4225c83b5bf39d7ce3b52d16cecf478eff459c8958da28c7b45fc33389bf1b529ac2d425c764ca09e200b5 WHIRLPOOL b3e8b82a948e6f1429e9e746861d8208d692de03bda97d6218f3e84836c672757dd1e1805bf58987632fbdcb01df10958705d56d7c3b4bf5c3cc4ad643f138e2
diff --git a/sci-mathematics/giac/giac-1.1.0.ebuild b/sci-mathematics/giac/giac-1.1.0.ebuild
index d48ef0490..4b2232ca9 100644
--- a/sci-mathematics/giac/giac-1.1.0.ebuild
+++ b/sci-mathematics/giac/giac-1.1.0.ebuild
@@ -33,7 +33,7 @@ src_prepare(){
}
src_install() {
- DESTDIR="${D}" emake install || die "emake install failed"
+ emake install DESTDIR="${D}" || die "emake install failed"
mv ${D}/usr/bin/{aide,giac-help}
rm ${D}/usr/bin/*cas_help
dodoc AUTHORS ChangeLog COPYING INSTALL NEWS README TROUBLES
diff --git a/sci-mathematics/ltl2ba/Manifest b/sci-mathematics/ltl2ba/Manifest
index ea188a5d9..af7aa7ded 100644
--- a/sci-mathematics/ltl2ba/Manifest
+++ b/sci-mathematics/ltl2ba/Manifest
@@ -1,4 +1 @@
-DIST ltl2ba-1.1.tar.gz 29629 SHA256 a66bf05bc3fd030f19fd0114623d263870d864793b1b0a2ccf6ab6a40e7be09b
-EBUILD ltl2ba-1.1.ebuild 605 SHA256 b962746e4ce12dff7beeda0e2eab86b4ae1c5b88e992480894c942bfab5d6fce SHA512 8853f708cf8edc760f560795f28c391b39913458edf71822eec5d88bda8daca1f0dee4f3e9fe8b710b90e3c483f44ff7a31a1a9b2a8bcfabf4d17fcc5081382b WHIRLPOOL 4a9e8c43cd0cb3c59277a4038a0335489d5cfeefc70f0fd2be6c8ab5e08bf3bb1d00114a5698baf958a458aff5c834a3c19784605d8b1d6ba306b4d26f26e63d
-MISC ChangeLog 244 SHA256 8c2728eab50fd614e4fa10da7e8a571d363594a89741f9f029b32e89c6134849 SHA512 4b896c379a4a22fb897b28c41db4e14db5ff6917fd3411b40e79e34b3e4d578b8bdb9fe86bed54d856f10cee1b93bff4d91196da61e588dc5e67a01725e85063 WHIRLPOOL 9d5f2a28da5b290ceb1e5c0f421abb8b2431c57e5b3b505b3f8120f3a8a2591cbd40e2d90a1a271def02959e2b9c7d1492429bc912e102cddc34de4d4bbc8d5b
-MISC metadata.xml 156 SHA256 5d22100902db7507a5b5493dd4a66cdb08025faf80a2c0b75e6392315c47f900 SHA512 5b6997cd90fe19a83f6bdf44de540ea3818a23fdc28fb2a7c1f55746689ebaa2d4b63eba0386da5198def1cb2a8ae1e5d5d4040c43b0fc31237b864ed1400743 WHIRLPOOL c42eafa29279646750c35aac52967303f347b02b61133918480ba236d599dac68bc0ea000d037f69a3398939678fdeecef656801d783e547f14ea76b04ef2863
+DIST ltl2ba-1.1.tar.gz 29629 SHA256 a66bf05bc3fd030f19fd0114623d263870d864793b1b0a2ccf6ab6a40e7be09b SHA512 8d010e2bb59fa5d682a56a50133865da938fd3bfcde6386184880eec6989bc1b694d6af9146b4b708cefdcdbcf98248f87074b8c973ea8cab65d658b394ccf69 WHIRLPOOL bf9dae5be2298fa2f79b93f5e84d7a3ce618070198aaa1a851a2517fbe24d61b95776713b1b20814911511819909bdacd3e3eb72ec3c37bc223bac44257676c8
diff --git a/sci-mathematics/pff/Manifest b/sci-mathematics/pff/Manifest
index 0da3eda56..eabef8165 100644
--- a/sci-mathematics/pff/Manifest
+++ b/sci-mathematics/pff/Manifest
@@ -1,4 +1 @@
DIST Float8.4.tgz 352313 SHA256 3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c SHA512 4e53aad0a59d6875f071584a34b91029a51e8d797e2f5c1a51c772973b241ebda093463532653dbc54245bd03b2414d648648670c6658547c908403cbe6d1275 WHIRLPOOL 2bfe679b50a5ccb6aec88403a85766b774a416c56d94dd640d00577a35d2d3a06b7d91795285ba0e57c17f6bdcc19d71ffa2a7ab5f796b4e2e2366c195f557b5
-EBUILD pff-8.4.ebuild 819 SHA256 6ea5e7840b0b9724e5d41185752c4644f3daaa0790738f036146e0d977d30258 SHA512 254aa7efab42b384e7bb933240a1e84196747d228402c2548f22cb896755ced1d1b6a383e9c55fdaec0922c70aa65271b40ea038b89883eeaff3cea0dba5575f WHIRLPOOL 3ddb87266d94e52b5ffa30fe13a3099528e721a909a3b02146f6bc76c2bea0553a5c4a51102aa5eeaa1dcfed413e32095819fe187176c5f3b4a3d1ab03b481d2
-MISC ChangeLog 697 SHA256 956e10e388eab56c849982e3568482c2595d450f2387526c331e017b7e98b73a SHA512 4a5ec178b462378dd0b12039c0da235d608b503c18c3a19e85a2345fdb28fd93093ceca78c4f41cdfaba480065559ff6decdfca47cdad524f79c72aa563e4201 WHIRLPOOL fff1c96482797faba526530868637f040544c708cd7123596b729eaf615f4bdf061d449a2f5c35828efcd51327758f12737be5f57098b8b1ebe1c774263906fa
-MISC metadata.xml 446 SHA256 498e3bb73c3d3b86bf3627e7c5df70fb451be78a4015c04d91e67f9a96a33202 SHA512 2933eb0927d382bf4975cef2e4f3b996d4cb68b9359140f0de44acf23abd4d8c1549bd54df72cbe4417c26089547a5b8731f245b44594d6f84f2a11fa6158dd6 WHIRLPOOL cfdf63abd8bcdd2add16bbf891d2fc901f9a39ee64b9bd92eace569c5bd9803de5c98dc00fa94ac75deeca930fb085f4db21e75ee6b69fd3635cd222759b9c76
diff --git a/sci-mathematics/why/Manifest b/sci-mathematics/why/Manifest
index ca81d46cb..f1da6fe5d 100644
--- a/sci-mathematics/why/Manifest
+++ b/sci-mathematics/why/Manifest
@@ -1,5 +1 @@
-AUX why-flocq23.patch 488 SHA256 3165cadaeeacd74f84f543d731f3823cf4d5b9c66235792754b38fca1dec57c2 SHA512 7cb3797b78cf7ed47953eead8bf0bca4ac202e5f1f060c74810fea7d72ebaf9d182400f88a8b1a6f4db813bd5d7c37315bb8596e210c91d6ac7c11f6126ec689 WHIRLPOOL 5a3bcbd255d46dc9c091c36c7dbfdf85e261d82da1d97db133af5c50c2c5c68b1fb46a19d49913573c5b35c8e1aefa05df5b2ed033a88f2c2b57308da7c1cc76
DIST why-2.34.tar.gz 4019877 SHA256 4f861757c13cb7dd4ba8c0c640f04115be147d2d4ca8a55035048e9d305c658c SHA512 e4abf6573cff52fcfe5c6b867ec15f6f65a88c9892143681b74e3a35caa870acdf04fdda6fc67790af608975bb688c6ec14fc12f2e44b319abdd262ac59384a7 WHIRLPOOL 1d3383241647b5e676f4476898fb9c5580c27a3dbd43cd29b3e9ee4460b11610d9b321deb92c5921f4499fba325da17d8c329f3e58edf9389e93b03f2e83af98
-EBUILD why-2.34.ebuild 1491 SHA256 9b42b76bb90d38e6cceb385dba694c984161893fd7f932b5b86d300b5becec0f SHA512 dc1d61ea3c3e296289d0b21e13550adc58bd3914bdb6431d311c3acbd33362abbfab208a7554460e514e9d0a6be0c32cd07429fa1be333118544634f690d9945 WHIRLPOOL c393d6df74700607f5914b51895bc98afd9fcfa3163bc27d6ad85558032e7e85e6b488badf87860f726a433c8c04d05917a5ed7af63d479e959133f7498b40c9
-MISC ChangeLog 1249 SHA256 a03ad367e4728e70dc75f7e4cd75935d2677bb220584550e41708c13660ab5e5 SHA512 209e551b1403030b7fb694fbc5fc24f19138156ef7a52a073b936b79d948ac5aaa9146a2e2a30829f5bc5ff88eb0db17a5ca9a78d68e65c2de6a527443eb9386 WHIRLPOOL 05b7ce33f4b68db8d2fb1f90145b549536ada90bd8de0eaee9d693f2f92602a39871939f1c4e8abce93dba5b4262bc794be13e8aa8d4f480245a5b4e174b8ea7
-MISC metadata.xml 550 SHA256 42a08184f357da606ed4a161922d817a3b09cb55fd11285e5104d39145ee2fb6 SHA512 a3fc054a4ee64a4b3eb7f331ce3f2e8d86d077ec482350e5294d68a4f4809a63d17cdf43bf8074435ca350846ded500e14785669e588e7317fad9d3aa715b701 WHIRLPOOL ec8d65464fb8bbb0ce38911d084c78261f0c943accc4bde0cda9c18417590f86d1ac81dc4e4a311c8ed383e82090cf97785059ad7e6e1fd7cfcc3b86c6eeceb8
diff --git a/sci-mathematics/why/why-2.34.ebuild b/sci-mathematics/why/why-2.34.ebuild
index 813aa2064..99372cd82 100644
--- a/sci-mathematics/why/why-2.34.ebuild
+++ b/sci-mathematics/why/why-2.34.ebuild
@@ -13,16 +13,17 @@ SRC_URI="http://why.lri.fr/download/${P}.tar.gz"
LICENSE="GPL-2"
SLOT="0"
KEYWORDS="~amd64 ~x86"
-IUSE="apron coq doc examples gappa frama-c gtk pff why3"
+IUSE="apron coq doc examples float gappa frama-c gtk pff why3"
DEPEND=">=dev-lang/ocaml-3.12.1
- >=dev-ml/ocamlgraph-1.2
+ >=dev-ml/ocamlgraph-1.5
gtk? ( >=dev-ml/lablgtk-2.14 )
apron? ( sci-mathematics/apron )
coq? ( sci-mathematics/coq )
gappa? ( sci-mathematics/gappalib-coq )
pff? ( sci-mathematics/pff )
frama-c? ( >=sci-mathematics/frama-c-20140301 )
+ float? ( sci-mathematics/flocq )
why3? ( sci-mathematics/why3 )"
RDEPEND="${DEPEND}"
@@ -47,11 +48,11 @@ src_configure() {
}
src_compile(){
- DESTDIR="/" emake -j1 || die "emake failed"
+ emake -j1 DESTDIR="/" || die "emake failed"
}
src_install(){
- DESTDIR="${D}" emake install || die "emake install failed"
+ emake install DESTDIR="${D}" || die "emake install failed"
dodoc CHANGES README Version
doman doc/why.1
diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest
index b1e03581f..4aa902a74 100644
--- a/sci-mathematics/why3/Manifest
+++ b/sci-mathematics/why3/Manifest
@@ -1,4 +1 @@
DIST why3-0.83.tar.gz 5347628 SHA256 cabf67e939e3422e491ef596f1a09ceaf1615642904182097cebde90e42e9ac9 SHA512 e1c4d462986835aa0e9a1ca117e4c3bbaf307b45b6de03da6ea8dd706770b8d9894031ea22ec732dfa7340d613b023ab499837203a132db5f138e51596e64177 WHIRLPOOL 4e1a6fb8462144ec5726f461a6548b5fdaeb2338557ec84cefa7a6eed5594c35908e7ccc337a93aaa704283f88874f5cb3ca1f9dbe2355266af163f27e81cf7e
-EBUILD why3-0.83.ebuild 1325 SHA256 f693f22dad75ce703c26c6f5856e90a88fda439a7a4a139336bc0ce4cda1aeee SHA512 5470b7f801648efee3c013a3da6770027652eb07d3a710ae20776a80b84869ac20d72eece1705a9a5fdfbe35126bf75468e1d6a8ef6ccabc2ba900b2ad0b27fb WHIRLPOOL 1d3d4c385a09a7fbd233d66125d4fead2bbc322347c88b4fbf3ddf9de402f6112a5bd54be8cd437eb5e05f807b3788cc9851d72b8461114f54f52f4a6c307a46
-MISC ChangeLog 248 SHA256 75e04e1c01a3bab95d3aea02729451bc72450b4a357e3cd7da5e250766dc4181 SHA512 59d5309b1fbc0e829ebe13318c221964cb97e6083ddb5c87acbcbe720882305911cd1f8187aa389b1394892edc0718370c4326cf889ed3144eb89e6d31259f24 WHIRLPOOL 743c17f5170e887142722dc269b465563ad496629dd35985870dfe25d94b41ecc18557d0a56ac55076b4c546c80e2fef3def54c9ce6f06fecda09bd03d37c89f
-MISC metadata.xml 896 SHA256 f33c0d39649c03f0319f70f8ee57949ebd55c64e23c0d890cbafcd6f298f7cbf SHA512 e90fa0d593e24051de6c92ad365ce0457e807d1a1fdc4303b20236f12f5a3cf558cfcd01090ae054e233bd7005e9c78842dbe9a6c4fc90c6c49f20068e78565a WHIRLPOOL fba0d374db71261ec78f5cd3fe5389e3128cfb9bc7356d4b565f64f038fce65a58237ce411f1ba743bdedbf67300552195230ea0952a7e09cb0547625be3ef03
diff --git a/sci-mathematics/why3/why3-0.83.ebuild b/sci-mathematics/why3/why3-0.83.ebuild
index 30615b5f8..0f92282b5 100644
--- a/sci-mathematics/why3/why3-0.83.ebuild
+++ b/sci-mathematics/why3/why3-0.83.ebuild
@@ -13,18 +13,19 @@ SRC_URI="https://gforge.inria.fr/frs/download.php/33490/${P}.tar.gz"
LICENSE="LGPL-2"
SLOT="0"
KEYWORDS="~amd64 ~x86"
-IUSE="frama-c doc examples"
+IUSE="float frama-c doc examples"
DEPEND=">=dev-lang/ocaml-3.12.1
dev-ml/zarith
sci-mathematics/coq
frama-c? ( >=sci-mathematics/frama-c-20140301 )
+ float? ( sci-mathematics/flocq )
doc? ( dev-tex/rubber )"
RDEPEND="${DEPEND}"
src_prepare() {
mv doc/why.1 doc/why3.1
- sed -i configure.in -e "s/\"pvs\"/\"sri-pvs\"/g"
+ sed -i configure.in -e "s/\"pvs\"/\"sri-pvs\"/g"
sed -i configure -e "s/\"pvs\"/\"sri-pvs\"/g"
sed -i Makefile.in -e "s:DESTDIR =::g" \
-e "s:\$(RUBBER) --warn all --pdf manual.tex:makeindex manual.tex; \$(RUBBER) --warn all --pdf manual.tex; cd ..:g"
@@ -42,7 +43,7 @@ src_compile() {
}
src_install(){
- DESTDIR="${D}" emake install || die "emake install failed"
+ emake install DESTDIR="${D}" || die "emake install failed"
dodoc CHANGES README Version
doman doc/why3.1
if use doc; then