diff --git a/docker/Makefile b/docker/Makefile index 9251bb7a8a..b52bafc1d9 100644 --- a/docker/Makefile +++ b/docker/Makefile @@ -2,16 +2,16 @@ .PHONY: ubuntu plumed2.tgz clean centos7 fedora37 rocky8 ubuntu: plumed2.tgz - docker build -t plumed . + docker build --shm-size 1024M -t plumed . centos7: plumed2.tgz - docker build -t plumed -f centos7 . + docker build --shm-size 1024M -t plumed -f centos7 . fedora37: plumed2.tgz - docker build -t plumed -f fedora37 . + docker build --shm-size 1024M -t plumed -f fedora37 . rocky8: plumed2.tgz - docker build -t plumed -f rocky8 . + docker build --shm-size 1024M -t plumed -f rocky8 . plumed2.tgz: cd ../ ; git archive HEAD -o "$(CURDIR)"/plumed2.tgz --prefix plumed2/ ; cd -