Skip to content
Success

Changes

Summary

  1. Fix INRIA CI job other-configs (details)
  2. fixes suggested by reviewer (details)
  3. Fix ocamltest criterion for using `-custom` to link test file. (#14230) (details)
  4. manual(etex): trim leading spaces (#14228) (details)
  5. Fix test-in-prefix (#14216) (details)
Commit cb0f2beca7e3b2530f5d3fde2d31e57f44d79a17 by damien.doligez
Fix INRIA CI job other-configs
The file was modifiedtools/ci/inria/other-configs/script (diff)
The file was modifiedtools/ci/inria/main (diff)
Commit 2d294ca2a47f974cc7121d2180bd1e5b464384a2 by damien.doligez
fixes suggested by reviewer
The file was modifiedtools/ci/inria/other-configs/script (diff)
The file was modifiedtools/ci/inria/main (diff)
Commit a18fbb7881ca8e95f1a738ac524888b697c8187d by noreply
Fix ocamltest criterion for using `-custom` to link test file. (#14230)

Ocamltest uses the wrong criterion when deciding whether to link the
test program with `-custom`.

Instead of looking at the libraries being linked and checking them
for dynamically-linked C code, simply check their `lib_custom` flag.
The file was modifiedChanges (diff)
The file was modifiedocamltest/ocaml_actions.ml (diff)
Commit 7cd5ca2e2357f3d895d4b23980dac826f0eb2bd8 by noreply
manual(etex): trim leading spaces (#14228)

The file was modifiedChanges (diff)
The file was modifiedmanual/src/library/builtin.etex (diff)
Commit 374aee416bc98d2e6db15b495f05bbb7d88ecfae by noreply
Fix test-in-prefix (#14216)

Add `flexlink.exe` and `ocamllex.exe` to the list of files that do not
link with the Config module. Normally, these are symlinks to `*.byte.exe`
or `*.opt.exe` but (depending on Windows shenanigans) `configure` may
decide to use `cp` instead of `ln -s`.
The file was modifiedtestsuite/tools/testRelocation.ml (diff)