Code

WIP: macOS static binaries#1067

Code

Closed

bclement-ocp wants to merge 10 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom bclement-ocp:multibinbclement-ocp/alt-ergo:multibinCopy head branch name to clipboard

+198-51

Commits

Commits on Mar 20, 2024

• feat: Statically linked binary releases

  Show description for aa09d3d
  bclement-ocp

  committed
  aa09d3d

  Copy full SHA for aa09d3d

• WIP: Docker

  bclement-ocp

  committed
  ee897a3

  Copy full SHA for ee897a3

• WIP WIP

  bclement-ocp

  committed
  1e599bc

  Copy full SHA for 1e599bc

• WIPPITY

  bclement-ocp

  committed
  09993d2

  Copy full SHA for 09993d2

• WIP

  bclement-ocp

  committed
  bf4fcd5

  Copy full SHA for bf4fcd5

• WIP

  bclement-ocp

  committed
  1229dcb

  Copy full SHA for 1229dcb

• WIP

  bclement-ocp

  committed
  33f2a4e

  Copy full SHA for 33f2a4e

Commits on Mar 21, 2024

• macOS

  bclement-ocp

  committed
  14f35ae

  Copy full SHA for 14f35ae

• There is already a switch

  bclement-ocp

  committed
  40bba3f

  Copy full SHA for 40bba3f

• still need to install deps......

  bclement-ocp

  committed
  db42948

  Copy full SHA for db42948