summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArthur Zamarin <arthurzam@gentoo.org>2024-08-26 14:48:36 +0300
committerArthur Zamarin <arthurzam@gentoo.org>2024-08-26 14:51:48 +0300
commitf7182ca10d6cf3eac83d75899742d87a1ba01d8e (patch)
tree1a4b074a40712002ff30a81dd3c8a1490cde1d16 /dev-lang
parentdev-lang/mozart-stdlib: treeclean (diff)
downloadgentoo-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/Manifest2
-rw-r--r--dev-lang/mozart/files/50mozart-gentoo.el13
-rw-r--r--dev-lang/mozart/metadata.xml8
-rw-r--r--dev-lang/mozart/mozart-2.0.1-r1.ebuild98
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
-}