csmith-project / creduce

C-Reduce, a C and C++ program reducer
Other
1.31k stars 123 forks source link

Windows support: Precompiled executable #180

Open JVApen opened 5 years ago

JVApen commented 5 years ago

Every time I find myself in need of Creduce on windows, I struggle to get it compiling till I finally give up and reduce things manually during a whole day (or 2). Would it be possible to provide precompiled binaries for the Windows platform?

(Most likely to be tagged as feature request)

eeide commented 5 years ago

Hmm. I'm not sure that @regehr or I would be good providers/maintainers of precompiled Windows binaries. (I am not a Windows user at all.)

You might be interested in this, though: https://github.com/zjturner/creduce-windows

Trass3r commented 5 years ago

You could try using it from WSL.

oscarfv commented 5 years ago

Or from MSYS2:

pacman -S mingw-w64-x86_64-creduce

This is a native Windows package with the advantage that, if you find it convenient, you can use creduce from a POSIX environment (bash, grep, etc).

qbolec commented 3 years ago

Hi! The steps described at https://github.com/zjturner/creduce-windows are awesome and almost worked for me, so I've filed this addendum to it https://github.com/zjturner/creduce-windows/issues/2 - which I share here, because its one of the places I've found when struggling to find help with building C-Reduce on Windows in order to be able to file a bug in LLVM.

Trass3r commented 3 years ago

I've usually fallen back to https://github.com/CyberShadow/DustMite/issues/14#issuecomment-44059346 for Windows-only bugs in the past, even though it wasn't meant for C++ it still works nicely and doesn't have awkward dependencies like perl. Though nowadays I guess I'd WSL for that too. It's possible to call Windows executables from there.