search

AeneasVerif / eurydice

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
Apache License 2.0
21 stars 1 forks source link

Build fails with Terminal 0.3.0 #10

Closed franziskuskiefer closed 3 months ago

franziskuskiefer commented 4 months ago

The build fails with

File "bin/main.ml", line 41, characters 23-36:
41 |   let terminal_width = Terminal.Size.(match get_dimensions () with Some d -> d.columns | None -> 80) in

when using the current version of Terminal (0.3.0). Downgrading to 0.2.2 solves the issue.

msprotz commented 4 months ago

The error message is: Error: Unbound module Terminal.Size

msprotz commented 4 months ago

https://github.com/craigfe/progress/issues/42

msprotz commented 4 months ago

Temporarily worked around in 94eb31d, let's see what upstream says. Thanks for the bug report.

msprotz commented 3 months ago

I don't know how to set up the build so that dune refuses to proceed unless the correct terminal version is installed. @W95Psp? but at least if you opam upgrade terminal, then you should be good