Code

Restore some of the JS build#1

Code

Merged

protz merged 8 commits intomainInria-Prosecco/mls-star:mainfrom protz_jsInria-Prosecco/mls-star:protz_jsCopy head branch name to clipboardFeb 1, 2024

+296-1,759

Commits

Commits on Jan 29, 2024

• Remove needless wildcard for a pattern match that is provably complete

  msprotz

  committed
  2835e13

  Copy full SHA for 2835e13

• Add support for OTHERFLAGS, per consistency with other projects

  msprotz

  committed
  2839d7d

  Copy full SHA for 2839d7d

Commits on Jan 30, 2024

• A bit of fiddling to restore the JS build. (Won't load yet, I presume.)

  msprotz

  committed
  75c219a

  Copy full SHA for 75c219a

Commits on Jan 31, 2024

• Good riddance: zarith and integers now have dedicated OPAM packages

  msprotz

  committed
  67812f2

  Copy full SHA for 67812f2

• ci: add javascript build to nix flake check

  TWal

  committed
  028a46a

  Copy full SHA for 028a46a

Commits on Feb 1, 2024

• Ha ha. Figured out the missing crucial bit of information in the dune file to make linking work properly

  msprotz

  committed
  d314e70

  Copy full SHA for d314e70

• Backport some modifications from the previous branch

  msprotz

  committed
  0b5a0f3

  Copy full SHA for 0b5a0f3

• Missing files

  msprotz

  committed
  ddce5be

  Copy full SHA for ddce5be