Dr. Turcksin, Thank you for the answer. Makes sense why I couldn't find it use apt search. CMake's FindMPI was unable to find it though. Might just need to give it some hints on the spack MPI location.
Either way, I realised that I'm using some features with bugs that were fixed in the current development version. Are you aware of anyone hosting a "development" Docker build for their own continuous integration. I know this can be very expensive to keep up with the commits. Otherwise, I guess I should just build my own Docker with my current deal.II fork. Best regards, Doug On Tuesday, October 22, 2019 at 8:18:22 AM UTC-4, Bruno Turcksin wrote: > > Doug, > > You are using an image build using spack so everything is installed using > spack instead of the package manager. If you type `spack find` inside a > container, you will see that mpich is installed. > > Best, > > Bruno > > On Monday, October 21, 2019 at 9:53:36 PM UTC-4, Doug Shi-Dong wrote: >> >> Hello everyone, >> >> I would like to use Travis CI to test pull requests, and I am currently >> following the steps described in >> https://github.com/dealii/dealii/wiki/Docker-Images >> >> Except I am using the following Docker image: >> dealii/dealii:v9.1.1-gcc-mpi-fulldepsspack-debugrelease >> >> It seems that this Docker imagine does not contain an MPI package in its >> installation. Here is a log of my Travis CI build >> >> https://travis-ci.org/dougshidong/PHiLiP/builds/600536273 >> >> The command apt search mpi shows that no packages such as openmpi or >> mpich is available. However, oddly enough, DEAL_II_WITH_MPI is ON, when my >> CMake checks for it. >> >> If no MPI is available, how do I compile the code within this Docker >> container? >> >> Best regards, >> >> Doug >> > -- The deal.II project is located at http://www.dealii.org/ For mailing list/forum options, see https://groups.google.com/d/forum/dealii?hl=en --- You received this message because you are subscribed to the Google Groups "deal.II User Group" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/dealii/58176320-e644-439e-8a56-21484acbc86b%40googlegroups.com.
