Skip to content

Windows support#56

Open
MisterDA wants to merge 5 commits intopqwy:masterfrom
MisterDA:dune-3-windows
Open

Windows support#56
MisterDA wants to merge 5 commits intopqwy:masterfrom
MisterDA:dune-3-windows

Conversation

@MisterDA
Copy link

This PR adds basic support for Windows to notty. We can retrieve the initial size of the terminal, but it's difficult (or nearly impossible) to be notified of changes to the dimensions of the window. The OCaml runtime (as of 5.3) doesn't support signals on Windows, and Windows has no support for the termios features, so disable them both. Passing by, also allow notty to be build with MSVC/clang-cl.
The PR is based on #54.

MisterDA and others added 5 commits March 25, 2025 17:30
Note that MSVC doesn't support the __attribute__((unused)) construct.

Signed-off-by: Ali Caglayan <alizter@gmail.com>
Signed-off-by: Antonin Décimo <antonin@tarides.com>
MSVC doesn't support the __attribute__ compiler extension. It also has
a different command-line syntax. Activate its warnings.
The OCaml runtime (as of 5.3) has no support for signals under
Windows. Windows terminals don't support termios (tcgetattr/tcsetattr)
functions. Avoid raising with unsupported functions.
semgrep-ci bot pushed a commit to semgrep/semgrep that referenced this pull request Apr 9, 2025
…semgrep-proprietary#3582)

This can be removed once pqwy/notty#56 is
released, or a new fork picking up the changes is published.

This is broken out of
semgrep/semgrep-proprietary#3550

synced from Pro 0fe7b0b3447a9d403d3adf785122fdde1e8a117e
semgrep-ci bot pushed a commit to semgrep/semgrep that referenced this pull request Apr 9, 2025
…semgrep-proprietary#3582)

This can be removed once pqwy/notty#56 is
released, or a new fork picking up the changes is published.

This is broken out of
semgrep/semgrep-proprietary#3550

synced from Pro 0fe7b0b3447a9d403d3adf785122fdde1e8a117e
emjin pushed a commit to semgrep/semgrep that referenced this pull request Apr 9, 2025
…semgrep-proprietary#3582)

This can be removed once pqwy/notty#56 is
released, or a new fork picking up the changes is published.

This is broken out of
semgrep/semgrep-proprietary#3550

synced from Pro 0fe7b0b3447a9d403d3adf785122fdde1e8a117e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants