Gentoo Project

ML

Bug Reports

• dev-lang/smlnj-110.99.4 - /.../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/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-lang/smlnj-110.99.4 - ../.../unix-prof.c: error: incompatible function pointer types

  880959 - 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 - 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
• 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/dune-2.9.3-r3 fails tests

  918639 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/facile-1.1.4 - Failed to run command: dune build @install --display=short --profile release -j 4

  922969 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/polyml-5.9.1 installs files that contain a TEXTREL

  925181 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/smlnj-110.99.6.1 does not respect LDFLAGS

  925182 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/smlnj-110.99.6.1 installs files that contain a TEXTREL

  925183 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/smlnj-110.99.6.1 installs '.a' files without static-libs USE

  925184 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/polyml-5.9.1 - [ncurses-6.5] [gcc-15] [llvm] emake failed

  932493 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ocaml-ctypes-0.21.1-r2 will fail to build if dev-lang/ocaml is built with -flto under clang-18

  936947 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/why3-1.6.0 - [ncurses-6.5] [icu-75.1] [gcc-15] make inconsistent assumptions over interface Nat

  937720 - Assigned to François-Xavier Carton
• dev-lang/smlnj-110.99.5 - x86_64-pc-linux-musl-ar: posix-procenv-lib.o: No such file or directory

  938202 - Assigned to Gentoo musl team
