Docker config reorganization

Harvard-PRINCESS / Guppy

A very adaptable fish.

Other

1 stars 3 forks source link

Docker config reorganization #98

Closed alexpatel closed 7 years ago

alexpatel commented 7 years ago

https://circleci.com/gh/Harvard-PRINCESS/Guppy/170

CircleCI runs both x86_64 on QEMU and ARMv7 on gem5
Make a docker/ directory and organize configs by machine/arch.
Add caching for x86_64 qemu build

The way that the caching works is by storing the base image with all the build dependencies installed on Docker Hub. If you set up an account I can give you write permissions on the repo.

p.s. omg these circleci build times are 🥇

alexpatel commented 7 years ago

And then to update the X86_64/QEMU base image one would do:

$ docker tag <barrelfish_base_image_id> alexpatel/docker-barrelfish-qemu-x86_64
$ docker push alexpatel/docker-barrelfish-qemu-x86_64

penlu commented 7 years ago

lgtm