2020-03-25 10:36:55 (GMT)
To all Zip developers,
If you want to use StarExec to evaluate Zip DO NOT compile with ocaml compiler 4.10
When you copy the binary over to SE, it will not work and Zipperposition seems impossible to link statically
(@Simon Cruanes when I gave flag -ccopt -static to ziperposition dune it complained)
Versions that I tested and that work are 4.08 and down
2020-03-25 13:36:21 (GMT)
Ugh, I should try it too then. So annoying.
Did you compile on their virtual machine?
What's the error like?