build.sh 364 Bytes
Newer Older
Philipp  Trunschke's avatar
Philipp Trunschke committed
1
2
#!/bin/bash
DIRNAME=$(dirname $0)
3
4
5
docker build "$@" -t firemarmot/base $DIRNAME/base && \
docker build "$@" -t firemarmot/suitesparse $DIRNAME/suitesparse && \
docker build "$@" -t firemarmot/xerus $DIRNAME/xerus && \
6
7
# docker build "$@" -t firemarmot/interactive $DIRNAME/interactive
docker build "$@" -t firemarmot/interactive_fenics $DIRNAME/interactive_fenics