diff options
author | Volkmar W. Pogatzki <gentoo@pogatzki.net> | 2024-06-01 10:20:02 +0200 |
---|---|---|
committer | Miroslav Šulc <fordfrog@gentoo.org> | 2024-06-08 09:56:46 +0200 |
commit | d62360d749b9bc7144d5cb61f3067d93857b1244 (patch) | |
tree | a2a44e294565b17a9de17c4a7ec8169cda4caeac /dev-lang/mercury | |
parent | dev-java/openjdk-jre-bin: drop 8.382_p05 (diff) | |
download | gentoo-d62360d749b9bc7144d5cb61f3067d93857b1244.tar.gz gentoo-d62360d749b9bc7144d5cb61f3067d93857b1244.tar.bz2 gentoo-d62360d749b9bc7144d5cb61f3067d93857b1244.zip |
dev-lang/mercury: drop 20.06-r1, 20.06.1, 22.01
Avoid two stable versions in same slot.
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'dev-lang/mercury')
-rw-r--r-- | dev-lang/mercury/Manifest | 6 | ||||
-rw-r--r-- | dev-lang/mercury/mercury-20.06-r1.ebuild | 207 | ||||
-rw-r--r-- | dev-lang/mercury/mercury-20.06.1.ebuild | 207 | ||||
-rw-r--r-- | dev-lang/mercury/mercury-22.01.ebuild | 201 |
4 files changed, 0 insertions, 621 deletions
diff --git a/dev-lang/mercury/Manifest b/dev-lang/mercury/Manifest index 98779fca5b66..0d34064a0b84 100644 --- a/dev-lang/mercury/Manifest +++ b/dev-lang/mercury/Manifest @@ -1,8 +1,2 @@ -DIST mercury-20.06-gentoo-patchset-3.tar.gz 5265 BLAKE2B 0539611691cfb714937bca8dc967246ce32c515b7133391d81333284e6ceffe29b929c042ee0000752bd9980c2d2332de20d7c5dc4e1a6077a6421056d975808 SHA512 54595a71db4d7684071c6496c3e92fe8c9de0a29832cc85901046f2627bd453cf0760b9857e73a91e87edfddc80d384627dc5c2cb7f3bc12ea5737eb5afa4f3b -DIST mercury-20.06.1-gentoo-patchset-0.tar.gz 4426 BLAKE2B df6f1a3b52b1f57f502621abba175a55342ae88ecbbe8e37d22b89a7514e0dea14299c87fb1dd47866c5fc89bbb2746a92de8dcf037c1a9d5d2ba4e2e9b8c828 SHA512 c26c209a2fc2380793373785c7a8290ea336c38fe1c243df5c71791e2d1f8b6f8d4a9452a9139181aeb0422cd538c5e6ffe40332ea5b2635cab3324dc4dc320b -DIST mercury-22.01-gentoo-patchset-0.tar.gz 4147 BLAKE2B d59f58cb8870ee3ba636f62c1df7ab54d45d23e92626e1a18717e2ef7511c8a14a63c7d9bbfbeb8ec78841f6a05311f2431c5488df9996dae1ab71ce39c99a55 SHA512 a38d524e900b1771a12921618f785436ebca6029d94c9bd7a3115682b900d688d4cab3e3167a7b110f2fc4f5e9d09c1f24dffe9e39222efd20bb17782829b4a8 DIST mercury-22.01.1-gentoo-patchset-2.tar.gz 4975 BLAKE2B 73dfe5688f7f2c44ee236e3b9fd38811afecc7f8f4dd8f0694c2c3f27ce20a74aade3678bb3a16f7bcfc1fc8b07e518a5954802e410a3f566c00df7898800675 SHA512 16319d2e78af5cb73f67555c1498b277e8c6435cfe4e62fc87817cf06f04deadfad6f8264a5270100aaf6985866b879e9b7c69d3c1839c25d36ca2506bbabd72 -DIST mercury-srcdist-20.06.1.tar.gz 47796261 BLAKE2B f282c6edb78e9090eb451585c65c9214927b94eaa5fcdf6f674aef6beb62eb65179f998bcc2e56c3c93b73dd1dc94973084eb8363bc05e334384096c9520d478 SHA512 94e901e5d3db39e3342bf2d6a2a74556a7b18b295c7e02669b487a81d41c72e572046ce1133d670ca6c1b8e246dd277439087efe8fb99b979a73555a101aa9a8 -DIST mercury-srcdist-20.06.tar.gz 47768559 BLAKE2B f242aa2ef7da53aa2dfa054e4fee8646434d276f0748b014e33ea52d22f2a8a37e6fecaa20617f4943c4c1e7d8c179ed0603a344fde2dd58da98b2bacadf1a71 SHA512 b76bd22d8eb16242c68b614ff122ed7ee7535efef6c0ceb8cc798fee4c550bc41b6faff2135cea43b24c652b654bb35ae049656585d8e7bf3a1122d07cb1ecf4 DIST mercury-srcdist-22.01.1.tar.gz 48956249 BLAKE2B 0f5a7662327f27c27a4d9e421f71afa58920f6232093452781124817ce5c34d1953a80a08b75e95101a7e2e88159b7d4ead08d25c67a99abcb908a9582af2bab SHA512 5fa49640307233ea0f641488e5ea526385e52833007a31469e083711b63925ca7568d7ad6e09301ddf7816384a080546bc4cf46b1422f974e008917d1aa4f37a -DIST mercury-srcdist-22.01.tar.gz 48960609 BLAKE2B 4ac45251bc098c1465f4bc418501db152bfcf36a2e04bb9153a44c44ff2dff300545103c29551818e773728c5a61947c019997fcc2cb64900e538d5ef64c1b39 SHA512 35b3b1e9fd85062edea5263b304bfc965382d04353e5548d59211519ee222bb6a8e8c95cb03faa089062e39c90b2d1c4af7ca0d9eabbf3bb44872d461e10ff2d diff --git a/dev-lang/mercury/mercury-20.06-r1.ebuild b/dev-lang/mercury/mercury-20.06-r1.ebuild deleted file mode 100644 index d2f14d41fd07..000000000000 --- a/dev-lang/mercury/mercury-20.06-r1.ebuild +++ /dev/null @@ -1,207 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools elisp-common flag-o-matic java-pkg-opt-2 multilib vcs-clean xdg-utils - -PATCHSET_VER="3" -MY_P=${PN}-srcdist-${PV} - -DESCRIPTION="Mercury is a modern general-purpose logic/functional programming language" -HOMEPAGE="https://www.mercurylang.org/index.html" -SRC_URI="https://dl.mercurylang.org/release-20.06/${MY_P}.tar.gz - https://dev.gentoo.org/~keri/distfiles/mercury/${P}-gentoo-patchset-${PATCHSET_VER}.tar.gz" - -LICENSE="GPL-2 LGPL-2" -SLOT="0" -KEYWORDS="amd64 x86" - -IUSE="debug doc emacs erlang examples java mono profile readline threads trail" - -DEPEND="net-libs/libnsl:0= - readline? ( sys-libs/readline:= ) - erlang? ( dev-lang/erlang ) - java? ( >=virtual/jdk-1.8:* ) - mono? ( dev-lang/mono ) - doc? ( sys-apps/texinfo )" - -RDEPEND="${DEPEND} - emacs? ( >=app-editors/emacs-23.1:* )" - -S="${WORKDIR}"/${MY_P} - -SITEFILE=50${PN}-gentoo.el - -src_prepare() { - if [[ -d "${WORKDIR}"/${PV} ]] ; then - eapply "${WORKDIR}"/${PV} - fi - eapply_user - - AT_M4DIR=m4 eautoreconf - - xdg_environment_reset -} - -src_configure() { - strip-flags - - local myconf - myconf="--libdir=/usr/$(get_libdir) \ - $(use_enable mono csharp-grade) \ - $(use_enable erlang erlang-grade) \ - $(use_enable java java-grade) \ - $(use_enable debug debug-grades) \ - $(use_enable profile prof-grades) \ - $(use_enable threads par-grades) \ - $(use_enable trail trail-grades) \ - $(use_with readline)" - - econf ${myconf} -} - -src_compile() { - # Prepare mmake flags - echo "EXTRA_CFLAGS = ${CFLAGS}" >> Mmake.params - echo "EXTRA_LDFLAGS = ${LDFLAGS}" >> Mmake.params - echo "EXTRA_LD_LIBFLAGS = ${LDFLAGS}" >> Mmake.params - echo "EXTRA_MLFLAGS = --no-strip" >> Mmake.params - - if use trail; then - echo "CFLAGS-int = -O0" >> Mmake.params - echo "CFLAGS-uint = -O0" >> Mmake.params - fi - - echo "EXTRA_LD_LIBFLAGS += -Wl,-soname=libgc.so" >> boehm_gc/Mmake.boehm_gc.params - echo "EXTRA_LD_LIBFLAGS += -Wl,-soname=libmer_rt.so" >> runtime/Mmake.runtime.params - echo "EXTRA_LD_LIBFLAGS += -Wl,-soname=libmer_std.so" >> library/Mmake.library.params - - # Build Mercury using bootstrap grade - emake \ - PARALLEL="'${MAKEOPTS}'" \ - TEXI2DVI="" PDFTEX="" - - # We can now patch .m Mercury compiler files since we - # have just built mercury_compiler. - if [[ -d "${WORKDIR}"/${PV}-mmc ]] ; then - eapply "${WORKDIR}"/${PV}-mmc - fi - - # Rebuild Mercury compiler using the just built mercury_compiler - emake \ - PARALLEL="'${MAKEOPTS}'" \ - MERCURY_COMPILER="${S}"/compiler/mercury_compile \ - TEXI2DVI="" PDFTEX="" - - # The default Mercury grade may not be the same as the bootstrap - # grade. Since src_test() is run before src_install() we compile - # the default grade now - emake \ - PARALLEL="'${MAKEOPTS}'" \ - MERCURY_COMPILER="${S}"/compiler/mercury_compile \ - TEXI2DVI="" PDFTEX="" \ - default_grade -} - -src_test() { - TEST_GRADE=$(scripts/ml --print-grade) - if [ -d "${S}"/install_grade_dir.${TEST_GRADE} ] ; then - TWS="${S}"/install_grade_dir.${TEST_GRADE} - cp runtime/mer_rt.init "${TWS}"/runtime/ - cp mdbcomp/mer_mdbcomp.init "${TWS}"/mdbcomp/ - cp browser/mer_browser.init "${TWS}"/browser/ - else - TWS="${S}" - fi - - cd "${S}"/tests || die - sed -e "s:@WORKSPACE@:${TWS}:" \ - < WS_FLAGS.ws \ - > WS_FLAGS \ - || die "sed WORKSPACE failed" - sed -e "s:@WORKSPACE@:${TWS}:" \ - < .mgnuc_copts.ws \ - > .mgnuc_copts \ - || die "sed WORKSPACE failed" - find . -mindepth 1 -type d -exec cp .mgnuc_opts {} \; - find . -mindepth 1 -type d -exec cp .mgnuc_copts {} \; - - # Mercury tests must be run in C locale since Mercury output is - # compared to hard-coded warnings/errors - LC_ALL="C" \ - PATH="${TWS}"/scripts:"${TWS}"/util:"${S}"/slice:"${PATH}" \ - TERM="" \ - WORKSPACE="${TWS}" \ - WORKSPACE_FLAGS=yes \ - MERCURY_COMPILER="${TWS}"/compiler/mercury_compile \ - MMAKE_DIR="${TWS}"/scripts \ - MERCURY_SUPPRESS_STACK_TRACE=yes \ - GRADE=${TEST_GRADE} \ - mmake || die "mmake test failed" -} - -src_install() { - emake \ - PARALLEL="'${MAKEOPTS}'" \ - MERCURY_COMPILER="${S}"/compiler/mercury_compile \ - TEXI2DVI="" PDFTEX="" \ - DESTDIR="${D}" \ - INSTALL_ELISP_DIR="${D}/${SITELISP}"/${PN} \ - install - - if use java; then - keepdir /usr/$(get_libdir)/mercury/modules/java - fi - - if use mono; then - keepdir /usr/$(get_libdir)/mercury/modules/csharp - fi - - if use emacs; then - elisp-site-file-install "${FILESDIR}/${SITEFILE}" \ - || die "elisp-site-file-install failed" - fi - - dodoc \ - BUGS HISTORY LIMITATIONS NEWS README README.Linux \ - README.Linux-Alpha README.Linux-m68k README.Linux-PPC \ - RELEASE_NOTES VERSION || die - - if use erlang; then - dodoc README.Erlang - fi - - if use java; then - dodoc README.Java - fi - - if use mono; then - dodoc README.CSharp - fi - - if use examples; then - docinto samples - dodoc samples/{*.m,README,Mmakefile} - dodoc -r samples/c_interface \ - samples/diff \ - samples/muz \ - samples/rot13 \ - samples/solutions \ - samples/solver_types - - if use java; then - dodoc -r samples/java_interface - fi - - ecvs_clean "${D}"/usr/share/doc/${PF}/samples - fi -} - -pkg_postinst() { - use emacs && elisp-site-regen -} - -pkg_postrm() { - use emacs && elisp-site-regen -} diff --git a/dev-lang/mercury/mercury-20.06.1.ebuild b/dev-lang/mercury/mercury-20.06.1.ebuild deleted file mode 100644 index ece3d848fee3..000000000000 --- a/dev-lang/mercury/mercury-20.06.1.ebuild +++ /dev/null @@ -1,207 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools elisp-common flag-o-matic java-pkg-opt-2 multilib vcs-clean xdg-utils - -PATCHSET_VER="0" -MY_P=${PN}-srcdist-${PV} - -DESCRIPTION="Mercury is a modern general-purpose logic/functional programming language" -HOMEPAGE="https://www.mercurylang.org/index.html" -SRC_URI="https://dl.mercurylang.org/release-20.06/${MY_P}.tar.gz - https://dev.gentoo.org/~keri/distfiles/mercury/${P}-gentoo-patchset-${PATCHSET_VER}.tar.gz" - -LICENSE="GPL-2 LGPL-2" -SLOT="0" -KEYWORDS="~amd64 ~x86" - -IUSE="debug doc emacs erlang examples java mono profile readline threads trail" - -DEPEND="net-libs/libnsl:0= - readline? ( sys-libs/readline:= ) - erlang? ( dev-lang/erlang ) - java? ( >=virtual/jdk-1.8:* ) - mono? ( dev-lang/mono ) - doc? ( sys-apps/texinfo )" - -RDEPEND="${DEPEND} - emacs? ( >=app-editors/emacs-23.1:* )" - -S="${WORKDIR}"/${MY_P} - -SITEFILE=50${PN}-gentoo.el - -src_prepare() { - if [[ -d "${WORKDIR}"/${PV} ]] ; then - eapply "${WORKDIR}"/${PV} - fi - eapply_user - - AT_M4DIR=m4 eautoreconf - - xdg_environment_reset -} - -src_configure() { - strip-flags - - local myconf - myconf="--libdir=/usr/$(get_libdir) \ - $(use_enable mono csharp-grade) \ - $(use_enable erlang erlang-grade) \ - $(use_enable java java-grade) \ - $(use_enable debug debug-grades) \ - $(use_enable profile prof-grades) \ - $(use_enable threads par-grades) \ - $(use_enable trail trail-grades) \ - $(use_with readline)" - - econf ${myconf} -} - -src_compile() { - # Prepare mmake flags - echo "EXTRA_CFLAGS = ${CFLAGS} -Wno-error" >> Mmake.params - echo "EXTRA_LDFLAGS = ${LDFLAGS}" >> Mmake.params - echo "EXTRA_LD_LIBFLAGS = ${LDFLAGS}" >> Mmake.params - echo "EXTRA_MLFLAGS = --no-strip" >> Mmake.params - - if use trail; then - echo "CFLAGS-int = -O0" >> Mmake.params - echo "CFLAGS-uint = -O0" >> Mmake.params - fi - - echo "EXTRA_LD_LIBFLAGS += -Wl,-soname=libgc.so" >> boehm_gc/Mmake.boehm_gc.params - echo "EXTRA_LD_LIBFLAGS += -Wl,-soname=libmer_rt.so" >> runtime/Mmake.runtime.params - echo "EXTRA_LD_LIBFLAGS += -Wl,-soname=libmer_std.so" >> library/Mmake.library.params - - # Build Mercury using bootstrap grade - emake \ - PARALLEL="'${MAKEOPTS}'" \ - TEXI2DVI="" PDFTEX="" - - # We can now patch .m Mercury compiler files since we - # have just built mercury_compiler. - if [[ -d "${WORKDIR}"/${PV}-mmc ]] ; then - eapply "${WORKDIR}"/${PV}-mmc - fi - - # Rebuild Mercury compiler using the just built mercury_compiler - emake \ - PARALLEL="'${MAKEOPTS}'" \ - MERCURY_COMPILER="${S}"/compiler/mercury_compile \ - TEXI2DVI="" PDFTEX="" - - # The default Mercury grade may not be the same as the bootstrap - # grade. Since src_test() is run before src_install() we compile - # the default grade now - emake \ - PARALLEL="'${MAKEOPTS}'" \ - MERCURY_COMPILER="${S}"/compiler/mercury_compile \ - TEXI2DVI="" PDFTEX="" \ - default_grade -} - -src_test() { - TEST_GRADE=$(scripts/ml --print-grade) - if [ -d "${S}"/install_grade_dir.${TEST_GRADE} ] ; then - TWS="${S}"/install_grade_dir.${TEST_GRADE} - cp runtime/mer_rt.init "${TWS}"/runtime/ - cp mdbcomp/mer_mdbcomp.init "${TWS}"/mdbcomp/ - cp browser/mer_browser.init "${TWS}"/browser/ - else - TWS="${S}" - fi - - cd "${S}"/tests || die - sed -e "s:@WORKSPACE@:${TWS}:" \ - < WS_FLAGS.ws \ - > WS_FLAGS \ - || die "sed WORKSPACE failed" - sed -e "s:@WORKSPACE@:${TWS}:" \ - < .mgnuc_copts.ws \ - > .mgnuc_copts \ - || die "sed WORKSPACE failed" - find . -mindepth 1 -type d -exec cp .mgnuc_opts {} \; - find . -mindepth 1 -type d -exec cp .mgnuc_copts {} \; - - # Mercury tests must be run in C locale since Mercury output is - # compared to hard-coded warnings/errors - LC_ALL="C" \ - PATH="${TWS}"/scripts:"${TWS}"/util:"${S}"/slice:"${PATH}" \ - TERM="" \ - WORKSPACE="${TWS}" \ - WORKSPACE_FLAGS=yes \ - MERCURY_COMPILER="${TWS}"/compiler/mercury_compile \ - MMAKE_DIR="${TWS}"/scripts \ - MERCURY_SUPPRESS_STACK_TRACE=yes \ - GRADE=${TEST_GRADE} \ - mmake || die "mmake test failed" -} - -src_install() { - emake \ - PARALLEL="'${MAKEOPTS}'" \ - MERCURY_COMPILER="${S}"/compiler/mercury_compile \ - TEXI2DVI="" PDFTEX="" \ - DESTDIR="${D}" \ - INSTALL_ELISP_DIR="${D}/${SITELISP}"/${PN} \ - install - - if use java; then - keepdir /usr/$(get_libdir)/mercury/modules/java - fi - - if use mono; then - keepdir /usr/$(get_libdir)/mercury/modules/csharp - fi - - if use emacs; then - elisp-site-file-install "${FILESDIR}/${SITEFILE}" \ - || die "elisp-site-file-install failed" - fi - - dodoc \ - BUGS HISTORY LIMITATIONS NEWS README README.Linux \ - README.Linux-Alpha README.Linux-m68k README.Linux-PPC \ - RELEASE_NOTES VERSION || die - - if use erlang; then - dodoc README.Erlang - fi - - if use java; then - dodoc README.Java - fi - - if use mono; then - dodoc README.CSharp - fi - - if use examples; then - docinto samples - dodoc samples/{*.m,README,Mmakefile} - dodoc -r samples/c_interface \ - samples/diff \ - samples/muz \ - samples/rot13 \ - samples/solutions \ - samples/solver_types - - if use java; then - dodoc -r samples/java_interface - fi - - ecvs_clean "${D}"/usr/share/doc/${PF}/samples - fi -} - -pkg_postinst() { - use emacs && elisp-site-regen -} - -pkg_postrm() { - use emacs && elisp-site-regen -} diff --git a/dev-lang/mercury/mercury-22.01.ebuild b/dev-lang/mercury/mercury-22.01.ebuild deleted file mode 100644 index 3524e6009a37..000000000000 --- a/dev-lang/mercury/mercury-22.01.ebuild +++ /dev/null @@ -1,201 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools elisp-common flag-o-matic java-pkg-opt-2 multilib vcs-clean xdg-utils - -PATCHSET_VER="0" -MY_P=${PN}-srcdist-${PV} - -DESCRIPTION="Mercury is a modern general-purpose logic/functional programming language" -HOMEPAGE="https://www.mercurylang.org/index.html" -SRC_URI="https://dl.mercurylang.org/release/${MY_P}.tar.gz - https://dev.gentoo.org/~keri/distfiles/mercury/${P}-gentoo-patchset-${PATCHSET_VER}.tar.gz" - -LICENSE="GPL-2 LGPL-2" -SLOT="0" -KEYWORDS="~amd64 ~x86" - -IUSE="debug doc emacs examples java mono profile readline threads trail" - -DEPEND="net-libs/libnsl:0= - readline? ( sys-libs/readline:= ) - java? ( >=virtual/jdk-1.8:* ) - mono? ( dev-lang/mono ) - doc? ( sys-apps/texinfo )" - -RDEPEND="${DEPEND} - emacs? ( >=app-editors/emacs-23.1:* )" - -S="${WORKDIR}"/${MY_P} - -SITEFILE=50${PN}-gentoo.el - -src_prepare() { - if [[ -d "${WORKDIR}"/${PV} ]] ; then - eapply "${WORKDIR}"/${PV} - fi - eapply_user - - AT_M4DIR=m4 eautoreconf - - xdg_environment_reset -} - -src_configure() { - strip-flags - - local myconf - myconf="--libdir=/usr/$(get_libdir) \ - $(use_enable mono csharp-grade) \ - $(use_enable java java-grade) \ - $(use_enable debug debug-grades) \ - $(use_enable profile prof-grades) \ - $(use_enable threads par-grades) \ - $(use_enable trail trail-grades) \ - $(use_with readline)" - - econf ${myconf} -} - -src_compile() { - # Prepare mmake flags - echo "EXTRA_CFLAGS = ${CFLAGS} -Wno-error" >> Mmake.params - echo "EXTRA_LDFLAGS = ${LDFLAGS}" >> Mmake.params - echo "EXTRA_LD_LIBFLAGS = ${LDFLAGS}" >> Mmake.params - echo "EXTRA_MLFLAGS = --no-strip" >> Mmake.params - - if use trail; then - echo "CFLAGS-int = -O0" >> Mmake.params - echo "CFLAGS-uint = -O0" >> Mmake.params - fi - - echo "EXTRA_LD_LIBFLAGS += -Wl,-soname=libgc.so" >> boehm_gc/Mmake.boehm_gc.params - echo "EXTRA_LD_LIBFLAGS += -Wl,-soname=libmer_rt.so" >> runtime/Mmake.runtime.params - echo "EXTRA_LD_LIBFLAGS += -Wl,-soname=libmer_std.so" >> library/Mmake.library.params - - # Build Mercury using bootstrap grade - emake \ - PARALLEL="'${MAKEOPTS}'" \ - TEXI2DVI="" PDFTEX="" - - # We can now patch .m Mercury compiler files since we - # have just built mercury_compiler. - if [[ -d "${WORKDIR}"/${PV}-mmc ]] ; then - eapply "${WORKDIR}"/${PV}-mmc - fi - - # Rebuild Mercury compiler using the just built mercury_compiler - emake \ - PARALLEL="'${MAKEOPTS}'" \ - MERCURY_COMPILER="${S}"/compiler/mercury_compile \ - TEXI2DVI="" PDFTEX="" - - # The default Mercury grade may not be the same as the bootstrap - # grade. Since src_test() is run before src_install() we compile - # the default grade now - emake \ - PARALLEL="'${MAKEOPTS}'" \ - MERCURY_COMPILER="${S}"/compiler/mercury_compile \ - TEXI2DVI="" PDFTEX="" \ - default_grade -} - -src_test() { - TEST_GRADE=$(scripts/ml --print-grade) - if [ -d "${S}"/install_grade_dir.${TEST_GRADE} ] ; then - TWS="${S}"/install_grade_dir.${TEST_GRADE} - cp runtime/mer_rt.init "${TWS}"/runtime/ - cp mdbcomp/mer_mdbcomp.init "${TWS}"/mdbcomp/ - cp browser/mer_browser.init "${TWS}"/browser/ - else - TWS="${S}" - fi - - cd "${S}"/tests || die - sed -e "s:@WORKSPACE@:${TWS}:" \ - < WS_FLAGS.ws \ - > WS_FLAGS \ - || die "sed WORKSPACE failed" - sed -e "s:@WORKSPACE@:${TWS}:" \ - < .mgnuc_copts.ws \ - > .mgnuc_copts \ - || die "sed WORKSPACE failed" - find . -mindepth 1 -type d -exec cp .mgnuc_opts {} \; - find . -mindepth 1 -type d -exec cp .mgnuc_copts {} \; - - # Mercury tests must be run in C locale since Mercury output is - # compared to hard-coded warnings/errors - LC_ALL="C" \ - PATH="${TWS}"/scripts:"${TWS}"/util:"${S}"/slice:"${PATH}" \ - TERM="" \ - WORKSPACE="${TWS}" \ - WORKSPACE_FLAGS=yes \ - MERCURY_COMPILER="${TWS}"/compiler/mercury_compile \ - MMAKE_DIR="${TWS}"/scripts \ - MERCURY_SUPPRESS_STACK_TRACE=yes \ - GRADE=${TEST_GRADE} \ - mmake || die "mmake test failed" -} - -src_install() { - emake \ - PARALLEL="'${MAKEOPTS}'" \ - MERCURY_COMPILER="${S}"/compiler/mercury_compile \ - TEXI2DVI="" PDFTEX="" \ - DESTDIR="${D}" \ - INSTALL_ELISP_DIR="${D}/${SITELISP}"/${PN} \ - install - - if use java; then - keepdir /usr/$(get_libdir)/mercury/modules/java - fi - - if use mono; then - keepdir /usr/$(get_libdir)/mercury/modules/csharp - fi - - if use emacs; then - elisp-site-file-install "${FILESDIR}/${SITEFILE}" \ - || die "elisp-site-file-install failed" - fi - - dodoc \ - BUGS HISTORY LIMITATIONS.md NEWS README README.md \ - README.Linux README.Linux-m68k README.Linux-PPC \ - RELEASE_NOTES VERSION || die - - if use java; then - dodoc README.Java - fi - - if use mono; then - dodoc README.CSharp - fi - - if use examples; then - docinto samples - dodoc samples/{*.m,README,Mmakefile} - dodoc -r samples/c_interface \ - samples/diff \ - samples/muz \ - samples/rot13 \ - samples/solutions \ - samples/solver_types - - if use java; then - dodoc -r samples/java_interface - fi - - ecvs_clean "${D}"/usr/share/doc/${PF}/samples - fi -} - -pkg_postinst() { - use emacs && elisp-site-regen -} - -pkg_postrm() { - use emacs && elisp-site-regen -} |