[gentoo-commits] repo/gentoo:master commit in: dev-lang/mozart-stdlib/, net-misc/pedro/, dev-lang/mercury-extras/, ...

2024-01-17 Thread Michał Górny 
commit: a05b3f3669a9cd2286d1d79fc13a1e7d5b2239db
Author: Michał Górny  gentoo  org>
AuthorDate: Wed Jan 17 19:41:25 2024 +
Commit: Michał Górny  gentoo  org>
CommitDate: Wed Jan 17 19:41:47 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a05b3f36

Reassign keri's packages

Signed-off-by: Michał Górny  gentoo.org>

 dev-lang/mercury-extras/metadata.xml | 5 +
 dev-lang/mercury/metadata.xml| 5 +
 dev-lang/mozart-stdlib/metadata.xml  | 5 +
 dev-lang/mozart/metadata.xml | 5 +
 net-misc/pedro/metadata.xml  | 5 +
 5 files changed, 5 insertions(+), 20 deletions(-)

diff --git a/dev-lang/mercury-extras/metadata.xml 
b/dev-lang/mercury-extras/metadata.xml
index ea24723e851e..d6a4b0b729f8 100644
--- a/dev-lang/mercury-extras/metadata.xml
+++ b/dev-lang/mercury-extras/metadata.xml
@@ -1,10 +1,7 @@
 
 https://www.gentoo.org/dtd/metadata.dtd;>
 
-
-  k...@gentoo.org
-  Keri Harris
-
+
 
   Enable support for tommath library
 

diff --git a/dev-lang/mercury/metadata.xml b/dev-lang/mercury/metadata.xml
index 2b1197df03e1..99628dd871a5 100644
--- a/dev-lang/mercury/metadata.xml
+++ b/dev-lang/mercury/metadata.xml
@@ -1,10 +1,7 @@
 
 https://www.gentoo.org/dtd/metadata.dtd;>
 
-  
-k...@gentoo.org
-Keri Harris
-  
+  
   
 Support Mercury Erlang grade
 Support Mercury trail grades

diff --git a/dev-lang/mozart-stdlib/metadata.xml 
b/dev-lang/mozart-stdlib/metadata.xml
index 79e2ba1aced7..85e4ed814fa2 100644
--- a/dev-lang/mozart-stdlib/metadata.xml
+++ b/dev-lang/mozart-stdlib/metadata.xml
@@ -1,8 +1,5 @@
 
 https://www.gentoo.org/dtd/metadata.dtd;>
 
-
-  k...@gentoo.org
-  Keri Harris
-
+
 

diff --git a/dev-lang/mozart/metadata.xml b/dev-lang/mozart/metadata.xml
index 5bbf98d6810e..16ef0f221f64 100644
--- a/dev-lang/mozart/metadata.xml
+++ b/dev-lang/mozart/metadata.xml
@@ -1,10 +1,7 @@
 
 https://www.gentoo.org/dtd/metadata.dtd;>
 
-   
-   k...@gentoo.org
-   Keri Harris
-   
+   

mozart/mozart2


diff --git a/net-misc/pedro/metadata.xml b/net-misc/pedro/metadata.xml
index 776ccf273d9d..85e4ed814fa2 100644
--- a/net-misc/pedro/metadata.xml
+++ b/net-misc/pedro/metadata.xml
@@ -1,8 +1,5 @@
 
 https://www.gentoo.org/dtd/metadata.dtd;>
 
-
-   k...@gentoo.org
-   Keri Harris
-
+

[gentoo-commits] repo/gentoo:master commit in: dev-lang/mozart-stdlib/

2022-10-15 Thread Sam James 
commit: 44564cbfb09d2d3c5905f4b192c716654b021a3b
Author: Sam James  gentoo  org>
AuthorDate: Sun Oct 16 00:23:27 2022 +
Commit: Sam James  gentoo  org>
CommitDate: Sun Oct 16 00:23:48 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=44564cbf

dev-lang/mozart-stdlib: drop to ~x86

Slacking stabilisation for sbt.

