diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2019-09-08 01:07:24 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2019-09-08 01:07:24 +0100 |
| commit | e3cf2c86fca1750343c1885311f857f185ee4f2d (patch) | |
| tree | d9d1fbc20509d4c90f57fb2d9e1459bc8034c831 /sci-mathematics | |
| parent | f1af93971b7490792d8541bc790e0d8c6d787059 (diff) | |
gentoo resync : 08.09.2019
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/Manifest.gz | bin | 14974 -> 14980 bytes | |||
| -rw-r--r-- | sci-mathematics/alt-ergo/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 4 |
3 files changed, 4 insertions, 2 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex 468edbdc7835..881e568d8da4 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest index 92813d443d77..80d4490bdd89 100644 --- a/sci-mathematics/alt-ergo/Manifest +++ b/sci-mathematics/alt-ergo/Manifest @@ -1,5 +1,5 @@ DIST alt-ergo-1.30.tar.gz 380329 BLAKE2B fab16757ed110474cf8f9d01ab53f76b6a300eb478b32bbfd6bb79d7603b1f5c2fc5c97bf44358eb138283f3487ef90febd23865723a4721b01bd870cfdd6507 SHA512 6ac6abdc6602b0ba89ee58eb96c66ac93e8195e0b4f75595381eded86365c2dd881251de2b77e2f1137684651ddc7fd94f922509de0be2964d81f52a6fb0f2f2 DIST alt-ergo-2.3.0.tar.gz 455577 BLAKE2B 1836782be452df5147fc3041517fd267f3ce7facd15ad460c3e1dfba2b6ea455fee79ad8264ccb12cf21622c21a54c186c9943e7bffb392daab15d046ff93863 SHA512 a2f209b62b8494bfefe84328cdc786185e0534c5e224e212b83045b078352a51d2ab02622f72c22c74c7de95c7a554cbdae2a9a8a0c41f3f26c841f8c72f6b21 EBUILD alt-ergo-1.30.ebuild 735 BLAKE2B e875147f8814ba6b81a8cd4c352691289002129d34be71fdd89d758a99b136b37acdce1f38f52cc9c2d7ad74cff8bf548fa4384e7b529a2ec2b4aa7cf2174fe3 SHA512 8acf024245c85c16d6d74a6400a1fcc5b7c7c17fdfaf713f77e8c1de0b9f29e615a1085c283f064c0f22de2e0c0dc0625a1d430ef89506d3976da6b1c0d414ca -EBUILD alt-ergo-2.3.0.ebuild 936 BLAKE2B bec8b3a17a4802c3238f277e67271671652a308a8f927ddab3b31b1ff20ebe0f9557dcb3ad9159e945f9f77e29d1fc4d754f9a066643cd74e8792cd2625671c5 SHA512 1025018fcec4c48aeaff5f94468e430f601e1387d75104bc5545e36c67ad3a1a7c226396be566603c6787da3b009e198910fa2d797602fab7bbe4977176dbea5 +EBUILD alt-ergo-2.3.0.ebuild 983 BLAKE2B 382b1d63af728d71131ecd0316bf90e70ee90b84890dad3f635d8258b2c8363eaf04008edad7ab538e825a42a8bfc37e16dbf72ba435a3562ab61a383fa1344e SHA512 659a53155ee477d82c7578f61f910ef5c90e434a1d72d359e3c20255882bf7fde3955b59920dc95a80cc1adbf866b0b61f6a1e84e1d90d6e7e537fe321b9b76f MISC metadata.xml 670 BLAKE2B 5f03c359cb298cc9a0fea6ef3a5deb092e5ccca7acfb2b7a5630303659bfd853fe86277ebbfb1fb7b6677d45dde2d5c68d55fffa8d3d8187acac3765f52df7c9 SHA512 9e514e4da2b92aa1e8e8e084450f478b51947172b689664dfe6c0fe0eb139e278e13689c8ba53825cb3bc32140cfd4cd7a68fede0d013cd065d5339d34931e8d diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild index 69ade990ba8f..321faff324c8 100644 --- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild +++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild @@ -16,6 +16,7 @@ DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?] dev-ml/zarith gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] ) dev-ml/camlzip + sci-mathematics/psmt2-frontend >=dev-ml/ocplib-simplex-0.4 >=dev-ml/menhir-20181006 dev-ml/dune" @@ -28,7 +29,8 @@ src_configure() { } src_compile() { - emake + emake lib + emake bin use gtk && emake gui } |