Gentoo Project

ML

Bug Reports

• dev-lang/ocaml fails to build on x32 (with patch)

  555598 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/polyml-5.8 : <snip> Segmentation fault | ../../poly -q -error-exit

  713178 - Assigned to Gentoo musl team
• dev-ml/num installs files that contain a TEXTREL on x86

  723750 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/camlp4-4.08_p1 installs files that contain a TEXTREL

  737442 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/zarith-1.9.1 installs files that contain a TEXTREL

  738418 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ocamlbuild-0.14.0-r1 - fails several tests

  749975 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/lablgtk:2 depends on app-text/gtkspell:2 and x11-libs/gtk+:2

  769287 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/opam-core-2.0.8-r1 fails to compile

  804082 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ppx_js_style-0.14.0 - Error: This expression has type Ocaml_common.Warnings.alert option

  817131 - Assigned to Mark Wright
• dev-ml/extlib-1.7.8 - Error: This expression has type bytes but an expression was expected of type

  829611 - Assigned to Gentoo musl team
• dev-lang/smlnj-110.99.3 - /.../run.amd64-linux: Fatal error -- Uncaught exception SysErr with <unknown> raised at <sysconf.c>

  829616 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ocplib-simplex-0.4 does not respect CFLAGS

  832814 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/smlnj-110.99.2 - configure: error: A compiler with support for C++14 language features is required.

  833806 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/neko-2.3.0-r1 - ninja: build stopped: subcommand failed.

  836171 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/merlin-4.5 fails tests

  838142 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/opam: tries to use bubblewrap (was: dev-ml/opam-2.1.2 fails test)

  838658 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/opam-format-2.1.2-r1 fails tests

  872587 - Assigned to Gentoo Team for the ML programming language family
• dev-util/patdiff-0.15.0 - clang-15: error: linker command failed with exit code 1 (use -v to see invocation)

  878623 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/smlnj-110.99.3 - ../.../gen-posix-names.sh:line <snip>: clang: command not found

  878625 - Assigned to Gentoo Team for the ML programming language family
• dev-util/coccinelle-1.1.1-r3 calls commands that do not exist: opam

  878865 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/lablgtk-2.18.12 - ocamlfind: sourceView2Enums.ml: No such file or directory

  879039 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/alt-ergo-2.4.2-r1 fails to compile (lto): undefined reference to zlibstubs.c.2afc682a

  879171 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/smlnj-110.99.3 - ../.../unix-prof.c: error: incompatible function pointer types

  880959 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/ocaml-4.11.2-r2 - interp.c: error: passing arguments to a function without a prototype is

  882361 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ocamlfuse-2.7.1_p7-r1 - [ERROR] Opam has not been initialised, please run opam init

  882375 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/smlnj-110.99.3 - ../.../vproc-state.h: fatal error: system-signals.h: No such file or directory

  882389 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ppx_deriving-5.2.1 fails to compile (CLANG-STRICTER-SYSTEM): Error: Files findlib_dynload.cmxa

  886589 - Assigned to Gentoo Team for the ML programming language family
• dev-util/coccinelle-1.1.1-r4 - /.../install: cannot create regular file .../spgen: No such file or directory

  888769 - Assigned to Gentoo Team for the ML programming language family
• dev-util/coccinelle-1.1.1-r4 - emerge hangs at few tinderbox images

  888779 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ocaml_intrinsics-0.15.2: Target not supported on riscv

  893612 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/cppo-1.6.7 fail to compile: Error: Library "ocamlbuild" not found.

  896386 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/opam-installer-2.1.2-r1: fails tests

  901729 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/cinaps-0.15.1 fails tests: "ppx.exe: unknown option '-allow-toplevel-expression'"

  905097 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/why3-1.6.0 - Error: Cannot load ppx_sexp_conv: this object file uses unsafe features

  906225 - Assigned to François-Xavier Carton
• sci-mathematics/kind2-1.9.0 - ERROR: sci-mathematics/kind2-1.9.0::gentoo failed (compile phase):

  909732 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/alcotest-1.4.0 fails to compile

  911406 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ocaml-ctypes-0.20.1 - Error: Unbound module Bigarray_compat

  911531 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/stdune-3.9.1 - ERROR: dev-ml/stdune-3.9.1::gentoo failed (compile phase):

  911555 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/smlnj-110.99.4 - make[1]: [makefile:430: ../c-libs/posix-signal/libposix-signal.a] Error 2

  911785 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/camlp5-8.01.00 installs less files with FEATURES="test"

  911844 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/smlnj-110.99.4 - ../.../ml-base.h: fatal error: ml-sizes.h: No such file or directory

  911877 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/core_unix-0.16.0-r1 - Failed to run command: dune build @install --display=short --profile release -j 5

  914063 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/labltk-8.06.12-r2 - make[1]: No rule to make target dummy.cmi, needed by shell.cmo. Stop.

  915315 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/base-0.16.3 - Failed to run command: dune build @install --display=short --profile release -j 5

  915497 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/logs-0.7.0-r1 fails to compile with USE=test with =dev-ml/mtime-2.0.0

  915792 - Assigned to Gentoo Team for the ML programming language family
• dev-util/patdiff-0.14.0-r1 - Failed to run command: dune build @install --display=short --profile release -j 4

  916187 - Assigned to Gentoo Team for the ML programming language family
• =dev-ml/dune-2.9.3-r3 fails tests

  918639 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ocamlfuse-2.7.1_p7-r1 - [clang] Fuse_util.c: error: incompatible integer to pointer conversion initializing void with an expression of type int [-Wint-

  919196 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/alt-ergo-2.4.3 - Failed to run command: dune build @install --display=short --profile release -j 4 --for-release-of-packages=alt-ergo-

  919248 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/labltk-8.06.12-r2 - cltkVar.c: error: passing argument 5 of Tcl_UntraceVar2 from incompatible pointer type [-Wincompatible-pointer-types]

  919294 - Assigned to Gentoo Team for the ML programming language family

Stabilization Bug Reports

• dev-ml/opam-2.0.10: stabilisation

  896100 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/dune-2.9.3-r3: stabilisation

  896102 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/lwt-5.7.0, dev-ml/luv-0.5.11-r2: stablereq

  915368 - Assigned to Gentoo Team for the ML programming language family

Keywording Bug Reports

• dev-ml/async_unix: rekeywording

  909070 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/core_bench: rekeywording

  909071 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/facile: rekeywording

  909072 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/alcotest: rekeywording

  909074 - Assigned to Gentoo Team for the ML programming language family