Signed-off-by: Sam James  gentoo.org>

 dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild 
b/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild
index c9826227a597..933aec7b6d3d 100644
--- a/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild
+++ b/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
@@ -15,7 +15,7 @@ 
SRC_URI="https://dev.gentoo.org/~keri/distfiles/mozart-stdlib/${MY_PN}-${PV}.tar
 
 LICENSE="Mozart"
 SLOT="0"
-KEYWORDS="amd64 x86"
+KEYWORDS="amd64 ~x86"
 IUSE=""
 
 RDEPEND=">=dev-lang/mozart-2.0.1"

[gentoo-commits] repo/gentoo:master commit in: dev-lang/mozart-stdlib/

2021-05-09 Thread Andreas Sturmlechner 
commit: 5991ddf5a021e8d8b07190d0f824c6046a14d059
Author: Andreas Sturmlechner  gentoo  org>
AuthorDate: Mon Apr  5 12:18:09 2021 +
Commit: Andreas Sturmlechner  gentoo  org>
CommitDate: Sun May  9 20:51:01 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5991ddf5

dev-lang/mozart-stdlib: Tidyup, use cmake.eclass

Drop superfluous and post-inherit BUILD_DIR, CMAKE_USE_DIR

Package-Manager: Portage-3.0.18, Repoman-3.0.3
Signed-off-by: Andreas Sturmlechner  gentoo.org>

 dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild | 11 +++
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild 
b/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild
index 024329f0def..c9826227a59 100644
--- a/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild
+++ b/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild
@@ -1,11 +1,10 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
 
-inherit cmake-utils
-
 MY_PN=mozart2-stdlib
+inherit cmake
 
 PATCHSET_VER="0"
 
@@ -23,14 +22,10 @@ RDEPEND=">=dev-lang/mozart-2.0.1"
 DEPEND="${RDEPEND}"
 
 S="${WORKDIR}/${MY_PN}"
-BUILD_DIR="${S}/build"
-CMAKE_USE_DIR="${S}"
 
 src_prepare() {
if [[ -d "${WORKDIR}"/${PV} ]] ; then
eapply "${WORKDIR}"/${PV}
fi
-   eapply_user
-
-   cmake-utils_src_prepare
+   cmake_src_prepare
 }

[gentoo-commits] repo/gentoo:master commit in: dev-lang/mozart-stdlib/files/, dev-lang/mozart-stdlib/

2020-09-11 Thread Keri Harris 
commit: 42fbf51fccf61197a377967b84de3ac48fa99307
Author: Keri Harris  gentoo  org>
AuthorDate: Fri Sep 11 14:38:37 2020 +
Commit: Keri Harris  gentoo  org>
CommitDate: Fri Sep 11 14:38:37 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=42fbf51f

dev-lang/mozart-stdlib: remove old (broken) version

Package-Manager: Portage-2.3.103, Repoman-2.3.22
Signed-off-by: Keri Harris  gentoo.org>

 dev-lang/mozart-stdlib/Manifest|  1 -
 .../files/mozart-stdlib-1.4.0-docroot.patch| 13 
 .../files/mozart-stdlib-1.4.0-ozload.patch | 13 
 .../mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild| 35 --
 4 files changed, 62 deletions(-)

diff --git a/dev-lang/mozart-stdlib/Manifest b/dev-lang/mozart-stdlib/Manifest
index 35d4e0af1e8..740685a3e6a 100644
--- a/dev-lang/mozart-stdlib/Manifest
+++ b/dev-lang/mozart-stdlib/Manifest
@@ -1,3 +1,2 @@
-DIST mozart-1.4.0.20080704-std.tar.gz 1305359 BLAKE2B 
1dc665a801f2ab1a87b6256279cf097053865b6d78c8131f15188b5b5e25d4b70c34c8dc590b9c4c708ece9821ba1d46fc62ddec698471ff5c629dfcee171a71
 SHA512 
