Code

Steps towards MSVC support#157

Code

Merged

xavierleroy merged 5 commits intoocaml:masterocaml/Zarith:masterfrom dra27:msvcdra27/Zarith:msvcCopy head branch name to clipboardSep 9, 2024

+46-33

Commits

Commits on Sep 8, 2024

• Use $(...) instead of ...

  dra27

  committed
  ff5a552

  Copy full SHA for ff5a552

• Generate Makefile.config instead of Makefile

  dra27

  committed
  b718e20

  Copy full SHA for b718e20

• Move Windows-tests from Makefile to configure

  Show description for a463401
  dra27

  committed
  a463401

  Copy full SHA for a463401

• Missing patterns in .gitignore

  dra27

  committed
  a6e3c4f

  Copy full SHA for a6e3c4f

• Strip CR characters from more commands

  Show description for 78c9f89
  dra27

  committed
  78c9f89

  Copy full SHA for 78c9f89