Code

Rewrite gen_link_flags in OCaml#1190

Code

Closed

Halbaroth wants to merge 3 commits intoOCamlPro:v2.5.xOCamlPro/alt-ergo:v2.5.xfrom Halbaroth:rewrite-gen-link-flags-backportHalbaroth/alt-ergo:rewrite-gen-link-flags-backportCopy head branch name to clipboard

+69-58

Commits

Commits on Jul 30, 2024

• Rewrite the gen_link_flags script in OCaml

  Halbaroth

  committed
  fb42c6a

  Copy full SHA for fb42c6a

• fix

  Halbaroth

  committed
  80c5845

  Copy full SHA for 80c5845

• Use Stdlib.input_line

  Halbaroth

  committed
  e7e2a0b

  Copy full SHA for e7e2a0b