11 Commits (optimise/summaries)

Author	SHA1	Message	Date
Nikhil Parasaram	bea0423eec	Enable buildkit	1 year ago
Nikhil Parasaram	45f10d1ca7	Support multiplatform build	1 year ago
Hal Blackburn	7dcefb5b8a	Arm64 Docker support (#1770) ... * Rework docker image to add arm64 support The mythril/myth image now builds for linux/arm64 as well as linux/amd64. To achieve this, we now use docker buildx to build the images and handle create a multi-platform image manifest. The build config is defined in a buildx bake file. By default it'll build both platforms at once, but you can build just one by overriding the platform on the command line: $ docker buildx bake --set='*.platform=linux/arm64' The solcx Python package doesn't support downloading solc for arm64, so the image now includes the svm command-line tool, which does. (svm is used by foundry to provide solc versions.) Integration with solcx is not automatic, so currently the image's docker-entrypoint.sh handles symlinking solc versions from svm into solcx's directory. In addition to supporting arm64, the image is now quite a bit smaller. ~400M vs 1.3G before. * Update docker image build script for new image * Remove the z3-solver pip platform hack When installing wheels in the Docker image, we previously used an ugly hack to force pip to install the z3-solver wheel, despite it having invalid platform metadata. Instead of bodging pip install in this way, we now fix the z3-solver wheel's metadata after building it, using `auditwheel addtag` to infer and apply compatible platform metadata, which allows pip to install the wheel normally.	2 years ago
JoranHonig	77fdbc81e3	use more secure approach to call docker (#1614)	3 years ago
Dr. Sergey Pogodin	e260db5056	Another fix of the docker build & release script	6 years ago
Dr. Sergey Pogodin	aeefb7416e	A misprint fix	6 years ago
Dr. Sergey Pogodin	5f8d7382ef	Fix of Docker build & release shell scrip	6 years ago
Dr. Sergey Pogodin	6e4ace9f73	Automatic releases of "develop" to "mythril/myth-dev" DockerHub container	6 years ago
Dr. Sergey Pogodin	3e3df2562d	Update of CircleCI config	7 years ago
Dr. Sergey Pogodin	73d95fb9bb	Few extra updates of CI/CD config and Docker releases	7 years ago
Dr. Sergey Pogodin	ad31fbec94	Automatic DockerHub releases (version bumped to v0.18.1 to test it)	7 years ago