Donn b91f251826 Move Binaries To Docker (#783) ...

+ Binaries can now either be built or fetched from Docker, not checked into repo history
+ Tool updater pushes docker images
+ Added git as a tool (the one in centos repos is very out of date)
+ Fixed Docker bashrc
~ Fixed cugr, drcu, and vlogtoverilog builds
~ Update CentOS 7 dependencies
~ Folded fetch_submodules into utils.py
~ Assorted Makefile Tweaks

2021-12-23 00:35:30 +02:00

..

Dockerfile

Move Binaries To Docker (#783)

2021-12-23 00:35:30 +02:00