5b9d9811d739c3533b7f1fa98757d842b506d58a3fd5d89ee2c1d9c036b3130f152da05b19036c8c1609057e361d71b106a728afea47140ebab3b4fc82441aed
 DIST mozart-stdlib-2.0.1-gentoo-patchset-0.tar.gz 1237 BLAKE2B 
c18fbaba2860faed1ab1b53cc9ead90af338da8fc673c08e167463c784e1b31ec9b6edadb1a55cf70d25f545e88fa226ccec313df09f1ecaa16eb619f9242b8d
 SHA512 
84f2c44124901f63ee11706cdd573b2f6a4eb8427d12560be8f0772bb872ca9f5a14ad3f047ce64da8060188f21ccf774b1866ecc439381294822c6d9a41f2eb
 DIST mozart2-stdlib-2.0.1.tar.gz 1315353 BLAKE2B 
b2bd25634dc9194af6dc5e23da369515b3a55e0b23bf6d1bf312d0b8eb9f92eee732ea9cf14ebd659e0e296f77c1b1cffa13a74885279bfc5fc0be5d583fd8c3
 SHA512 
8bb481b00cd9b62aef348dba9e905b3210d1a2fd219cf561d7d243dc0ead135d3ca53378a5945deedfc67ae076ca72008dd098f4a326f00992764123b682f79c

diff --git a/dev-lang/mozart-stdlib/files/mozart-stdlib-1.4.0-docroot.patch 
b/dev-lang/mozart-stdlib/files/mozart-stdlib-1.4.0-docroot.patch
deleted file mode 100644
index f4102a47b27..000
--- a/dev-lang/mozart-stdlib/files/mozart-stdlib-1.4.0-docroot.patch
+++ /dev/null
@@ -1,13 +0,0 @@
 mozart-1.4.0.20080704-std.orig/Makefile.in 2004-05-19 02:22:05.0 
+1200
-+++ mozart-1.4.0.20080704-std/Makefile.in  2010-11-20 13:33:30.0 
+1300
-@@ -25,8 +25,8 @@
-   cd ozmake && $(MAKE) ozmake.ozf
- 
- install: all
--  $(OZENGINE) ozmake/ozmake.ozf --prefix=$(CYG_PREFIX) 
--srcdir=$(CYG_SRCDIR) --install --nosavedb
--  $(OZENGINE) ozmake/ozmake.ozf --prefix=$(CYG_PREFIX) 
--srcdir=$(CYG_SRCDIR)/ozmake --builddir=$(CYG_BUILDDIR_OZMAKE) --install 
--nosavedb
-+  $(OZENGINE) ozmake/ozmake.ozf --prefix=$(CYG_PREFIX) 
--srcdir=$(CYG_SRCDIR) --docroot=$(DOCROOT) --install --nosavedb
-+  $(OZENGINE) ozmake/ozmake.ozf --prefix=$(CYG_PREFIX) 
--srcdir=$(CYG_SRCDIR)/ozmake --builddir=$(CYG_BUILDDIR_OZMAKE) 
--docroot=$(DOCROOT) --install --nosavedb
- 
- export CLEANDIR
- 

diff --git a/dev-lang/mozart-stdlib/files/mozart-stdlib-1.4.0-ozload.patch 
b/dev-lang/mozart-stdlib/files/mozart-stdlib-1.4.0-ozload.patch
deleted file mode 100644
index 6cdc6153f6e..000
--- a/dev-lang/mozart-stdlib/files/mozart-stdlib-1.4.0-ozload.patch
+++ /dev/null
@@ -1,13 +0,0 @@
 mozart-1.4.0.20080704-std.orig/ozmake/Makefile.in  2004-04-01 
