[Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=835

--- Comment #41 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Jacob Lifshay from comment #40)

> I could try, but as i don't use it myself (because imho the scripts take the
> wrong approach to installing/using software -- running as root and not using
> a venv among other things), i'm probably not the right person to maintain it.

jacob they're unbelievably important to the project!

those scripts have saved new developers *weeks* because they
download and install hundreds of packages.

they should be your *very first* port of call and helping to keep
them up-to-date so that other people's lives can be made easier
should be your absolute top priority!

they are also the "reproducible build" scripts that ensure and
guarantee that every developer is reproducing the exact same
software development environment.

we cannot possibly submit GDS-II files to a Foundry, paying out
USD 16 million on masks when two developers have *different*
GDS-II files and it turns out they installed an untested library
because they didn't use the Project's official reproducible
build scripts

this is *really* fundamental. whether you *like* how they're
done is, sorry to have to say this, completely irrelevant
next to how absolutely critically important they are.

-- 
You are receiving this mail because:
You are on the CC list for the bug.