diff options
author | Arthur Zamarin <arthurzam@gentoo.org> | 2024-08-26 14:48:36 +0300 |
---|---|---|
committer | Arthur Zamarin <arthurzam@gentoo.org> | 2024-08-26 14:51:48 +0300 |
commit | f7182ca10d6cf3eac83d75899742d87a1ba01d8e (patch) | |
tree | 1a4b074a40712002ff30a81dd3c8a1490cde1d16 /dev-lang | |
parent | dev-lang/mozart-stdlib: treeclean (diff) | |
download | gentoo-f7182ca10d6cf3eac83d75899742d87a1ba01d8e.tar.gz gentoo-f7182ca10d6cf3eac83d75899742d87a1ba01d8e.tar.bz2 gentoo-f7182ca10d6cf3eac83d75899742d87a1ba01d8e.zip |
dev-lang/mozart: treeclean
Closes: https://bugs.gentoo.org/930832 (pkgremoved)
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Diffstat (limited to 'dev-lang')
-rw-r--r-- | dev-lang/mozart/Manifest | 2 | ||||
-rw-r--r-- | dev-lang/mozart/files/50mozart-gentoo.el | 13 | ||||
-rw-r--r-- | dev-lang/mozart/metadata.xml | 8 | ||||
-rw-r--r-- | dev-lang/mozart/mozart-2.0.1-r1.ebuild | 98 |
4 files changed, 0 insertions, 121 deletions
diff --git a/dev-lang/mozart/Manifest b/dev-lang/mozart/Manifest deleted file mode 100644 index 15998cc09177..000000000000 --- a/dev-lang/mozart/Manifest +++ /dev/null @@ -1,2 +0,0 @@ -DIST mozart-2.0.1-gentoo-patchset-2.tar.gz 39435 BLAKE2B 18fe6f6e0d81d3b7901c73df567d79b6d8d8564bc49eb10dace2669de1448672a48dc0c509afbb5c506e8af65902ce36cb30f48c7fa26b6aa49cc09988218d42 SHA512 407da6fae39734097ab22fec5bc97ad1beb9103b13484ee0429a40a8f5803f6ed2abd2a64cfb56ccdddf9f82a2d9cd0883fe0a8f8a94bee963590606e1667127 -DIST mozart-2.0.1.tar.gz 2281261 BLAKE2B 7f071e9ec130a0b482b299f4dac15d64f632702d6ecf55b7af0993087064e533b4de80f77520a725f69f68648a9ce763c8c8826bb24e52af49eda8c3ccfba0b5 SHA512 a72a6fa68296d06af72327fd11310b3be152e5ad9a56f1fc4200ac7b89cd177e9a23a38c6721e1885d4f2ed0870065e919fb9fe3c9a2833fcd8e4ac0fd43aeb4 diff --git a/dev-lang/mozart/files/50mozart-gentoo.el b/dev-lang/mozart/files/50mozart-gentoo.el deleted file mode 100644 index 3533d49d693b..000000000000 --- a/dev-lang/mozart/files/50mozart-gentoo.el +++ /dev/null @@ -1,13 +0,0 @@ -;;; mozart site-lisp configuration - -(or (getenv "OZHOME") - (setenv "OZHOME" "/usr")) -(add-to-list 'load-path "@SITELISP@") -(autoload 'run-oz' "oz" "Start Mozart as a sub-process" t) -(autoload 'oz-mode "oz" "Major mode for editing Oz code." t) -(autoload 'oz-gump-mode "oz" - "Major mode for editing Oz code with embedded Gump specifications." t) -(autoload 'ozm-mode "mozart" "Major mode for displaying Oz machine code." t) -(add-to-list 'auto-mode-alist '("\\.oz$" . oz-mode)) -(add-to-list 'auto-mode-alist '("\\.ozg$" . oz-gump-mode)) -(add-to-list 'auto-mode-alist '("\\.ozm$" . ozm-mode)) diff --git a/dev-lang/mozart/metadata.xml b/dev-lang/mozart/metadata.xml deleted file mode 100644 index 16ef0f221f64..000000000000 --- a/dev-lang/mozart/metadata.xml +++ /dev/null @@ -1,8 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <!-- maintainer-needed --> - <upstream> - <remote-id type="github">mozart/mozart2</remote-id> - </upstream> -</pkgmetadata> diff --git a/dev-lang/mozart/mozart-2.0.1-r1.ebuild b/dev-lang/mozart/mozart-2.0.1-r1.ebuild deleted file mode 100644 index a575d07c66a9..000000000000 --- a/dev-lang/mozart/mozart-2.0.1-r1.ebuild +++ /dev/null @@ -1,98 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit cmake elisp-common java-pkg-2 java-ant-2 - -PATCHSET_VER="2" - -DESCRIPTION="Advanced development platform for intelligent, distributed applications" -HOMEPAGE="http://mozart2.org/" -SRC_URI="https://github.com/mozart/mozart2/archive/v${PV}.tar.gz -> ${P}.tar.gz - https://dev.gentoo.org/~keri/distfiles/mozart/${P}-gentoo-patchset-${PATCHSET_VER}.tar.gz" -S="${WORKDIR}/${PN}2-${PV}" - -LICENSE="BSD-2" -SLOT="0" -KEYWORDS="amd64 ~x86" -IUSE="emacs test" -RESTRICT="!test? ( test )" - -RDEPEND="dev-libs/boost:= - dev-libs/gmp:0 - dev-lang/tcl:0 - dev-lang/tk:0 - emacs? ( >=app-editors/emacs-23.1:* )" - -# https://bugs.gentoo.org/916882 restrict to <=virtual/jdk-17:* -DEPEND="${RDEPEND} - >=dev-java/ant-1.10.14-r3:0 - <=virtual/jdk-17:* - dev-lang/scala:2.12 - test? ( dev-cpp/gtest:= )" - -SITEFILE="50${PN}-gentoo.el" - -src_prepare() { - if [[ -d "${WORKDIR}"/${PV} ]] ; then - eapply "${WORKDIR}"/${PV} - fi - - touch stdlib/CMakeLists.txt || die - touch vm/vm/test/gtest/CMakeLists.txt || die - - cmake_src_prepare -} - -src_configure() { - local mycmakeargs=( - -DMOZART_BOOST_USE_STATIC_LIBS=OFF - -DEMACS=$(usex emacs "/usr/bin/emacs" "") - ) - - cmake_src_configure -} - -src_compile() { - EANT_GENTOO_CLASSPATH="scala:2.12" - pushd bootcompiler > /dev/null || die - ANT_OPTS="-Xss2M" eant jar - popd > /dev/null || die - - cmake_src_compile -} - -src_test() { - cmake_build vmtest platform-test - cmake_src_test -V -} - -src_install() { - cmake_src_install - - dolib.so "${BUILD_DIR}"/vm/vm/main/libmozartvm.so - dolib.so "${BUILD_DIR}"/vm/boostenv/main/libmozartvmboost.so - - if use emacs; then - elisp-install ${PN} "${S}"/opi/emacs/*.el - elisp-site-file-install "${FILESDIR}"/"${SITEFILE}" \ - || die "elsip-site-file-install failed" - fi -} - -pkg_postinst() { - if use emacs; then - xdg_icon_cache_update - xdg_desktop_database_update - elisp-site-regen - fi -} - -pkg_postrm() { - if use emacs; then - xdg_icon_cache_update - xdg_desktop_database_update - elisp-site-regen - fi -} |