00:52:55.0 +1200
-+++ mozart-1.4.0.20080704-std/ozmake/Makefile.in   2008-07-06 
19:56:25.0 +1200
-@@ -37,8 +37,8 @@
- 
- # these additional 2 lines makes it possible to build in a directory
- # different from the source directory
--OZLOAD = 
prefix=$(CYGSRCDIR)=$(CYGBUILDDIR)$(OZLOADSEP)root=$(CYGBUILDDIR)$(OZLOADSEP)root=$(CYGSRCDIR)$(OZLOADSEP)cache=~/.oz/cache$(OZLOADSEP)cache=$(OZHOME)/cache
--export OZLOAD
-+#OZLOAD = 
prefix=$(CYGSRCDIR)=$(CYGBUILDDIR)$(OZLOADSEP)root=$(CYGBUILDDIR)$(OZLOADSEP)root=$(CYGSRCDIR)$(OZLOADSEP)cache=~/.oz/cache$(OZLOADSEP)cache=$(OZHOME)/cache
-+#export OZLOAD
- 
- XSLTPROC  = @VAR_XSLTPROC@
- LYNX  = @VAR_LYNX@

diff --git a/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild 
b/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild
deleted file mode 100644
index 16efae7b182..000
--- a/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild
+++ /dev/null
@@ -1,35 +0,0 @@
-# Copyright 1999-2019 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-MY_P="mozart-${PV}.20080704-std"
-
-DESCRIPTION="The Mozart Standard Library"
-HOMEPAGE="https://mozart.github.io/ https://github.com/mozart/mozart;
-SRC_URI="mirror://sourceforge/project/mozart-oz/v1/1.4.0-2008-07-02-tar/${MY_P}.tar.gz"
-LICENSE="Mozart"
-
-SLOT="0"
-KEYWORDS="-amd64 ppc -ppc64 x86"
-
-DEPEND="dev-lang/mozart"
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}"/${MY_P}
-
-PATCHES=( "${FILESDIR}"/${P}-ozload.patch
-   "${FILESDIR}"/${P}-docroot.patch )
-
-src_install() {
-   emake \
-

[gentoo-commits] repo/gentoo:master commit in: dev-lang/mozart-stdlib/

2020-07-28 Thread Keri Harris 
commit: 66127460dc2fab74534928c3d3f5e09dc2dc1004
Author: Keri Harris  gentoo  org>
AuthorDate: Tue Jul 28 19:34:26 2020 +
Commit: Keri Harris  gentoo  org>
CommitDate: Tue Jul 28 19:34:26 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=66127460

dev-lang/mozart-stdlib: stable on amd64 + x86. Bug 734090

Package-Manager: Portage-2.3.103, Repoman-2.3.22
Signed-off-by: Keri Harris  gentoo.org>

 dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild 
b/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild
index c599cda1e3a..024329f0def 100644
--- a/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild
+++ b/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild
@@ -16,7 +16,7 @@ 
SRC_URI="https://dev.gentoo.org/~keri/distfiles/mozart-stdlib/${MY_PN}-${PV}.tar
 
 LICENSE="Mozart"
 SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 x86"
 IUSE=""
 
 RDEPEND=">=dev-lang/mozart-2.0.1"

[gentoo-commits] repo/gentoo:master commit in: dev-lang/mozart-stdlib/

2020-06-22 Thread Keri Harris 
commit: 0f2fc8edd4d9288bbd970ccaa7cb09e93ba2fc72
Author: Keri Harris  gentoo  org>
AuthorDate: Mon Jun 22 13:33:55 2020 +
Commit: Keri Harris  gentoo  org>
CommitDate: Mon Jun 22 13:34:45 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0f2fc8ed

dev-lang/mozart-stdlib: version bump

Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Keri Harris  gentoo.org>

 dev-lang/mozart-stdlib/Manifest   |  2 ++
 dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild | 36 +++
 2 files changed, 38 insertions(+)

diff --git a/dev-lang/mozart-stdlib/Manifest b/dev-lang/mozart-stdlib/Manifest
index 54decb0a0aa..35d4e0af1e8 100644
--- a/dev-lang/mozart-stdlib/Manifest
+++ b/dev-lang/mozart-stdlib/Manifest
@@ -1 +1,3 @@
 DIST mozart-1.4.0.20080704-std.tar.gz 1305359 BLAKE2B 
1dc665a801f2ab1a87b6256279cf097053865b6d78c8131f15188b5b5e25d4b70c34c8dc590b9c4c708ece9821ba1d46fc62ddec698471ff5c629dfcee171a71
 SHA512 
5b9d9811d739c3533b7f1fa98757d842b506d58a3fd5d89ee2c1d9c036b3130f152da05b19036c8c1609057e361d71b106a728afea47140ebab3b4fc82441aed
+DIST mozart-stdlib-2.0.1-gentoo-patchset-0.tar.gz 1237 BLAKE2B 
c18fbaba2860faed1ab1b53cc9ead90af338da8fc673c08e167463c784e1b31ec9b6edadb1a55cf70d25f545e88fa226ccec313df09f1ecaa16eb619f9242b8d
 SHA512 
84f2c44124901f63ee11706cdd573b2f6a4eb8427d12560be8f0772bb872ca9f5a14ad3f047ce64da8060188f21ccf774b1866ecc439381294822c6d9a41f2eb
+DIST mozart2-stdlib-2.0.1.tar.gz 1315353 BLAKE2B 
b2bd25634dc9194af6dc5e23da369515b3a55e0b23bf6d1bf312d0b8eb9f92eee732ea9cf14ebd659e0e296f77c1b1cffa13a74885279bfc5fc0be5d583fd8c3
 SHA512 
8bb481b00cd9b62aef348dba9e905b3210d1a2fd219cf561d7d243dc0ead135d3ca53378a5945deedfc67ae076ca72008dd098f4a326f00992764123b682f79c

diff --git a/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild 
b/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild
new file mode 100644
index 000..c599cda1e3a
--- /dev/null
+++ b/dev-lang/mozart-stdlib/mozart-stdlib-2.0.1.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit cmake-utils
+
+MY_PN=mozart2-stdlib
+
+PATCHSET_VER="0"
+
+DESCRIPTION="The Mozart Standard Library"
+HOMEPAGE="http://mozart2.org/;
+SRC_URI="https://dev.gentoo.org/~keri/distfiles/mozart-stdlib/${MY_PN}-${PV}.tar.gz
+   
https://dev.gentoo.org/~keri/distfiles/mozart-stdlib/${P}-gentoo-patchset-${PATCHSET_VER}.tar.gz;
+
+LICENSE="Mozart"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND=">=dev-lang/mozart-2.0.1"
+DEPEND="${RDEPEND}"
+
+S="${WORKDIR}/${MY_PN}"
+BUILD_DIR="${S}/build"
+CMAKE_USE_DIR="${S}"
+
+src_prepare() {
+   if [[ -d "${WORKDIR}"/${PV} ]] ; then
+   eapply "${WORKDIR}"/${PV}
+   fi
+   eapply_user
+
+   cmake-utils_src_prepare
+}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/mozart-stdlib/

2019-05-11 Thread Mikle Kolyada 
commit: 3a16691021032350757d9585c586b6f87b77ac1e
Author: Mikle Kolyada  gentoo  org>
AuthorDate: Sat May 11 16:45:04 2019 +
Commit: Mikle Kolyada  gentoo  org>
CommitDate: Sat May 11 16:45:04 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3a166910

dev-lang/mozart-stdlib: Drop old

Signed-off-by: Mikle Kolyada  gentoo.org>
Package-Manager: Portage-2.3.62, Repoman-2.3.11

 .../mozart-stdlib/mozart-stdlib-1.4.0-r1.ebuild| 40 --
 1 file changed, 40 deletions(-)

diff --git a/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r1.ebuild 
b/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r1.ebuild
deleted file mode 100644
index 898c3bfdbed..000
--- a/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r1.ebuild
+++ /dev/null
@@ -1,40 +0,0 @@
-# Copyright 1999-2019 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="2"
-
-inherit eutils
-
-MY_P="mozart-${PV}.20080704-std"
-
-DESCRIPTION="The Mozart Standard Library"
-HOMEPAGE="https://mozart.github.io/ https://github.com/mozart/mozart;
-SRC_URI="mirror://sourceforge/project/mozart-oz/v1/1.4.0-2008-07-02-tar/${MY_P}.tar.gz"
-LICENSE="Mozart"
-
-SLOT="0"
-KEYWORDS="-amd64 ppc -ppc64 x86"
-IUSE=""
-
-DEPEND="dev-lang/mozart"
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}"/${MY_P}
-
-src_prepare() {
-   epatch "${FILESDIR}"/${P}-ozload.patch
-   epatch "${FILESDIR}"/${P}-docroot.patch
-}
-
-src_install() {
-   emake \
-   PREFIX="${D}"/usr/lib/mozart \
-   DOCROOT="${D}"/usr/share/doc/${PF} \
-   install || die "emake install failed"
-
-   dosym /usr/lib/mozart/bin/ozmake /usr/bin/ozmake || die
-
-   doman ozmake/ozmake.1 || die
-   docinto mozart-ozmake
-   dodoc ozmake/{DESIGN,NOTES,README} || die
-}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/mozart-stdlib/

