windows installation?

[tdhock]

is it possible to install deepstate under windows?
Using standard Rtools? https://cran.r-project.org/bin/windows/Rtools/

[tdhock]

@agroce has anybody ever installed deepstate on windows? Our R package developers can be expected to have a basic compiler (Rtools) even on windows, but I'm not sure if they have all of these deps

sudo apt-get install build-essential gcc-multilib g++-multilib cmake python3-setuptools libffi-dev z3

are any of those optional? Just trying to figure out if there is some way we could get this working on windows with the existing build tools (Rtools) that windows R package developers will have on their systems.

[tdhock]

actually there are quite a few packages available for Rtools, see https://github.com/r-windows/rtools-packages
on that page I see

• https://github.com/r-windows/rtools-packages/tree/master/mingw-w64-libffi
• https://github.com/r-windows/rtools-packages/tree/master/mingw-w64-cmake
• https://github.com/r-windows/rtools-packages/tree/master/mingw-w64-python3

but not multilib, nor z3.

they can be installed with pacman (port of a linux distro package manager), see https://github.com/r-windows/docs/blob/master/rtools40.md#system-libraries-and-pacman

[agroce]

z3 you can live without, but I have no guess if it works on windows, really; nobody has tried afaik!

[tdhock]

@akhikolla do you have a windows system you could try that on? If it does not work can you please post an issue on https://github.com/trailofbits/deepstate and/or https://github.com/r-windows/rtools-packages (if there is a system/apt library that you need that is not yet supported by rtools).
If we can't get it working on windows, that is fine, we can just tell windows users to do it on travis or inside docker. But it would be nice because R packages are supposed to work on windows too.

[akhikolla]

Sure @tdhock I can try installing the package in windows using rtools and If I see any problems I'll post an issue.