• dev-lang/smlnj-110.99.5 - [gcc-15] ../.../ml-base.h: fatal error: ml-sizes.h: No such file or directory

  939302 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/uunf-15.1.0-r1 - [libtool] [gcc-15] pkg.ml: [ERROR] cmd [ocamlbuild -use-ocamlfind -classic-display -j 4 -tag debug

  941441 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/yojson-2.2.2-r1 - [libtool] [gcc-15] make inconsistent assumptions over interface Stdppx

  941458 - Assigned to François-Xavier Carton
• dev-lang/haxe-4.3.6 - [libtool] [gcc-15] make inconsistent assumptions over interface Stdppx

  941590 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/easycrypt-2024.09 - [libtool] [gcc-15] make inconsistent assumptions over interface Nat

  941624 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/core_unix-0.16.0-r1 - [libtool] [gcc-15] Failed to run command: dune build @install --display=short --profile release -j 4

  941782 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/psmt2-frontend-0.4.0 installs files that contain a TEXTREL

  942134 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/easycrypt-2024.09 - [gcc-15] Failed to run command: dune build @install --display=short --profile release -j 4

  942566 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/ocaml-4.14.2 installs files that contain a TEXTREL

  942867 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/findlib-1.9.6-r1 installs files that contain a TEXTREL

  943314 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ocamlbuild-0.15.0 installs files that contain a TEXTREL

  943315 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ocamlfuse-2.7.1_p11 fails to compile: Fuse_util.c:679:9: error: invalid use of undefined type const struct fuse_operation_names

  944080 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/neko-2.4.0 - [ncurses-6.5] [gcc-15] /.../neko.h: error: two or more data types in declaration specifiers

  944350 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/polyml-5.9.1 - [meson] [gcc-15] elf.h: error: expected constructor, destructor, or type conversion before ( token

  946090 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/why3-1.7.2 - [texlive] [meson] Error: Cannot find a physical path bound to logical path Flocq.Version.

  946556 - Assigned to François-Xavier Carton
• dev-ml/cudf-0.10-r1 fails to compile: read-only segment has dynamic relocations

  946804 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/smlnj-110.99.6.1 - [llvm] prototype is deprecated in all versions of C and is not supported in C23

  946978 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ounit2-2.2.7-r1 - [texlive] [meson] [gcc-15] make inconsistent assumptions over interface Unix

  949371 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/zmq-5.3.0 - [texlive] [meson] [gcc-15] make inconsistent assumptions over interface Unix

  949385 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/lwt_ssl-1.2.0 - [texlive] [meson] [gcc-15] make inconsistent assumptions over interface Unix

  949514 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/parmap-1.2.5 - [texlive] [meson] [gcc-15] make inconsistent assumptions over interface Unix

  949515 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/camlp4-4.14_p1-r2 - [texlive] [meson] [gcc-15] make inconsistent assumptions over interface Unix

  949532 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/haxe-4.3.6-r4 - Error: This expression has type

  952100 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ppx_deriving_yojson-3.9.0 - [gettext] [gcc-16] Failed to run command: dune

  959863 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ppx_optcomp-0.17.0-r1 - [gettext] Failed to run command: dune

  959864 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ppx_stable-0.17.0-r1 - [gettext] Failed to run command: dune

  960009 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/tyxml-4.6.0 - [gcc-16] Failed to run command: dune

  960022 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ppx_typerep_conv-0.17.0-r1 - Failed to run command: dune

  960033 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/elpi-2.0.7 - [gcc-16] Failed to run command: dune

  960035 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ppx_inline_test-0.17.0-r1 - Failed to run command: dune

  960037 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/qcheck-0.22 - [gcc-16] Failed to run command: dune

  960202 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/kind2-1.9.0 - [jdk25] Failed to run command: dune

  960250 - Assigned to Gentoo Team for the ML programming language family
• dev-util/patdiff-0.17.0 fails test - + start_test: command not found

  960341 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/extlib-1.8.0 - [gcc-16] emake failed

  960601 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/why3-1.8.1 - [gcc-16] emake failed

  960678 - Assigned to François-Xavier Carton
• dev-lang/ocaml-5.3.0-r1: File "_none_", line 1: Error: Files ocamldoc/odoc_info.cma(Odoc_misc) and otherlibs/unix/unix.cma(Unix) make inconsistent assumptions over interface Unix

  960956 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/0install-2.18-r1 - [jdk25] make inconsistent assumptions over implementation Lwt_engine

  961952 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ANSITerminal-0.8.5 - [gcc-16] Failed to run command: dune

  962266 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/coq-menhirlib-20240715 - [jdk25] [boost-1.89] Error: user-contrib/Stdlib/ZArith/ZArith.vo has bad version number 90000 (expected 90100).

  963525 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/ocaml-5.3.0-r1 - [portage-9999] [meson] [gcc-16] [ffmpeg8] [boost-1.89] Fatal error: unknown C primitive caml_unix_waitpid

  963864 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/neko-2.4.1 - [portage-9999] FAILED: [code=255] bin/nekotools.n /.../nekotools.n

  965956 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/why3-1.8.2 - [portage-9999] Error: Unbound value Ppxlib.Context_free.Rule.special_function

  968065 - Assigned to François-Xavier Carton
• dev-ml/opam-2.2.1 - [gcc-16] [sphinx-9] is not a compiled interface for this version of OCaml.

  968412 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/camomile-1.0.2 - [meson] [sphinx-9] Error: Unbound module Stream

  969107 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/why3-1.8.2 - [portage-9999] is not a compiled interface for this version of OCaml.

  969688 - Assigned to François-Xavier Carton
• dev-ml/tiny_httpd-0.19 - [portage-9999] is not a compiled interface for this version of OCaml.

  969694 - Assigned to Gentoo Team for the ML programming language family
• dev-lang/ocaml-5.4.0 fails test - [boost-1.90] [jdk26] make: [Makefile:<snip>: tests] Error 2

  970602 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/gapi-ocaml-0.4.7 with >=dev-ml/cryptokit-1.21 - Failed to run command: dune : Error: Unbound type constructor Cryptokit.RSA.key

  971205 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/opam-2.2.1-r1 - [glibc-2.43] [portage-9999] Failed to run command: dune

  972772 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/base-0.17.3 fails to compile: File array.ml, line 399, characters 28-75: 399 | result := Bool.select ((keep_left_if [@inlined]) (compare x !result)) x !result

  977435 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/graphics-5.2.0-r1 fails to compile: Error: Files configurator.cmxa

  978140 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/luv-0.5.14-r1 fails to compile: Error: Files ctypes_stubs.cmxa

  978141 - Assigned to Gentoo Team for the ML programming language family
• sys-fs/google-drive-ocamlfuse version bump request

  978839 - Assigned to Gentoo Team for the ML programming language family
• dev-util/coccinelle-1.3.1 does not respect CFLAGS

  979008 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/curses-1.0.12 fails to compile: Error: Files configurator.cmxa and unix.cmxa make inconsistent assumptions over interface Unix

  980678 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/pcre2-ocaml-8.0.3-r1 fails to compile: Error: Files configurator.cmxa and unix.cmxa make inconsistent assumptions over interface Unix

  980733 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/camlidl-1.13-r1 - [ffmpeg-9] [jdk27] [meson-9999] QA Notice: unstripped LTO libs

  982987 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/zarith-1.14 compilation fails when compiling with dev-lang/ocaml-5.5.1 — ocamlmklib reporting unknown option: -Wl,-O1

  984049 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/lwt-5.9.2 - [boost-1.92] [jdk27] socketaddr.h: error: expected declaration specifiers or ... before ( token

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

Stabilization Bug Reports

• dev-ml/luv-0.5.14-r1: ppc64 stabilisation

  962496 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/integers-0.8.0: stablereq

  983517 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/opam-common-2.5.2: stablereq

  983518 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/opam-2.5.2: stablereq

  983519 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/sedlex-3.7: stablereq

  983522 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/logs-0.10.0: stablereq

  983526 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/opam-installer-2.5.2: stablereq

  983528 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/calendars-2.0.0: stablereq

  983529 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/duration-0.3.1: stablereq

  983532 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/re-1.14.0: stablereq

  983535 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/jingoo-1.5.2: stablereq

  983536 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ocaml-base64-3.5.2: stablereq

  983539 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/ocaml-ctypes-0.24.0: stablereq

  983540 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/spawn-0.17.0: stablereq

  983541 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/uuidm-0.9.10: stablereq

  983544 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/opam-file-format-2.2.0-r1: stablereq

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

Keywording Bug Reports

• rekeyword dev-ml/async and friend on x86, riscv and arm

  959600 - Assigned to Gentoo Team for the ML programming language family
• Please rekeyword dev-ml/camlp5 on arm, arm64, ppc, ppc64, x86

  960402 - Assigned to Gentoo Team for the ML programming language family
• Please keyword opam packages

  972770 - Assigned to Gentoo Team for the ML programming language family
• dev-ml/dune: rekeyword

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