2019-05-11 Thread Mikle Kolyada 
commit: eae089dfd0c83c6d54c5d01efe05761d66b43991
Author: Mikle Kolyada  gentoo  org>
AuthorDate: Sat May 11 16:44:22 2019 +
Commit: Mikle Kolyada  gentoo  org>
CommitDate: Sat May 11 16:44:22 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=eae089df

dev-lang/mozart-stdlib: mark stable

Signed-off-by: Mikle Kolyada  gentoo.org>
Package-Manager: Portage-2.3.62, Repoman-2.3.11

 dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild 
b/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild
index 5ea3d580e6a..16efae7b182 100644
--- a/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild
+++ b/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="mirror://sourceforge/project/mozart-oz/v1/1.4.0-2008-07-02-tar/${MY_P}.
 LICENSE="Mozart"
 
 SLOT="0"
-KEYWORDS="-amd64 ~ppc -ppc64 ~x86"
+KEYWORDS="-amd64 ppc -ppc64 x86"
 
 DEPEND="dev-lang/mozart"
 RDEPEND="${DEPEND}"

[gentoo-commits] repo/gentoo:master commit in: dev-lang/mozart-stdlib/

2019-04-09 Thread Patrice Clement 
commit: f5db7a4c5b43317683079cbcd54339b4c7c6443b
Author: Michael Mair-Keimberger  gmail  com>
AuthorDate: Wed Mar  6 18:54:53 2019 +
Commit: Patrice Clement  gentoo  org>
CommitDate: Tue Apr  9 22:21:23 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f5db7a4c

