From d73696e54434ec08a75603613fb1ece24718127f Mon Sep 17 00:00:00 2001 From: Jonathan-Christofer Demay Date: Sat, 19 Jul 2014 00:38:01 +0200 Subject: Several DESTDIR fixes --- dev-libs/simclist/Manifest | 3 --- dev-ml/mlgmpidl/Manifest | 4 ---- dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild | 4 ++-- dev-ml/ocamlgraph/Manifest | 4 ---- dev-ml/ocamlgraph/ocamlgraph-1.8.5.ebuild | 4 ++-- dev-ml/zarith/Manifest | 3 --- sci-mathematics/alt-ergo/Manifest | 3 --- sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild | 4 ++-- sci-mathematics/apron/apron-0.9.10-r1.ebuild | 9 +++------ sci-mathematics/apron/apron-0.9.10.ebuild | 6 +++--- sci-mathematics/flocq/Manifest | 3 --- sci-mathematics/flocq/flocq-2.3.0.ebuild | 4 ++-- sci-mathematics/frama-c/Manifest | 4 ---- sci-mathematics/frama-c/frama-c-20140301.ebuild | 4 ++-- sci-mathematics/gappa/Manifest | 3 --- sci-mathematics/gappalib-coq/Manifest | 3 --- sci-mathematics/giac/Manifest | 3 --- sci-mathematics/giac/giac-1.1.0.ebuild | 2 +- sci-mathematics/ltl2ba/Manifest | 5 +---- sci-mathematics/pff/Manifest | 3 --- sci-mathematics/why/Manifest | 4 ---- sci-mathematics/why/why-2.34.ebuild | 9 +++++---- sci-mathematics/why3/Manifest | 3 --- sci-mathematics/why3/why3-0.83.ebuild | 7 ++++--- 24 files changed, 27 insertions(+), 74 deletions(-) diff --git a/dev-libs/simclist/Manifest b/dev-libs/simclist/Manifest index 63808e208..2ff328fc9 100644 --- a/dev-libs/simclist/Manifest +++ b/dev-libs/simclist/Manifest @@ -1,4 +1 @@ DIST simclist-1.6.tar.bz2 44280 SHA256 63b47211215466ddfba1643582cb3aaa7b5e9ca1cc5f247290e3199c4e29f147 SHA512 b221b583993470c35d42dbc145af8bce2992c0e717e15f201ed1fe0a1aa3f0d676bb3258930987d85e3080eb27d9c89c4b08f27bd4e56031fd02fbab32e52615 WHIRLPOOL 9b31847ef2cba06f6364dd2ecc486f1dd02727ee7128d88cf3b7a3fe25f10df9a5c31ea2a386e2fa967a2b0c484ea55909c4d73bae390fcc972abce78d46ecdb -EBUILD simclist-1.6.ebuild 814 SHA256 4138b25957e1c082c78839caa703d9041fdae98d256c450dab37353931f61ca9 SHA512 a219aaf743fdeda279c4c44e3eab66506aa292e0aa49f9a20ab022d3a062c54bd375dc27bd25f316b6970a0bb1df1b6fd51503a4d46e2f49270c47bd5540f701 WHIRLPOOL 9ef4b8e2b55e8016b1ac0bdf976ad4d22f88ccb6079123a68a8037d4dc30b2338e832e11116eba6ee9837b3c548e68e0643c48abcbf44380a82867b21c6be12a -MISC ChangeLog 599 SHA256 aa1ef92eac7b1c44e251691bddbca45fbe6d938b332e268a1389d7866dff4463 SHA512 452658e17bb276b9c80c9ef051111248529daeaf0be9bd7a5712acb4c89d1046f4f72b5d9a9beedea10f18887eec6f9de2e30684778741f7c25cf47e8274b85d WHIRLPOOL c3265ac6af1e707555a5898e8592808bd006dfd5a9068a05de26bb6893473b38fb0998808890a77de7890fbeae66b256185cd9b6f0f80175d565cfbea6c5d9a1 -MISC metadata.xml 471 SHA256 156118d32317b16f8ed73d0e84d223dbae6a0180949e4d2f0dd236163be63c66 SHA512 626bf6edb2cf372549d3e54aee71b02c4d9dda164bf84a957aadde3a7386307f44f418831fa313d67fd4046aceffacf73f103317dcc688efc3cbd4fa537bb4cb WHIRLPOOL 89217acdcf992dd31b05055491cc3913b3b460d9d46cf4079f1f630648c8207c28abc64fdf653059844c74c3f0ffdccb6fd4ff0a33eeceea4df75b7d5b54109e diff --git a/dev-ml/mlgmpidl/Manifest b/dev-ml/mlgmpidl/Manifest index 7d12e5980..382ae5931 100644 --- a/dev-ml/mlgmpidl/Manifest +++ b/dev-ml/mlgmpidl/Manifest @@ -1,5 +1 @@ -AUX mlgmpidl-1.1-mpfr-3_compat.patch 496 SHA256 d888a1ad0930895ef2ec83bef6eef5a39ed18a38aa3a637f33b61b9a20d19e2b SHA512 b4979e4dbf1cc5aa1fba5ffb08557c6c32d16e4d2c3ae1fc14d999e52231efb344524e1dc2d6612021a0b4dba4b5f6d1394316abff4698f58d5decc3ff417cbf WHIRLPOOL a3f1c218c2de8413042f56f1de2a6257a895a44edd16daa0e301a20426da0c0275685e440d039d8db39b79853617c54b68002c4d5dd2b63a9d22a9341d987a7d DIST mlgmpidl-1.1.tgz 194002 SHA256 8990a56f4c1ff701bb922bacf7f23b40539d123216ac5f9fe0f35967735d6fc9 SHA512 f7fe74e0e337c2ea33464c49bc1313a3c6a71fee89572d4c23dc26913d8fe1fb41907bfe327d085c39786b63267174be4445b31a5d29acf3e57974ac8b871d2e WHIRLPOOL f4b640f56d5654495c6dec46e8b395dbc86a95ff15a05eb47a07146c07fda956acdd05023ac59636f951ca77d84864b11c14755fe4bb49be3d5ebeb0216f5212 -EBUILD mlgmpidl-1.1.ebuild 1311 SHA256 5b9a199ae39054e96a19aa52a43a56b116a55045536f961779716d008d38570a SHA512 f73268cde4ffcd8610a0052e183b4e1652c8185148e517c8967e62a088dca71901e4b34b404fe5ee5bf4cbee1ce908f2a5fd6f5b9fc70e341130cf5a178a719d WHIRLPOOL 6730b81bdd9dcf99c7c34691174c3f05ae1a99c1f46429a7795c226c3b9ea324cb7ebdb8f386c37c2498a7ba5a6adc01e741da9d9374e954f85b34ec67257502 -MISC ChangeLog 394 SHA256 ec34f25ee458e0ce79b7209a31cfbb9e40975cc3e22e7b97fc9fc57372c9a549 SHA512 eafca747c958cb036ae7dfbd068d8be9c6db76342d42d458c886fc8dc1677d6b5d9bb758da7e138bc89c87816a58ddc50eabf115b5b9a41dfdca8ff3d5bd73eb WHIRLPOOL da7983220947c85972e778061bff3b0612a2de7a39a343a88ef204a6235050b32b8b3a791f485ba187b819f97adb88811c7437cc47096b5f723644ffabd3364b -MISC metadata.xml 511 SHA256 78b63974bacd0a10445c1bae284a8e6f4c06b814588108f4f8ac0328526a5532 SHA512 7c80f39526b8c137d4bfe1cb3ee8077d9d5a2b5ea9e6b76209433ace60b1a4b9190b38a4442b1ba3e6622fa92320cf47e32c17ba0329ccfb98b86ddec13c0dd1 WHIRLPOOL 793a5fe5f3a639cef7addf469b7e8a91cbb4a21a67081182eb1ecdfdebdaecad719deb49f55d5463b9571e6a0c6c6983d72c8f9b92d35f52d131e54d2510cbfb diff --git a/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild b/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild index 3063fdf37..10d51bde2 100644 --- a/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild +++ b/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild @@ -31,7 +31,7 @@ src_prepare() { sed -i Makefile.config \ -e "s/FLAGS = \\\/FLAGS += \\\/g" \ -e "s/-O3 -UNDEBUG/-DUDEBUG/g" \ - -e "s/MLGMPIDL_PREFIX = /MLGMPIDL_PREFIX = \${DESTDIR}\/usr/g" + -e "s/MLGMPIDL_PREFIX = /MLGMPIDL_PREFIX = \$(DESTDIR)\/usr/g" if use !mpfr; then sed -i -e "s/HAS_MPFR=1/#HAS_MPFR=0/g" Makefile.config @@ -49,7 +49,7 @@ src_compile() { } src_install(){ - DESTDIR="${D}" emake install || die "emake install failed" + emake install DESTDIR="${D}" || die "emake install failed" dodoc README if use doc; then diff --git a/dev-ml/ocamlgraph/Manifest b/dev-ml/ocamlgraph/Manifest index 4d282fcb3..1b98a288d 100644 --- a/dev-ml/ocamlgraph/Manifest +++ b/dev-ml/ocamlgraph/Manifest @@ -1,5 +1 @@ -AUX ocamlgraph-makefile.patch 1564 SHA256 c36612f740033a3d158f5d2a458697b1a41dacf2d1964484c1fd0c0f39fd276b SHA512 a0251220741069e729ffebdf7d9f2b3f02119dec48c09321cc9cbc8b82286d4081ccd89dbe5c1fe634ea415aa5e48d162f522ce6509812847dba2909c7572adb WHIRLPOOL 56765554649d5e5d38016ad22183b7b0d46c3780beeffb7f79d46c30e33967a3fd5f8ed92335dd8b5dd727743d25d8975c52d839817e276d13f595b25b7d82f4 DIST ocamlgraph-1.8.5.tar.gz 269438 SHA256 d167466435a155c779d5ec25b2db83ad851feb42ebc37dca8ffa345ddaefb82f SHA512 e3bf7f43f7b5167cbd23ea44a510d1a569d35771882ab7ae83bacc73822c5f4c944f62c95e0efa813b765e1e385a6b3ebff342cbf1c5589c73d022b8591a52dc WHIRLPOOL d25e124c2814e3196a441e706ca91a0429ab48669309c5dec2ae6697e48064ce54efc9d24440d9e52f3a1af8cfdd5c3ae04cd549fde4e9abc860a3506bd2de8d -EBUILD ocamlgraph-1.8.5.ebuild 1086 SHA256 3e191b1c74ea13e98aaa929df0b5479be4cb56a417c393140c1ad2a867412742 SHA512 69e7460f9e516c65f52eb9e8948a64baf9c9e6f18f9f4bc66ef08030142925febd728563ab8d3466bb2bb0bf10f894dff77f4879dde717fa2441429f5aa0cfb1 WHIRLPOOL 864a2bc22239f72cbd996e4857a9663b076da64bfe88275e8b75344fd240bda34ed22a1d0601bfc0c8455b4dc3d0271b5728214e16507f9cfc7fdd8d6fe029ef -MISC ChangeLog 1387 SHA256 9060320c8db4044c211893d84654862189015081f1c5ccf8b46d3652aa1e4c1b SHA512 3d1324f8901970edd96846d1284a3c42c60572c7559cff07105acca29c52ef1277bddd6bf53d62a1d6e66daa633b1f0ca64b03f83b6225805ca8d7a0749bbf80 WHIRLPOOL 698c08349275aa77848d3dce9f296c434a920948fb762870888f6472c67a60245c9807d53396e7f1917369f40420904e936757ec080a6458a0bf103d4af0026a -MISC metadata.xml 1333 SHA256 82d3c80dcba8ffb14abc03224090efebde80d91f4d76a4b39d876ee6f23a74dc SHA512 ea92efe856cb03778ab6985bd456b22ba588cb773e06cbc079d3566d93bf9c7260ed64a14cab4f69c6ad5e04d05807743b73cdefe08ec02a3822ff69f62de684 WHIRLPOOL d4b2b38fc0a63edfb690e22fdcbc0156cb32e34a2086f4b994d870acb3d763d511acb2d752c3dfb133e45acec3a682a2e8a6521fd54ad90341ecadd4f057ce18 diff --git a/dev-ml/ocamlgraph/ocamlgraph-1.8.5.ebuild b/dev-ml/ocamlgraph/ocamlgraph-1.8.5.ebuild index 2a653f2dc..c28be862b 100644 --- a/dev-ml/ocamlgraph/ocamlgraph-1.8.5.ebuild +++ b/dev-ml/ocamlgraph/ocamlgraph-1.8.5.ebuild @@ -29,7 +29,7 @@ src_prepare() { } src_compile() { - DESTDIR="/" emake -j1 || die "emake failed" + emake -j1 DESTDIR="/" || die "emake failed" if use doc; then emake doc || die "emake doc failed" @@ -37,7 +37,7 @@ src_compile() { } src_install() { - DESTDIR="${D}" emake install || die "emake install failed" + emake install DESTDIR="${D}" || die "emake install failed" dodoc CHANGES CREDITS FAQ README if use doc; then diff --git a/dev-ml/zarith/Manifest b/dev-ml/zarith/Manifest index abb9fd902..d7156cb11 100644 --- a/dev-ml/zarith/Manifest +++ b/dev-ml/zarith/Manifest @@ -1,4 +1 @@ DIST zarith-1.2.1.tgz 68654 SHA256 916801cc39599d3fca07384fbfeec4bfaa5ffcb497d68ef89320af40ba5e4144 SHA512 5c053e259469bf6a2d4aaa3e653da42d18015e815a0b922a4e317db091a54c560e7ed32f5cb1faae7df1e8a6d81ba3913d71e5b500ace1bd45d69e69858467a1 WHIRLPOOL e31770c23e7f77bff8f084eeb3e0a9cab7c1413f2da64926c403720df2351bb84598953ad1bae0436d9b3ba6e66c1543aee0dbd9151a3708d793abe5506f1e00 -EBUILD zarith-1.2.1.ebuild 1258 SHA256 34d07649a322771888cb26e0fbf64da4fdadb6bc0eae2b9d4d6bb702ec1f3e77 SHA512 f8a23a5aa3fff3148847076ab175dbb5c02cf0673eff6807e90b4a2e886ad2252812d224193a529a1e2388c928490d97dce5364b904b60a4b3b1c0575e122768 WHIRLPOOL e55a861fdf2085d16c7d1cb3a01d062a3bb0971e65a843aefeb8bf93c5026a2400463c2994c9e46ad80c0bb50ed4c48631c35eaa69abe9a1b2df40b3b8e19927 -MISC ChangeLog 985 SHA256 f7f5f77792f72bbfd65e6868b08989d0ca8cca602523528ff14381d0870823f8 SHA512 ebc2bbefdfab685ca3703d14262eaec90439426ec8c43a309c744dd420d86fb1bef93decdb15346211ab2b75bf639f45c75a3fd0328b79f5d06d9bda4129a8aa WHIRLPOOL 6cfbe33c6c803048b6a70dfe7c1154041fe34fcaeebf13f8fd4c984e94098cc262d45f7c97bc6b04c3c513b8ea4c0f3418a6c3dfb8e2b0f6a65333bd557e0faa -MISC metadata.xml 465 SHA256 562d89dff0b27cf62e633567eda98e8f997a6b35fe931b83846f25d02813c012 SHA512 0a1e3a0f6a05a4ff9d5de7b3429228b662371e1ed77f0263beded417cae5989f3940b49bb70dab6a9854c37699cf603486772e89ac4269a7eacaa31a0ddd89de WHIRLPOOL 26b03abc839e37851f8b0d45297d2c876bb2ac51b4a88fef0d4ba3d1b7eb868094ed96e10300fa6c519edae7eedfa959d15cb42d0a17c5dd4d01d8758409ec25 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 -- cgit v1.2.3