diff options
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/perl/Manifest | 4 | ||||
| -rw-r--r-- | dev-lang/perl/perl-5.28.9999.ebuild | 10 | ||||
| -rw-r--r-- | dev-lang/spark/Manifest | 5 | ||||
| -rw-r--r-- | dev-lang/spark/files/spark-2017-gentoo.patch | 10 | ||||
| -rw-r--r-- | dev-lang/spark/metadata.xml | 16 | ||||
| -rw-r--r-- | dev-lang/spark/spark-2017.ebuild | 60 |
6 files changed, 98 insertions, 7 deletions
diff --git a/dev-lang/perl/Manifest b/dev-lang/perl/Manifest index fdcbf2881878..d3eb9ef41375 100644 --- a/dev-lang/perl/Manifest +++ b/dev-lang/perl/Manifest @@ -9,7 +9,7 @@ DIST perl-5.26.0.tar.xz 11961692 SHA256 9bf2e3d0d72aad77865c3bdbc20d3b576d769c5c DIST perl-5.26.1-RC1.tar.xz 11923212 SHA256 3c52c1092a66ee7c809af53076e1f407e43f52962272d0fd2e95bfb6c70df111 SHA512 036151303704e8d91db8cc22a9c8972499babca112d46f570e4f921fdad1b73919f6d038973896ff3d55b079080c4682609b3f73b962999bc5f5425b7b877084 WHIRLPOOL 99ae7d69509fcd85486beff976f79da03216e2ef1b241080b3d65bbacc343b8fb577082e111f5fd5214c42dd704465efdb2622558ed76fefa1315fe0dec40d3f DIST perl-5.26.1.tar.xz 11922848 SHA256 fe8208133e73e47afc3251c08d2c21c5a60160165a8ab8b669c43a420e4ec680 SHA512 13faa7bcd7ed8c490c37e9032c115af06c9b8152b75f8062409dd72d263d1314480e8a9a883490de1b448b2e6d53b6a87d108e2eceb17de2524d5857c6a7d300 WHIRLPOOL 5126e3727ff4b7bd5cc3b0dce4a4a6f1d4c2601af318161981e66407850a08d8731cdb5554af00cd4889978c7564d85f900e526584ebbab0fee6d97b2aebc6d3 DIST perl-5.27.1-patches-1.tar.xz 16444 SHA256 98e3c57398a3476ff809b98c7a17e52424842ca41499b3ee84b73d90c633ec62 SHA512 c70e033619e1caecb5e5d70e36094bb105f0387a383f7091c763b87ad9f31121c036446e337d44565ce66c9977870c951f2fbd61d34ac1633c18ac9d0b489a13 WHIRLPOOL d211c1b5b3358e8142dd6c6ec9b324db49d1097a0f717168a299e22872d7ff3f9066dace7ac1de935117849445de15f6c3b0afd14afa2750c69d388b83c464d9 -DIST perl-5.27.4.tar.xz 11977216 SHA256 a9ade3ec7e605bee6990bf0eb4502da8bd62fa2d4f70b2c4407a15aa7e12543c SHA512 92c170a195da61d306faa8699682f69469e6e04188972ca608f4125122556d0839558cea3b3812b8e70114e9ae566bb58b22d277f66ff837d938bade02f04636 WHIRLPOOL fa156cddd72d9f3811450fea6c4378421021ed73f367dfc123cbfe4d1144e65d257a30d751ffed86ae787f05bf8f0c75d6167618ce480f70e615eb1da23acb81 +DIST perl-5.27.5.tar.xz 12053340 SHA256 039f4b22cfce13dc6723fd03959ac5035cb6c6255166a5be57882afed0a5778a SHA512 c97859b972c1d89d1d0037d05e5269c368ed06e06a2ad325c7c3a6e407bd5a4c564922112dcb555470eaf14e9439f59ba08d2e04832547596f52ce46c18deb6c WHIRLPOOL 78144c1ecf850b686ac1d16bca08c6034c89ed2c77b5014d12c3297e8ac62c962728fc7c06abe979b0c4706c111cb8cbc2883c31d2df02afecbe162583318046 DIST perl-cross-1.1.4.tar.gz 94623 SHA256 c840a327d5464ca271cac40d52e2d199330875527bf1003c28a6e550fb7bcc57 SHA512 3bfc108245f0c05b7d45c317eb28c2eb70aba528dfe8a39bc99d6e49b4751f5dca4f4ac661484bfc7528c3e28fcdbd8994c36daa49c25516618fec1f58116d79 WHIRLPOOL c4a150cf15d067cd58db63dae01bbe810808888477f9a2bfcd8557b2eeee097bbf93509bb9128feef84e8a2913724a82de0accc3b9c5d65207ee9dcd2989fe51 DIST perl-cross-1.1.5.tar.gz 95122 SHA256 0e719e75983b16c7726c2c9462f9498bb1fc4ad38c9f2513a65f3dd34e3decb3 SHA512 344ae0ff3ab8a2ce3fdb0de10972164c8cc14abd9c5c9bf55029bc8a6c2e62b3f9dda88892b1d8d0e30b76f94d42feea1dd5e5c55631f9eb53d1443285e2e3d1 WHIRLPOOL b194d4986511e3483921b11bd264586f1e185df8cd33e408b7f5702403b6dc9e20d0245a60e47e8ee03db8002effccdde48ab7ad1087a9f35ec703b558f699cc DIST perl-cross-1.1.6.tar.gz 96075 SHA256 2b3b88f54d85beb438bd2dddd948e2d89461db5ab6253f01b3c2c9ae3ddc30b4 SHA512 4d46ad55093d90da4b0589552d14390efdc6604532ad2b4a3b20a79c69ef3b3cfe0e171b439dfa464bbee2e1fbd92606af6e6584d9355a8476e5b4ada8733653 WHIRLPOOL 78254d35c462758c6fdcc7a0a30668919d2fc0034947900e8e7575deee4932d9659486fa32b938c5ca14332aef99bdf0ec198b301cc8cfb1225a322c8516192c @@ -20,7 +20,7 @@ EBUILD perl-5.24.3.ebuild 17083 SHA256 05268aaf4e8e015cd5adbe1afaad2d778fd88dd83 EBUILD perl-5.26.0.ebuild 17993 SHA256 73c71a10fa481c983b3dc4d81bd3db8ed957901c3aac10e39064ec664015c2c1 SHA512 3a9d54c89c428ba1033228287a466e5ab4b3e4b3c8207885491c3f04d8608074609e18fff913def5eeead0a100a3b7ee1569b5c5b318c8f959bb36578eed1f4a WHIRLPOOL 02e2d21535e5f8e55b952c725398cb3ddcae7759a5b17ee953eceadf11ec77d04a67ed6948cbf23612e0c3d0fac84be42de6b6ec711fef982a09ee0944f1fda3 EBUILD perl-5.26.1.ebuild 19098 SHA256 e9f7efce9624a3e103e0a1b637b28705993d73935a5dd723a95b1b5bbe7be769 SHA512 5e1ff08063a003a0dae392b1b6a7f0fb24838b658ebee2643e2c833ba8b05f1eec9a5bad4e1ba9f97dff542832b372b67104ff0a91044dd4fcf40711308898ea WHIRLPOOL 9f1e65828a2fe55c126750c69bcc7cb35bc17ca25c98b8a4dd97489a1b876a6e99af6d56111c9ba21d6149813bd31bdef480736a84f66d78fbcb9e1789a83073 EBUILD perl-5.26.9999.ebuild 19091 SHA256 5817274e7388b5c76acfb6751611d50d32522486bb07863932254e0ecbfc2577 SHA512 1d432daec869ffddbf7dd9cd845a8a48a4e942b500ebaae80f80fbdfdf2cc5147fe58f305801688549f071ae1ec3126b828f1b6f95ba109f72bab1584afe3f56 WHIRLPOOL 90e3b0b41d5a48b607c1931a30a2270f61a568076f80d1884359ed1961897f20ceee44efe10408688c64f8bb3ced288ec6df7644e30d22a96a8f0a9c43ffa9d6 -EBUILD perl-5.28.9999.ebuild 19081 SHA256 a37fbaa81e63a4fa0b106b48d21d7cc39d5de80aaf3d2821c00a8d0eb384b981 SHA512 8c68708f9af167fb59c00b25fe5e4f4455b79b9b1aa41491e4f56e914386a368fb6711591e2b9458a537d145f3ade564a3ad4a149d239ade5dfa41fd21adc946 WHIRLPOOL 6ceee09a7acd62a58cfc6d50fce2c76b637ddd116c4f240cf355a5251d9ba3c01ff5e988a8c1817db9c465ec304a23e4b5f0863f8a1ea89e313a7231362aa91b +EBUILD perl-5.28.9999.ebuild 19077 SHA256 b9bd74ccff68f224a779c3e27c6135f0086aabe1ba0fc5e99655ab2812b099f4 SHA512 0a66557c40eb7da939498995ce2c5832ef1ea498b44e03ee88f3239f961ab381e6d77c93b877fd65fa6189a4cd4c18e6e0f5fbdbb864584467b8e2ffd0f84bb7 WHIRLPOOL e18a1e405039dcea5a587344dfe193bf9abbbb54fa54bcb16f6bedc4193ae75e5a88305facd19f3a0dc1b1dd585043f70e63067ef9345217b7d2beed064409a7 MISC ChangeLog 13780 SHA256 57a0f6f6bc7a816ca621af65126c42eb0fe19891e9cfe8ea0eb664607ea4749e SHA512 8bd6e0673b863e40e4f3309461049c95c261c95ffaafdf7bf9a8b801f29017994f152fa0dc5eb3f09b85be832e356a9c08ed1171f7e617a5597e6456ee9d11dd WHIRLPOOL 1bdf46f12430a2a84e66841a4b38e03bacc8f0649e38ba11d7ec23504ef254012c1dc9e1ef333b98619a6dcba6c183640f7b18080831cf37f425fd63d6810eee MISC ChangeLog-2014 86908 SHA256 36afb5e482f7c0faf3cb0491c694758752f81a8037fafbf69f33f82a535463dc SHA512 87a6b79f868b97ef1f1430d9616f4f47bc526add8eab73a40065f865a1097bc393001b3457cbfcf876a51cf710fd7d67183932fccdd0a658b9ae8c8cb2e30b52 WHIRLPOOL 536b71f37a08710b083d6df5ecf231ebb6debfaae56f12a5f78b46bf2c419b74eb9f53e35fda4f11c9c95a0a9089c3558b08f575f2c8137fa8fbcf4b19ed098f MISC ChangeLog-2015 3505 SHA256 ee4e406b267916f82010b5d51d78814d3ab074cfc720fc0a61e9fcadf45508bc SHA512 6b19ce6be009f9982f2b2d10f7afbc20d7ea46b43b33d906b4a6755df80fb95e0d4175999d8e47986b11d4346bed24b4465374fd3a783e693805df8b72142efd WHIRLPOOL 319a86c0471fcbbbaadebda3a219bc564c0134704a680c21ad0e28c1bba3cc591ffe7c4e331326accc97d1e1869481aa592c56a0b89ee9ae63be12086df172d7 diff --git a/dev-lang/perl/perl-5.28.9999.ebuild b/dev-lang/perl/perl-5.28.9999.ebuild index 2f46a1eab744..823075efb2a6 100644 --- a/dev-lang/perl/perl-5.28.9999.ebuild +++ b/dev-lang/perl/perl-5.28.9999.ebuild @@ -9,14 +9,14 @@ PATCH_VER=1 CROSS_VER=1.1.7 PATCH_BASE="perl-5.27.1-patches-${PATCH_VER}" -DIST_AUTHOR=GENEHACK +DIST_AUTHOR=SHAY # Greatest first, don't include yourself # Devel point-releases are not ABI-intercompatible, but stable point releases are # BIN_OLDVERSEN is contains only C-ABI-intercompatible versions PERL_BIN_OLDVERSEN="" if [[ "${PV##*.}" == "9999" ]]; then - DIST_VERSION=5.27.4 + DIST_VERSION=5.27.5 else DIST_VERSION="${PV/_rc/-RC}" fi @@ -78,14 +78,14 @@ dual_scripts() { src_remove_dual perl-core/Archive-Tar 2.260.0 ptar ptardiff ptargrep src_remove_dual perl-core/CPAN 2.180.0 cpan src_remove_dual perl-core/Digest-SHA 5.960.0 shasum - src_remove_dual perl-core/Encode 2.920.0 enc2xs piconv + src_remove_dual perl-core/Encode 2.930.0 enc2xs piconv src_remove_dual perl-core/ExtUtils-MakeMaker 7.300.0 instmodsh src_remove_dual perl-core/ExtUtils-ParseXS 3.350.0 xsubpp src_remove_dual perl-core/IO-Compress 2.74.0 zipdetails src_remove_dual perl-core/JSON-PP 2.940.0 json_pp - src_remove_dual perl-core/Module-CoreList 5.201.709.200 corelist + src_remove_dual perl-core/Module-CoreList 5.201.710.200 corelist src_remove_dual perl-core/Pod-Parser 1.630.0 pod2usage podchecker podselect - src_remove_dual perl-core/Pod-Perldoc 3.280.0 perldoc + src_remove_dual perl-core/Pod-Perldoc 3.280.100 perldoc src_remove_dual perl-core/Test-Harness 3.390.0 prove src_remove_dual perl-core/podlators 4.90.0 pod2man pod2text src_remove_dual_man perl-core/podlators 4.90.0 /usr/share/man/man1/perlpodstyle.1 diff --git a/dev-lang/spark/Manifest b/dev-lang/spark/Manifest new file mode 100644 index 000000000000..99fdc97a636f --- /dev/null +++ b/dev-lang/spark/Manifest @@ -0,0 +1,5 @@ +AUX spark-2017-gentoo.patch 379 SHA256 0dd01dd12276f067c0af66efdf3721f70eead41f35def194a12cb2626b0e31dc SHA512 b4db9b56ab003dff8aec28248ea32af6fb4067c1824b0f6d115d66d1f3c8d180a17a2fa52a5f2ebc3605b549e0b38aafa15e9f238b079d5366d5375d851d84d1 WHIRLPOOL 0476f61dc3179842ee23ba6fa9748d3160ea93cbcc8f44553431ee332184361f6dae2679c8bc994204eca77e63fc27c28cd05a39e88a7ed6d99417fbd0da6813 +DIST gnat-gpl-2017-src.tar.gz 8783473 SHA256 91c9733fb8f8ca4c42fbcab3bc8a54fc83083126f6e6b630c9a36f3654537c29 SHA512 ae7314a2241107ed4d962dce08306eeb34c5f11e26183935bbb1ccf3a5eb011d6457c1b6fcded93dd0ee9ba31d791971ebe2a5a5a0ae04ff80d87a670325a098 WHIRLPOOL cf98ed36553ddfb54502f10898016017e387920bea074395c3a84047c2ec707734a9299de8c5f2f1931a53e04c24e67f8ab017437fbee7b7a658a6c0bca46e35 +DIST spark-gpl-2017-src.tar.gz 19750595 SHA256 39f12849e0c537fe29b874ddc8f6949956894eb4b8e8f5451cbcea6bd3552622 SHA512 90e7644daa6a935c839da9799c6dc5fe0a566f29c5f5d0a964ef5c888581f18c11adf6aa0151ae72437b91430fae06604dab8c3f1fd3222d749cfd330293ff6e WHIRLPOOL f476fd03e1c30f2bc9e92719bf7b3724699586e3c030096dac5c4042e44b6f2cbf28e410bd918e2f4c25ac930229e7b42d6ed6a0b18be65d6a234b8cedd6f5c7 +EBUILD spark-2017.ebuild 1543 SHA256 37b4fdbb8d48b53051e159a61779b6e28ff98a1c1e8a29c551b4e99b7fc7e531 SHA512 092aeaef96e9c7e628ff482771727efb0608f7e57cc7edda91f2c60bd01cbb9210d0f8e7ca0df321eba96fbf2496e658de2ebb965bce37c6064a9f1b3d685ddf WHIRLPOOL fa3b0852458401bbbb043fcea3cda5f8b6a8770afae85ab767ee2a738b892daf5e36c7507683239461d0f77a26b706871a020b99189a016a150f890f695ad9a2 +MISC metadata.xml 702 SHA256 c2bb42992d6ece451c260b0562dd7818e1e7c7dc3ab8fa80a721f77992baf432 SHA512 bd30717cad1bceeef722cf8a27cd3902ad636f088f64cc41f1be5d356a7def55e426bd62fd7a3e7d9272f61a6fad96bec423e7529660c8061650af72faeaeb57 WHIRLPOOL 302fc76df0571ec06e09765d5d3ba33ba69db52f17015fbabc81ae738c99f9c2bd7c39e9d614ea7efc7dcb6fbd2aad5238e352d193fed8111b8e188b652d04b1 diff --git a/dev-lang/spark/files/spark-2017-gentoo.patch b/dev-lang/spark/files/spark-2017-gentoo.patch new file mode 100644 index 000000000000..479a7ace4dc2 --- /dev/null +++ b/dev-lang/spark/files/spark-2017-gentoo.patch @@ -0,0 +1,10 @@ +--- spark-gpl-2017-src/gnat2why/gnat2why_c.gpr.old 2017-10-04 21:41:41.613376056 +0200 ++++ spark-gpl-2017-src/gnat2why/gnat2why_c.gpr 2017-10-04 21:42:30.582572536 +0200 +@@ -1,4 +1,7 @@ + project Gnat2Why_C is + for Languages use ("C"); + for Object_Dir use "obj"; ++ package Compiler is ++ for Driver ("C") use External ("CC", "gcc"); ++ end Compiler; + end Gnat2Why_C; diff --git a/dev-lang/spark/metadata.xml b/dev-lang/spark/metadata.xml new file mode 100644 index 000000000000..ca4e653c68ef --- /dev/null +++ b/dev-lang/spark/metadata.xml @@ -0,0 +1,16 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="person"> + <email>tupone@gentoo.org</email> + <name>Tupone Alfredo</name> + </maintainer> + <longdescription lang="en"> + SPARK is a software development technology specifically designed for + engineering high-reliability applications. It consists of a programming + language, a verification toolset and a design method which, taken + together, ensure that ultra-low defect software can be deployed in + application domains where high-reliability must be assured, for example + where safety and security are key requirements. + </longdescription> +</pkgmetadata> diff --git a/dev-lang/spark/spark-2017.ebuild b/dev-lang/spark/spark-2017.ebuild new file mode 100644 index 000000000000..9f1b5646a0e7 --- /dev/null +++ b/dev-lang/spark/spark-2017.ebuild @@ -0,0 +1,60 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit toolchain-funcs multiprocessing + +MYP=${PN}-gpl-${PV} + +DESCRIPTION="Software development for high-reliability applications." +HOMEPAGE="http://libre.adacore.com" +SRC_URI="http://mirrors.cdn.adacore.com/art/591c4777c7a447af2deed05e + -> ${MYP}-src.tar.gz + http://mirrors.cdn.adacore.com/art/591adbb4c7a4473fcc4532a3 + -> gnat-gpl-2017-src.tar.gz" + +LICENSE="GPL-3" +SLOT="0" +KEYWORDS="~amd64" +IUSE="" + +RDEPEND="dev-lang/gnat-gpl:6.3.0 + >=dev-ada/gnatcoll-2017[gnat_2017,projects] + sci-mathematics/alt-ergo + sci-mathematics/why3-for-spark" +DEPEND="${RDEPEND} + dev-ada/gprbuild[gnat_2017]" + +S="${WORKDIR}"/${MYP}-src + +PATCHES=( "${FILESDIR}"/${P}-gentoo.patch ) + +src_prepare() { + ln -sf "${WORKDIR}"/gnat-gpl-2017-src/src/ada gnat2why/gnat_src || die + GCC_PV=6.3.0 + sed -i \ + -e "s:gnatmake:gnatmake-${GCC_PV}:g" \ + -e "s:gnatls:gnatls-${GCC_PV}:g" \ + Makefile \ + gnat2why/Makefile || die + default +} + +src_compile() { + emake gnat2why gnatprove +} + +src_install() { + emake INSTALLDIR="${D}"/usr install + einstalldocs + dosym ../../../lib64/why3/why3server /usr/libexec/spark/bin/why3server + dobin install/bin/gnatprove + mv install/share/doc/spark/* "${D}"/usr/share/doc/${PF} || die + exeinto /usr/libexec/spark/bin + doexe install/bin/gnat2why + doexe install/bin/spark_memcached_wrapper + doexe install/bin/spark_report + doexe install/bin/spark_codepeer_wrapper + mv "${D}"/usr/bin/target.atp "${D}"/usr/libexec/spark/bin || die +} |