dev-lang/mozart-stdlib: fix HOMEPAGE and SRC_URI.

Signed-off-by: Michael Mair-Keimberger  gmail.com>
Signed-off-by: Patrice Clement  gentoo.org>

 dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r1.ebuild | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r1.ebuild 
b/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r1.ebuild
index 53c6e040555..898c3bfdbed 100644
--- a/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r1.ebuild
+++ b/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI="2"
@@ -8,8 +8,8 @@ inherit eutils
 MY_P="mozart-${PV}.20080704-std"
 
 DESCRIPTION="The Mozart Standard Library"
-HOMEPAGE="http://www.mozart-oz.org/;
-SRC_URI="http://www.mozart-oz.org/download/mozart-ftp/store/1.4.0-2008-07-02-tar/mozart-1.4.0.20080704-std.tar.gz;
+HOMEPAGE="https://mozart.github.io/ https://github.com/mozart/mozart;
+SRC_URI="mirror://sourceforge/project/mozart-oz/v1/1.4.0-2008-07-02-tar/${MY_P}.tar.gz"
 LICENSE="Mozart"
 
 SLOT="0"

[gentoo-commits] repo/gentoo:master commit in: dev-lang/mozart-stdlib/

2019-04-09 Thread Patrice Clement 
commit: 1607416ed0580c71878c25e28ad2c3814b1ac4bb
Author: Michael Mair-Keimberger  gmail  com>
AuthorDate: Wed Mar  6 18:57:28 2019 +
Commit: Patrice Clement  gentoo  org>
CommitDate: Tue Apr  9 22:21:24 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1607416e

