tools/docker/Makefile

   1 default:
   2         @echo "Try make stable, make unstable, make tuto-s4u or make push."
   3         @echo "Also possible: DOCKER_EXTRA=--no-cache make unstable"
   4
   5 stable:
   6         export last_tag=`wget https://framagit.org/simgrid/simgrid/tags 2>/dev/null -O - | grep /simgrid/simgrid/tags/v | head -n1  | sed 's/[^>]*>//' | sed 's/<.*//'`; \
   7         export url=`wget https://framagit.org/simgrid/simgrid/tags/$${last_tag} 2>/dev/null -O - | grep SimGrid- | perl -pe 's/.*?<li><a href="//' | sed 's/tar.gz.*/tar.gz/'` ;\
   8         echo URL:$${url} ; \
   9         docker build -f Dockerfile.stable \
  10                  --build-arg DLURL=$${url} \
  11                  -t simgrid/stable:latest \
  12                  -t simgrid/stable:$${last_tag} \
  13                  $(DOCKER_EXTRA) \
  14                  . | tee > stable.log
  15
  16 unstable:
  17         docker build -f Dockerfile.unstable \
  18                  -t simgrid/unstable:latest \
  19                  -t simgrid/unstable:$$(date --iso-8601) \
  20                  $(DOCKER_EXTRA) \
  21                  . | tee > unstable.log
  22
  23 tuto-s4u:
  24         docker build -f Dockerfile.tuto-s4u \
  25                  -t simgrid/tuto-s4u:latest \
  26                  -t simgrid/tuto-s4u:$$(date --iso-8601) \
  27                  $(DOCKER_EXTRA) \
  28                  . | tee > tuto.log
  29
  30 push:
  31         docker push simgrid/stable
  32         docker push simgrid/unstable
  33         docker push simgrid/tuto-s4u