On 09.09.2018 15:33, Adrian Bunk wrote: Hi Adrian,
Did you find the time to answer my question and re-test? Thanks! > I can confirm that it fixes the why3 build. > > Your solution is a bit ouch, but I understand why it is not easy to > fix in a better way. > Upstream decided to solve the problem a different way and has released version 1.5.1. New package is on [1], could you retest? Thanks! Hilmar [1] https://freeshell.de/~hille42/rubber/ -- sigfault #206401 http://counter.li.org
