Closed ivg closed 8 years ago
I realized that I have several commits on different projects that never made it out into merge requests. I'll try and get them out, because I've already solved this issue, and it was rather time consuming.
https://github.com/KennethAdamMiller/piqi/commit/8fcfc9a0b721a4e55007461e37347c3643dbd9d9
The problem is that this change is not in opam:
$ opam source piqilib
$ less piqilib.0.6.12/piqilib/Makefile | grep STATIC
STATIC = 1 # force creation of static library (don't create dlls)
I re-opened my laptop in the few minutes just before I leave to take a friend back to the airport and went to tell you I remembered that it had been made a merge request and the other stuff, but literally you had already found that out, ha :)
@ivg I'll cut a new stable version and push it to opam in the next couple of days. sorry about the delay.
the fix has been released as a part of piqilib-0.6.13
piqirun.ext
doesn't work from toplevel:The issue manifests at least for
0.6.12