Fix cross-platform build: replace symlinks with copy_files#4085

Open

elefthei wants to merge 33 commits intoFStarLang:masterfrom

elefthei:fix/windows-misc

Commits on Feb 2, 2026

Simplify build system: remove esy, use dune directly
Lef Ioannidis
committed
Fix RBSet type annotation for --dep dune directory expansion
Lef Ioannidis
committed
Trigger CI
Lef Ioannidis
committed
Retry CI
Lef Ioannidis
committed
Retry CI
Lef Ioannidis
committed

Commits on Feb 3, 2026

Add --proof_recovery for flaky alloc_ proof in LowStar.RVector
Lef Ioannidis
committed
Make Windows CI do full native build (stage0-stage2) with tests
Lef Ioannidis
committed
Add Windows build to main CI workflow
Lef Ioannidis
committed
Remove --proof_recovery pragma (not settable), keep --z3rlimit 20
Lef Ioannidis
committed
Fix Windows FSTAR_EXE path: use cygpath -m for dune compatibility
Lef Ioannidis
committed
Use bash commands (mkdir, cp) on Windows CI since we run in Cygwin
Lef Ioannidis
committed
Switch Windows CI to PowerShell, remove Cygwin dependency
Lef Ioannidis
committed
Windows CI: use winget opam + MSYS2 GMP; increase z3rlimit to 80 for flaky proof
Lef Ioannidis
committed
Fix Windows PATH after winget install, add missing CP variable for Linux
Lef Ioannidis
committed
Use MSVC via opam install system-msvc, fix opam env setup
Lef Ioannidis
committed
Remove strict out/ check in setlink-2 - just recreate with symlinks
Lef Ioannidis
committed
Fix Windows CI: add -y flags and remove --switch=default
Lef Ioannidis
committed
Revert to ocaml/setup-ocaml for Windows CI, add USE_UNIX_CMDS detection
Lef Ioannidis
committed
Remove duplicate test target definition
Lef Ioannidis
committed
Bump OCaml version from 5.3 to 5.4 in opam CI
Lef Ioannidis
committed
Use ocaml/setup-ocaml@v2 for Windows CI (v3 has Cygwin path issues)
Lef Ioannidis
committed
Use ocaml/setup-ocaml@v3 with main opam-repository for zarith >= 1.14
Lef Ioannidis
committed
Add opam depext for gcc make flexdll on Windows
Lef Ioannidis
committed
Remove opam depext step (deprecated in opam 2.1+)
Lef Ioannidis
committed
Use cygwin-install-action for reliable Cygwin setup
Lef Ioannidis
committed
Use mirrors.dotsrc.org for Cygwin instead of kernel.org
Lef Ioannidis
committed
Add eval \$env:OPAM_LAST_ENV = 'C:\Users\eioannidis\AppData\Local\opam\.last-env\env-af1c662855dbfe768f60cb2a65c64014-0' $env:OPAM_SWITCH_PREFIX = 'C:\Users\eioannidis\AppData\Local\opam\default' $…
Lef Ioannidis
committed
Add debugging output to Windows build
Lef Ioannidis
committed
Fix FSTAR_EXE path for Cygwin: convert to Windows path for dune
Lef Ioannidis
committed
chore(ci): pre-install all Cygwin packages for setup-ocaml
Lef Ioannidis
committed
chore(ci): use cache-prefix v2 to force fresh opam cache
Lef Ioannidis
committed
fix(ci): use cygpath -m for mixed-mode paths on Cygwin
Lef Ioannidis
committed
fix(ci): run setlink-2 to set up out/bin directory after build
Lef Ioannidis
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Fix cross-platform build: replace symlinks with copy_files#4085

Fix cross-platform build: replace symlinks with copy_files#4085
elefthei wants to merge 33 commits intoFStarLang:masterfrom
elefthei:fix/windows-misc

Commits on Feb 2, 2026

Simplify build system: remove esy, use dune directly

Fix RBSet type annotation for --dep dune directory expansion

Trigger CI

Retry CI

Retry CI

Commits on Feb 3, 2026

Add --proof_recovery for flaky alloc_ proof in LowStar.RVector

Make Windows CI do full native build (stage0-stage2) with tests

Add Windows build to main CI workflow

Remove --proof_recovery pragma (not settable), keep --z3rlimit 20

Fix Windows FSTAR_EXE path: use cygpath -m for dune compatibility

Use bash commands (mkdir, cp) on Windows CI since we run in Cygwin

Switch Windows CI to PowerShell, remove Cygwin dependency

Windows CI: use winget opam + MSYS2 GMP; increase z3rlimit to 80 for flaky proof

Fix Windows PATH after winget install, add missing CP variable for Linux

Use MSVC via opam install system-msvc, fix opam env setup

Remove strict out/ check in setlink-2 - just recreate with symlinks

Fix Windows CI: add -y flags and remove --switch=default

Revert to ocaml/setup-ocaml for Windows CI, add USE_UNIX_CMDS detection

Remove duplicate test target definition

Bump OCaml version from 5.3 to 5.4 in opam CI

Use ocaml/setup-ocaml@v2 for Windows CI (v3 has Cygwin path issues)

Use ocaml/setup-ocaml@v3 with main opam-repository for zarith >= 1.14

Add opam depext for gcc make flexdll on Windows

Remove opam depext step (deprecated in opam 2.1+)

Use cygwin-install-action for reliable Cygwin setup

Use mirrors.dotsrc.org for Cygwin instead of kernel.org

Add eval \$env:OPAM_LAST_ENV = 'C:\Users\eioannidis\AppData\Local\opam\.last-env\env-af1c662855dbfe768f60cb2a65c64014-0' $env:OPAM_SWITCH_PREFIX = 'C:\Users\eioannidis\AppData\Local\opam\default' $…

Add debugging output to Windows build

Fix FSTAR_EXE path for Cygwin: convert to Windows path for dune

chore(ci): pre-install all Cygwin packages for setup-ocaml

chore(ci): use cache-prefix v2 to force fresh opam cache

fix(ci): use cygpath -m for mixed-mode paths on Cygwin

fix(ci): run setlink-2 to set up out/bin directory after build