dev-ml / ppx_ignore_instrumentation

Ignore Jane Street specific instrumentation extensions

Official package sites : https://github.com/janestreet/ppx_ignore_instrumentation ·

Versions

v0.17.0 :: 0/0.17 :: gentoo

Modified
License
MIT
Keywords
~amd64 ~arm64 ~ppc ~ppc64
USE flags
ocamlopt

v0.16.0 :: 0/0.16 :: gentoo

Modified
License
MIT
Keywords
amd64 arm arm64 ppc64 x86 ~ppc ~riscv
USE flags
ocamlopt

v0.15.0-r1 :: 0/0.15 :: gentoo

Modified
License
MIT
Keywords
amd64 arm arm64 x86 ~ppc ~ppc64 ~riscv
USE flags
ocamlopt

USE flags

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

Dependencies

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

Runtime Dependencies

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

Depending packages

dev-ml / core : Jane Street's alternative to the standard library

dev-ml / core_kernel : System-independent part of Core

dev-ml / ppx_jane : Standard Jane Street ppx rewriters

Change logs

Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/ppx_ignore_instrumentation: unkeyword 0.17.0 for ~riscv
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/ppx_ignore_instrumentation: add 0.17.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/ppx_ignore_instrumentation: Stabilize 0.16.0 ppc64, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/ppx_ignore_instrumentation: Stabilize 0.16.0 arm64, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/ppx_ignore_instrumentation: Stabilize 0.16.0 arm, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/ppx_ignore_instrumentation: Stabilize 0.16.0 x86, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/ppx_ignore_instrumentation: Stabilize 0.16.0 amd64, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/ppx_ignore_instrumentation: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 ppc64, #892131
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 ppc, #892131
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/ppx_ignore_instrumentation: Stabilize 0.15.0-r1 arm64, #901571
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/ppx_ignore_instrumentation: Stabilize 0.15.0-r1 arm, #901571
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/ppx_ignore_instrumentation: Stabilize 0.15.0-r1 x86, #901571
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/ppx_ignore_instrumentation: stabilize 0.15.0-r1 for amd64
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 arm, #892131
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 arm64, #892131
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 x86, #892131
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Yixun Lan · gentoo
dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 riscv, #892131
Signed-off-by: Yixun Lan <dlan@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/ppx_ignore_instrumentation: fix OCaml dep
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/ppx_ignore_instrumentation: add to tree
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>