Commit 42bd2e49 authored by Committed by Santiago Ospina De Los Ríos
Use bash script and opts file in Dockerfiles
* Update Dockerfiles to clone and build DUNE modules using the `clone_dune` script and `build.opts` file. * Set compiler environment variables in base image (only).
Showing with 155 additions and 106 deletions