AMICI-dev / AMICI

Advanced Multilanguage Interface to CVODES and IDAS
https://amici.readthedocs.io/
Other
108 stars 30 forks source link

slim down docker file #2385

Open FFroehlich opened 5 months ago

FFroehlich commented 5 months ago

pip install should use --no-cache-dir to minimise image size.

dweindl commented 5 months ago

To save a couple MB more: add apt-get clean and rm -rf /var/lib/apt/lists/*

FFroehlich commented 5 months ago

rm -rf /var/lib/apt/lists/*

limits downstream reusability though and only saves ~200B, see https://gist.github.com/marvell/7c812736565928e602c4

dweindl commented 5 months ago

only saves ~200B

48M /var/lib/apt/lists/

limits downstream reusability

not quite true. just needs an apt update before installing additional apt packages.