In the AMICI base directory run:
git archive -o docker/amici.tar.gz --format=tar.gz HEAD
cd docker && docker build -t $USER/amici:latest .
AMICI docker images are regularly published to https://hub.docker.com/layers/dweindl/amici/.
Name | Name | Last commit date | ||
---|---|---|---|---|
parent directory.. | ||||
In the AMICI base directory run:
git archive -o docker/amici.tar.gz --format=tar.gz HEAD
cd docker && docker build -t $USER/amici:latest .
AMICI docker images are regularly published to https://hub.docker.com/layers/dweindl/amici/.