dev-lang/mozart-stdlib: EAPI7, improve ebuild.

Signed-off-by: Michael Mair-Keimberger  gmail.com>
Signed-off-by: Patrice Clement  gentoo.org>

 .../mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild| 35 ++
 1 file changed, 35 insertions(+)

diff --git a/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild 
b/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild
new file mode 100644
index 000..5ea3d580e6a
--- /dev/null
+++ b/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild
@@ -0,0 +1,35 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+MY_P="mozart-${PV}.20080704-std"
+
+DESCRIPTION="The Mozart Standard Library"
+HOMEPAGE="https://mozart.github.io/ https://github.com/mozart/mozart;
+SRC_URI="mirror://sourceforge/project/mozart-oz/v1/1.4.0-2008-07-02-tar/${MY_P}.tar.gz"
+LICENSE="Mozart"
+
+SLOT="0"
+KEYWORDS="-amd64 ~ppc -ppc64 ~x86"
+
+DEPEND="dev-lang/mozart"
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}"/${MY_P}
+
+PATCHES=( "${FILESDIR}"/${P}-ozload.patch
+   "${FILESDIR}"/${P}-docroot.patch )
+
+src_install() {
+   emake \
+   PREFIX="${D}"/usr/lib/mozart \
+   DOCROOT="${D}"/usr/share/doc/${PF} \
+   install
+
+   dosym /usr/lib/mozart/bin/ozmake /usr/bin/ozmake
+
+   doman ozmake/ozmake.1
+   docinto mozart-ozmake
+   dodoc ozmake/{DESIGN,NOTES,README}
+}

[gentoo-commits] repo/gentoo:master commit in: dev-lang/mozart-stdlib/files/

2016-11-06 Thread David Seifert 
commit: 79d0d005fcef8fc765dc2615663502fa1e7b67c6
Author: Michael Mair-Keimberger (asterix)  gmail 
 com>
AuthorDate: Sat Aug  6 15:01:29 2016 +
Commit: David Seifert  gentoo  org>
CommitDate: Sun Nov  6 19:31:59 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=79d0d005

dev-lang/mozart-stdlib: remove unused patches

Closes: https://github.com/gentoo/gentoo/pull/2167

Signed-off-by: David Seifert  gentoo.org>

 .../files/mozart-stdlib-1.3.2-doc.patch| 179 -
 .../files/mozart-stdlib-1.3.2-ozmake.patch |  78 -
 .../files/mozart-stdlib-1.3.2-r1-ozmake.patch  |  78 -
 3 files changed, 335 deletions(-)

diff --git a/dev-lang/mozart-stdlib/files/mozart-stdlib-1.3.2-doc.patch 
b/dev-lang/mozart-stdlib/files/mozart-stdlib-1.3.2-doc.patch
deleted file mode 100644
index 1752bb9..
--- a/dev-lang/mozart-stdlib/files/mozart-stdlib-1.3.2-doc.patch
+++ /dev/null
@@ -1,179 +0,0 @@
-diff -ur mozart-1.3.2.20060615-std.orig/adt/makefile.oz 
mozart-1.3.2.20060615-std/adt/makefile.oz
 mozart-1.3.2.20060615-std.orig/adt/makefile.oz 2004-05-19 
11:40:35.0 +1200
-+++ mozart-1.3.2.20060615-std/adt/makefile.oz  2007-02-17 12:29:43.0 
+1300
-@@ -4,14 +4,5 @@
- 'Dictionary.ozf' 'Cell.ozf'
- %%'Generator.ozf'
-]
--   doc : [
--'index.html'
--'cell.html'
--'counter.html'
--'dictionary.html'
--%%'generator.html'
--'queue.html'
--'stack.html'
--]
- 
-)
-diff -ur mozart-1.3.2.20060615-std.orig/makefile.oz 
mozart-1.3.2.20060615-std/makefile.oz
 mozart-1.3.2.20060615-std.orig/makefile.oz 2004-05-19 20:05:19.0 
+1200
-+++ mozart-1.3.2.20060615-std/makefile.oz  2007-02-17 12:29:25.0 
+1300
-@@ -10,12 +10,4 @@
-'os'
-'net'
-   ]
--   doc: [
--   'index.html'
--   'ozdoc.css'
--   'page.gif'
-- 'string.html'
-- 'mapping.html'
-- 'generator.html'
--  ]
-)
-diff -ur mozart-1.3.2.20060615-std.orig/net/makefile.oz 
mozart-1.3.2.20060615-std/net/makefile.oz
 mozart-1.3.2.20060615-std.orig/net/makefile.oz 2004-05-18 
11:33:41.0 +1200
-+++ mozart-1.3.2.20060615-std/net/makefile.oz  2007-02-17 12:29:54.0 
+1300
-@@ -1,4 +1,3 @@
- makefile(
-lib : ['URL.ozf']
--   doc : ['index.html' 'url.html']
-)
-\ No newline at end of file
-diff -ur mozart-1.3.2.20060615-std.orig/os/makefile.oz 
mozart-1.3.2.20060615-std/os/makefile.oz
 mozart-1.3.2.20060615-std.orig/os/makefile.oz  2004-05-18 
11:33:41.0 +1200
-+++ mozart-1.3.2.20060615-std/os/makefile.oz   2007-02-17 12:30:07.0 
+1300
-@@ -1,4 +1,3 @@
- makefile(
-lib : ['Path.ozf' 'Shell.ozf']
--   doc : ['index.html' 'path.html' 'shell.html']
-)
-diff -ur mozart-1.3.2.20060615-std.orig/wp/makefile.oz 
mozart-1.3.2.20060615-std/wp/makefile.oz
 mozart-1.3.2.20060615-std.orig/wp/makefile.oz  2004-05-18 
11:33:41.0 +1200
-+++ mozart-1.3.2.20060615-std/wp/makefile.oz   2007-02-17 12:30:24.0 
+1300
-@@ -2,5 +2,4 @@
-subdirs : ['qtk'
- %'qhtml'
-]
--   doc : ['index.html']
-)
-diff -ur mozart-1.3.2.20060615-std.orig/wp/qtk/makefile.oz 
mozart-1.3.2.20060615-std/wp/qtk/makefile.oz
 mozart-1.3.2.20060615-std.orig/wp/qtk/makefile.oz  2004-02-28 
03:05:22.0 +1300
-+++ mozart-1.3.2.20060615-std/wp/qtk/makefile.oz   2007-02-17 
12:31:29.0 +1300
-@@ -117,96 +117,4 @@
-%%src : ['QTk.ozf' 'QTkDevel.ozf' 'QTkBare.ozf']
-rules   : o(
-   'QTk.ozf' : ozl('QTkBare.ozf'))
--   doc : ['html/button.gif'
--'html/bwoz1.gif'
--'html/canvas.gif'
--'html/checkbutton.gif'
--'html/color.gif'
--'html/dropdownlistbox.gif'
--'html/entry.gif'
--'html/grid.gif'
--'html/index.html'
--'html/label.gif'
--'html/line.gif'
--'html/listbox.gif'
--'html/listcont.oz'
--'html/load.gif'
--'html/menubutton.gif'
--'html/message.gif'
--'html/node1.html'
--'html/node10.html'
--'html/node11.html'
--'html/node12.html'
--'html/node13.html'
--'html/node14.html'
--'html/node15.html'
--'html/node16.html'
--'html/node17.html'
--'html/node18.html'
--'html/node19.html'
--'html/node2.html'
--'html/node20.html'
--'html/node21.html'
--'html/node22.html'
--'html/node23.html'
--'html/node24.html'
--'html/node25.html'
--'html/node26.html'
--'html/node27.html'
--'html/node28.html'
--'html/node29.html'
--