diff options
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/Manifest.gz | bin | 20349 -> 20348 bytes | |||
| -rw-r--r-- | dev-lang/dafny/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.2.0.ebuild | 1 | ||||
| -rw-r--r-- | dev-lang/polyml/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/polyml/polyml-5.9.1.ebuild | 69 |
5 files changed, 73 insertions, 1 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz Binary files differindex f17f5e96a98c..0b1c3217130e 100644 --- a/dev-lang/Manifest.gz +++ b/dev-lang/Manifest.gz diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index 156a23bc509a..143e5fcd782e 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -271,5 +271,5 @@ DIST xunit.extensibility.execution.2.4.0.nupkg 481651 BLAKE2B 8cd2bef58356196059 DIST xunit.extensibility.execution.2.4.2.nupkg 353652 BLAKE2B f10e20d43b8030f51c9598afe247f46c0630fff6ad5e1cb82105182cac11b410c0c41c19fd513c5a3a59183ca45e1046af3289d670e0329a424ed7cb4a81735a SHA512 e654fcf8767427d5370746cab7f2078fddaf2239c9b312114bd68f1d91f739acef8586697e44c41442ace3a3d140591bd8ddeae81b3079f6719b3740757cc90d DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e44148812a452401fa06eba913dad716cfd6743d85a09ffbc0be52276a4b90d039ab76077cca7ab5316b73009aeff2b2fe77dc465f1 SHA512 d8b0d124425db24f98335b332fe55e1a08b39af55d8834dd4a2717fd4be45f3a06ae6cb16427a17adfb31e215dab622856152bb2da715acb1946ec9e935299f4 DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1 -EBUILD dafny-4.2.0.ebuild 16051 BLAKE2B 400b0f139d18d2077964d4855cdcc8f726d3e3f4dd48e5ee93245b701eeea73b269c26527dcc8948551f82145bce050a275242ee7b8a639a8d9ab671653020c1 SHA512 99a753e98236d068ab060fba1fa264a19a0c8ce60373b7fa15b9804bd5ca8617359ae6f479b982af134fab0c75df38339bc1a13967cbc89d8dcd5eeb4842d767 +EBUILD dafny-4.2.0.ebuild 16065 BLAKE2B 96c7438d40881e91b1d9db5b4298088a060772fd688e2a74d144ba2b9d0cc097ef2b0197f6b964f19841db47837434c2d0a1ebf84941340838dded62e05fd1dc SHA512 34a6b47b0f6b29b22e2379a58a40c74406dfac2f070cfedbfc4cb170360d8b2d97befd18367147569230f7d1c5d6e27ecb467b07f355a86861058b16f3ceb387 MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e diff --git a/dev-lang/dafny/dafny-4.2.0.ebuild b/dev-lang/dafny/dafny-4.2.0.ebuild index 34aaf73989ea..24f9f2259878 100644 --- a/dev-lang/dafny/dafny-4.2.0.ebuild +++ b/dev-lang/dafny/dafny-4.2.0.ebuild @@ -315,6 +315,7 @@ BDEPEND=" test? ( ${PYTHON_DEPS} dev-lang/boogie + dev-lang/go dev-python/OutputCheck dev-python/lit net-libs/nodejs[npm] diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest index 981434988a59..8a8e12198a57 100644 --- a/dev-lang/polyml/Manifest +++ b/dev-lang/polyml/Manifest @@ -1,5 +1,7 @@ AUX polyml-5.8.2-configure.patch 512 BLAKE2B dec4df5f79271e680d0bd1533f1dec32b6360cebb0cfeae10987e7ba5f92be961529d85471412d575bd7dddcc1a447304b5bf77d814ac54f4500913e57032f50 SHA512 c4730ee4550c0ff9eb6c8d9efbb8eb3a30d1a96a93be990a7f38f9adbc6944d51f03c449f2f8af3c8cef2c42519ce9f01df8e2b54a8a03b40f9748d09a238437 AUX polyml-5.9-c++11.patch 433 BLAKE2B bee8c1a67e7d8a6d63a076d39cdcc086e23a20b3e4579fbc20db78e14c54b90d017b84d819ab4f8b68831b8a63600e37ca919944e47bcc4120d5a6530a552d83 SHA512 399af1a93527350d610670b6369c2a54c6c54624e622882efbf027b494cdf851d7c1f07e5360ba1a326e1242a18bf15eb08ba9ee60f77a66427b12ec30863cba +DIST polyml-5.9.1.tar.gz 3887664 BLAKE2B ae10fc9c4097879fe05ab931c541cdab8a61755210e2f6b084e31a08490a762234ea32d18d9d60e3ec52407861106b1b85d0ca8a92d2bc3e97b1d14fbd57bf8e SHA512 e471abef01b7f2bfac6d847904c0fcef6ae5a1356b1246a2e8982d24fd590b49feb03752642efe09d34344b4faf89bc3edd4418e9993e72ea22e5482e6d37271 DIST polyml-5.9.tar.gz 3764115 BLAKE2B ae0ca0dcac2c1b5b54e4e4c4c7362a9ba99846ff7a1358a2332a8b887eb9c21e83851c9ecde44df3bebeef5cdfe3d4b73c09776a08cfc2db6ec70024ffedc50d SHA512 e996cbe820216e854a50ba214f2a2a0291ee3279eb35be4126b6558bc1582732a236156fb8d0f548b31fca4a496db62ece83d902b6f5e72de64507fdef602e45 EBUILD polyml-5.9-r2.ebuild 1101 BLAKE2B fbbda6b42c9f2d5619623a266bf5fff095531d81ff98c9cbb150748362d2230dfc6815b417e98e99a0fb0b8adfaac22dbfd9b8f18159379c3a2aa87e5d2774c6 SHA512 60e9a3bd8f9b359c3067ed1c094c88eb9b807f5d165ef4825563393b3c611d12d50a6f2218ba1c5f3baa6df11f057d9511f7facf82f921c05187acfba733c9f7 +EBUILD polyml-5.9.1.ebuild 1257 BLAKE2B 2fab81bcf39fe171de6b4a546a4cc2ccf60ba2bc6cf842b84725d7cdabd165285955d12ffb300152b13e60be41aa9aab1b9c4acaff7ca6a10a094a2d17d25d46 SHA512 d9ec4295001d8f4c071d6982b87b3fb155ad39b6743a0e869836afe175cbdc445bbf20f33126ae301d10a7b92c73f35ce133cdda484ab5dee0d70ece666067ee MISC metadata.xml 476 BLAKE2B 1ae157cea19be5c640cddb49ed167f4bd2f3f76b224f42ad1eec260cf4a10418e90cf0d9cd7deae8710910aa141a7dcea912533dfc3aba51b587a8babde0f1e5 SHA512 93c0da7fa36a0ff2215f22a114b995c0f3cbb8762807090203e25e011236324585dc7af1246a881cdd5d2b41b6d69a00c9965507f8b467481e65679bbf87dd59 diff --git a/dev-lang/polyml/polyml-5.9.1.ebuild b/dev-lang/polyml/polyml-5.9.1.ebuild new file mode 100644 index 000000000000..2c8ed0b90e8a --- /dev/null +++ b/dev-lang/polyml/polyml-5.9.1.ebuild @@ -0,0 +1,69 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit autotools + +DESCRIPTION="Poly/ML is a full implementation of Standard ML" +HOMEPAGE="https://www.polyml.org/ + https://github.com/polyml/polyml/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/${PN}/${PN}.git" +else + SRC_URI="https://github.com/${PN}/${PN}/archive/v${PV}.tar.gz + -> ${P}.tar.gz" + + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="LGPL-2.1" +SLOT="0/${PV}" +IUSE="X +gmp portable" + +RDEPEND=" + dev-libs/libffi:= + X? ( x11-libs/motif:0 ) + gmp? ( >=dev-libs/gmp-5:= ) +" +DEPEND="${RDEPEND}" + +PATCHES=( + "${FILESDIR}"/${PN}-5.8.2-configure.patch + "${FILESDIR}"/${PN}-5.9-c++11.patch +) + +src_prepare() { + default + eautoreconf +} + +src_configure() { + local myconf=( + --enable-shared + --with-pic=pic-only + $(use_enable !portable native-codegeneration) + $(use_with X x) + $(use_with gmp) + ) + econf "${myconf[@]}" +} + +src_test() { + emake tests +} + +src_install() { + default + + if [[ -f "${ED}"/usr/$(get_libdir)/libpolymain.la ]] ; then + rm "${ED}"/usr/$(get_libdir)/libpolymain.la || die + fi + + if [[ -f "${ED}"/usr/$(get_libdir)/libpolyml.la ]] ; then + rm "${ED}"/usr/$(get_libdir)/libpolyml.la || die + fi +} |