Fixing example

Madx

Feb 2, 2026, 8:53 PM

JCS2SUISCBQVDGEYAU7JQ6US5VVIY75OPA23QVP7E6QOJWYFW2KAC

Dependencies

• [2] D7MVXDG2 Adding an example
• [3] 6BIW5YDC Rust builder: compiling the crates

Change contents

• replacement in examples/hello/build.ml at line 4
  [2.200]→[2.200:333](∅→∅)
  − let _ =

  − build

  − (object (self)

  − inherit std_derivation

  − method name = "test"

  − method! src = self#local_src "."
  [2.200]

  [2.333]
  + let _ = let deriv =

  + (object (self)

  + inherit std_derivation

  + method name = "test"

  +

  + method! build_inputs =

  + Lwt.return

  + [

  + ubuntu "gcc";

  + ubuntu "libc6-dev";

  + ubuntu "make";

  + ubuntu "coreutils";

  + ubuntu "libstdc++-13-dev";

  + ]
• replacement in examples/hello/build.ml at line 19
  [2.334]→[2.334:397](∅→∅),[2.397]→[3.0:161](∅→∅),[3.161]→[2.638:660](∅→∅),[2.638]→[2.638:660](∅→∅)
  − method! build_inputs =

  − Lwt.return

  − [

  − ubuntu "gcc";

  − ubuntu "libc6-dev";

  − ubuntu "make";

  − ubuntu "coreutils";

  − ubuntu "libstdc++-13-dev";

  − ]

  − end)
  [2.334]
  + method! src =

  + Lwt.return (local_src ".")

  + end) in

  + build (deriv :> derivation)