Add CLI option to specify platform libraries #10

Open
Diomidis Spinellis wants to merge 1 commits from DSpinellis/cycles:platform-arg into main

When changing the target branch, be careful to rebase the branch in your fork to match. See documentation.

1 Commits

Author SHA1 Message Date
6e436b1746
Add CLI option to specify platform libraries
The guessing of platform libraries depends on heuristics, which can
fail, e.g. on Cygwin.  Add a CLI option to specify libraries to use.
2024-02-25 20:02:46 +02:00