4 Commits

Include renames

Author	SHA1	Message	Date
Josh French	1d14ffdb30	Use makefile for a reusable docker image	2022-10-11 11:13:38 -04:00
ReFil	de48875a50	Update build.sh ... Remove DTS file listing requirement that was deprecated in teh move to Z3	2022-09-26 21:18:54 +01:00
Ryan Winchester	9517b0ccff	Add Dockerfile optimizations ... @ThePrimeagen did these on-stream.	2022-05-20 21:08:18 -03:00
Ryan Winchester	068b1ff56a	Add local build option with Docker and README	2022-05-20 16:59:56 -03:00