which means that for this to work, we need (at least) those packages:
rsync patch diffutils curl make unzip git m4 perl tar mingw-w64-cross-gcc mingw-w64-x86_64-pkg-config
Also, /opt/bin should be in the $PATH.
On my machine, I had to set CONFIG_SHELL to bash, but I had the same issue with the gcc/mingw64 builds, so it might just be related to my setup.
Finally the resulting binary of why3 requires copying a dll in the install, I haven't implemented this yet. But the build should work in theory.
Also, I haven't tested yet that these changes don't break linux builds.
I am following this guide:
https://gist.github.com/mnxn/93009346c1bd56f387daf28413152179
which means that for this to work, we need (at least) those packages:
rsync patch diffutils curl make unzip git m4 perl tar mingw-w64-cross-gcc mingw-w64-x86_64-pkg-config
Also,/opt/bin
should be in the$PATH
. On my machine, I had to setCONFIG_SHELL
tobash
, but I had the same issue with the gcc/mingw64 builds, so it might just be related to my setup. Finally the resulting binary of why3 requires copying a dll in the install, I haven't implemented this yet. But the build should work in theory. Also, I haven't tested yet that these changes don't break linux builds.