dev-ml / ppx_import

A syntax extension for importing declarations from interface files

Official package sites : https://github.com/ocaml-ppx/ppx_import/ ·

v1.9.1 :: 0/1.9.1 :: gentoo

Modified
License
MIT
Keywords
~amd64 ~x86
USE flags
ocamlopt test

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / dune : A composable build system for OCaml

dev-ml / ppxlib : Base library and tools for ppx rewriters

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / dune : A composable build system for OCaml

dev-ml / ppxlib : Base library and tools for ppx rewriters

sci-mathematics / coq-serapi : Serialization library and protocol for interaction with the Coq proof assistant

Repository mirror & CI · gentoo
Merge updates from master
François-Xavier Carton · gentoo
dev-ml/ppx_import: require ppxlib>=24.0
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/26926 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-ml/ppx_import: new package; add 1.9.1
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
dev-ml/*: Remove first set of unneeded leaf packages
Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
*/*: [QA] Fix trivial cases of MissingTestRestrict
The result was achieved via the following pipeline: pkgcheck scan -c RestrictTestCheck -R FormatReporter \ --format '{category}/{package}/{package}-{version}.ebuild' | xargs -n32 grep -L RESTRICT | xargs -n32 sed -i -e '/^IUSE=.*test/aRESTRICT="!test? ( test )"' The resulting metadata was compared before and after the change. Few Go ebuilds had to be fixed manually due to implicit RESTRICT=strip added by the eclass. Two ebuilds have to be fixed because of multiline IUSE. Suggested-by: Robin H. Johnson <robbat2@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/13942 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Alexis Ballier · gentoo
dev-ml/ppx_import: convert to opam.eclass
Package-Manager: Portage-2.3.7, Repoman-2.3.3
Alexis Ballier · gentoo
dev-ml/ppx_import: Remove old
Package-Manager: Portage-2.3.7, Repoman-2.3.3
Alexis Ballier · gentoo
dev-ml/ppx_import: bump to 1.2
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Alexis Ballier · gentoo
dev-ml/ppx_import: fix homepage
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Alexis Ballier · gentoo
dev-ml/ppx_import: initial import; ebuild by me
Package-Manager: portage-2.3.0