* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_core/
@ 2016-03-22 10:07 Alexis Ballier
0 siblings, 0 replies; 5+ messages in thread
From: Alexis Ballier @ 2016-03-22 10:07 UTC (permalink / raw
To: gentoo-commits
commit: 86851a2158594601b49c95269e1f98d862db108d
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 22 09:36:01 2016 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Mar 22 10:06:58 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=86851a21
dev-ml/ppx_core: bump to 113.33.00
Package-Manager: portage-2.2.28
Signed-off-by: Alexis Ballier <aballier <AT> gentoo.org>
dev-ml/ppx_core/Manifest | 1 +
dev-ml/ppx_core/ppx_core-113.33.00.ebuild | 38 +++++++++++++++++++++++++++++++
2 files changed, 39 insertions(+)
diff --git a/dev-ml/ppx_core/Manifest b/dev-ml/ppx_core/Manifest
index 12f8f37..395b82c 100644
--- a/dev-ml/ppx_core/Manifest
+++ b/dev-ml/ppx_core/Manifest
@@ -1 +1,2 @@
DIST ppx_core-113.24.00.tar.gz 80849 SHA256 aa67133ad9a9fd28214bd073ed50b22d4b26748d9b35cc378684cc09312843f8 SHA512 d88d440aeea6892a8ffeb9314d1745d100afce5504d2d4d73954b36869ed1266add6d92fdcfa473a2a8d6f0877b3a721a57e2c5748f154e22320578219d1cf4a WHIRLPOOL 675ce05fe7d408709175afbef75b76dd9e0ece2912df6b173cf371019feff6e903b5231cfadbf2dc9b239378459e7f7ab393a1892253fd55f2b60279e860fb9a
+DIST ppx_core-113.33.00.tar.gz 81206 SHA256 460e052c82b954506aead3b1102f8342954013642acbf81b75f0b5a53fb45e1c SHA512 bf4e4720f14bc8c23b7d517bccd2ef2894099bafbfa5c0e9adb70fd7881ac81787c0500050edd94716c32fd0f3e71d7f9c5e3d0e500c967c4feaeaa2db9fc924 WHIRLPOOL 3da6f5477f9b395bc5d31d208b120c696d9e30eaf606677ecdceeb2be07920d59681406acb06f0404e6db981601037137a5323424c0284b54dc8f28ddf21ece6
diff --git a/dev-ml/ppx_core/ppx_core-113.33.00.ebuild b/dev-ml/ppx_core/ppx_core-113.33.00.ebuild
new file mode 100644
index 0000000..d00d096
--- /dev/null
+++ b/dev-ml/ppx_core/ppx_core-113.33.00.ebuild
@@ -0,0 +1,38 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+inherit oasis
+
+DESCRIPTION="Standard library for ppx rewriters"
+HOMEPAGE="http://www.janestreet.com/ocaml"
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND="dev-ml/ppx_tools:="
+RDEPEND="${DEPEND}"
+DEPEND="${DEPEND} dev-ml/opam"
+
+src_configure() {
+ emake setup.exe
+ OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure
+}
+
+src_compile() {
+ emake
+}
+
+src_install() {
+ opam-installer -i \
+ --prefix="${ED}/usr" \
+ --libdir="${D}/$(ocamlc -where)" \
+ --docdir="${ED}/usr/share/doc/${PF}" \
+ ${PN}.install || die
+ dodoc CHANGES.md
+}
^ permalink raw reply related [flat|nested] 5+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_core/
@ 2017-01-24 11:40 Alexis Ballier
0 siblings, 0 replies; 5+ messages in thread
From: Alexis Ballier @ 2017-01-24 11:40 UTC (permalink / raw
To: gentoo-commits
commit: c18527b80a55513a45eb32504e0e6a18184b74f9
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Jan 24 11:35:02 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Jan 24 11:35:02 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c18527b8
dev-ml/ppx_core: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-ml/ppx_core/Manifest | 1 -
dev-ml/ppx_core/ppx_core-113.24.00.ebuild | 38 -------------------------------
2 files changed, 39 deletions(-)
diff --git a/dev-ml/ppx_core/Manifest b/dev-ml/ppx_core/Manifest
index 395b82c..5491a6b 100644
--- a/dev-ml/ppx_core/Manifest
+++ b/dev-ml/ppx_core/Manifest
@@ -1,2 +1 @@
-DIST ppx_core-113.24.00.tar.gz 80849 SHA256 aa67133ad9a9fd28214bd073ed50b22d4b26748d9b35cc378684cc09312843f8 SHA512 d88d440aeea6892a8ffeb9314d1745d100afce5504d2d4d73954b36869ed1266add6d92fdcfa473a2a8d6f0877b3a721a57e2c5748f154e22320578219d1cf4a WHIRLPOOL 675ce05fe7d408709175afbef75b76dd9e0ece2912df6b173cf371019feff6e903b5231cfadbf2dc9b239378459e7f7ab393a1892253fd55f2b60279e860fb9a
DIST ppx_core-113.33.00.tar.gz 81206 SHA256 460e052c82b954506aead3b1102f8342954013642acbf81b75f0b5a53fb45e1c SHA512 bf4e4720f14bc8c23b7d517bccd2ef2894099bafbfa5c0e9adb70fd7881ac81787c0500050edd94716c32fd0f3e71d7f9c5e3d0e500c967c4feaeaa2db9fc924 WHIRLPOOL 3da6f5477f9b395bc5d31d208b120c696d9e30eaf606677ecdceeb2be07920d59681406acb06f0404e6db981601037137a5323424c0284b54dc8f28ddf21ece6
diff --git a/dev-ml/ppx_core/ppx_core-113.24.00.ebuild b/dev-ml/ppx_core/ppx_core-113.24.00.ebuild
deleted file mode 100644
index d00d096..00000000
--- a/dev-ml/ppx_core/ppx_core-113.24.00.ebuild
+++ /dev/null
@@ -1,38 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-inherit oasis
-
-DESCRIPTION="Standard library for ppx rewriters"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND="dev-ml/ppx_tools:="
-RDEPEND="${DEPEND}"
-DEPEND="${DEPEND} dev-ml/opam"
-
-src_configure() {
- emake setup.exe
- OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure
-}
-
-src_compile() {
- emake
-}
-
-src_install() {
- opam-installer -i \
- --prefix="${ED}/usr" \
- --libdir="${D}/$(ocamlc -where)" \
- --docdir="${ED}/usr/share/doc/${PF}" \
- ${PN}.install || die
- dodoc CHANGES.md
-}
^ permalink raw reply related [flat|nested] 5+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_core/
@ 2017-09-10 14:45 Sergei Trofimovich
0 siblings, 0 replies; 5+ messages in thread
From: Sergei Trofimovich @ 2017-09-10 14:45 UTC (permalink / raw
To: gentoo-commits
commit: 448d1908be1d62a763605d4952bd94fad589a3c3
Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 10 14:43:50 2017 +0000
Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
CommitDate: Sun Sep 10 14:45:01 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=448d1908
dev-ml/ppx_core: keyworded 0.9.0-r1 for ppc, bug #627836
Package-Manager: Portage-2.3.8, Repoman-2.3.3
RepoMan-Options: --include-arches="ppc"
dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild b/dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild
index be04409bc0f..889a65390b0 100644
--- a/dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild
+++ b/dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild
@@ -9,7 +9,7 @@ SRC_URI="https://github.com/janestreet/ppx_core/archive/v${PV}.tar.gz -> ${P}.ta
LICENSE="Apache-2.0"
SLOT="0/${PV}"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~ppc"
IUSE=""
DEPEND="
^ permalink raw reply related [flat|nested] 5+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_core/
@ 2018-02-14 14:30 Thomas Deutschmann
0 siblings, 0 replies; 5+ messages in thread
From: Thomas Deutschmann @ 2018-02-14 14:30 UTC (permalink / raw
To: gentoo-commits
commit: ea9b6d39692ac112ee3295ef5ea2c2d9e113e14a
Author: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
AuthorDate: Wed Feb 14 14:24:20 2018 +0000
Commit: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
CommitDate: Wed Feb 14 14:24:20 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ea9b6d39
dev-ml/ppx_core: x86 keyworded (bug #627836)
Package-Manager: Portage-2.3.24, Repoman-2.3.6
dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild b/dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild
index 18dc742c243..b7479abd2f4 100644
--- a/dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild
+++ b/dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/ppx_core/archive/v${PV}.tar.gz -> ${P}.ta
LICENSE="Apache-2.0"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~ppc"
+KEYWORDS="~amd64 ~ppc ~x86"
IUSE=""
DEPEND="
^ permalink raw reply related [flat|nested] 5+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_core/
@ 2021-04-04 6:10 Sam James
0 siblings, 0 replies; 5+ messages in thread
From: Sam James @ 2021-04-04 6:10 UTC (permalink / raw
To: gentoo-commits
commit: 40ca0c512b3cd06e93f243bb13e712f4fb86485c
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Mar 22 04:14:03 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Apr 4 06:09:28 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=40ca0c51
dev-ml/ppx_core: treeclean
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/ppx_core/Manifest | 1 -
dev-ml/ppx_core/metadata.xml | 8 --------
dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild | 26 --------------------------
3 files changed, 35 deletions(-)
diff --git a/dev-ml/ppx_core/Manifest b/dev-ml/ppx_core/Manifest
deleted file mode 100644
index 62a261436de..00000000000
--- a/dev-ml/ppx_core/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST ppx_core-0.9.0.tar.gz 44525 BLAKE2B a2d67d6ba07217446af11f0e7030197f8894fd271b9eebefefa03a01ccb8692b1d866accf192926ea9193d639e1c551b085875baf877eb396d5a75c847378ec6 SHA512 04b0e096aa545c27f040feeea8745078e0fb9dbe4816ade6d3f39b6690da669c6c786334381dbccd74dfd46514ae88c6475b14db8c3216167a6acfea79601e06
diff --git a/dev-ml/ppx_core/metadata.xml b/dev-ml/ppx_core/metadata.xml
deleted file mode 100644
index be8727d0004..00000000000
--- a/dev-ml/ppx_core/metadata.xml
+++ /dev/null
@@ -1,8 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
- <!-- maintainer-needed -->
- <upstream>
- <remote-id type="github">janestreet/ppx_core</remote-id>
- </upstream>
-</pkgmetadata>
diff --git a/dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild b/dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild
deleted file mode 100644
index b7479abd2f4..00000000000
--- a/dev-ml/ppx_core/ppx_core-0.9.0-r1.ebuild
+++ /dev/null
@@ -1,26 +0,0 @@
-# Copyright 1999-2018 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Standard library for ppx rewriters"
-HOMEPAGE="https://github.com/janestreet/ppx_core"
-SRC_URI="https://github.com/janestreet/ppx_core/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~ppc ~x86"
-IUSE=""
-
-DEPEND="
- dev-ml/base:=
- dev-ml/ocaml-compiler-libs:=
- dev-ml/ppx_ast:=
- dev-ml/ppx_traverse_builtins:=
- dev-ml/stdio:=
- dev-ml/ocaml-migrate-parsetree:=
-"
-RDEPEND="${DEPEND}"
-DEPEND="${DEPEND} dev-ml/jbuilder"
^ permalink raw reply related [flat|nested] 5+ messages in thread
end of thread, other threads:[~2021-04-04 6:10 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-04-04 6:10 [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_core/ Sam James
-- strict thread matches above, loose matches on Subject: below --
2018-02-14 14:30 Thomas Deutschmann
2017-09-10 14:45 Sergei Trofimovich
2017-01-24 11:40 Alexis Ballier
2016-03-22 10:07 Alexis Ballier
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox