CodeCompass icon indicating copy to clipboard operation
CodeCompass copied to clipboard

Fetch the latest Build2 version

Open mcserep opened this issue 4 years ago • 2 comments

As described in #411 , for some yet unknown reasons, Build2 version 0.12.0 no longer succeeds to build on Ubuntu 18.04 after version 0.13.0 was released.

It shall be investigated whether this was intended by developers of Build2. If so, a general solution would be to always download the latest version of Build2.

mcserep avatar Jul 26 '20 11:07 mcserep

Fixed by #411.

bruntib avatar Aug 05 '20 08:08 bruntib

This is not fixed by #411, as updating to version 0.13.0 currently fixed the problem, but unless we dynamically fetch the newest version, this might become a problem in the future again.

mcserep avatar Aug 05 '20 09:08 mcserep