@Lukas-Babor I made a dockerfile for ubuntu 20.04 a while back (hopefully it still works).
See: How to install dolfin on Ubuntn-20.04 from source - #5 by dokken
@Lukas-Babor I made a dockerfile for ubuntu 20.04 a while back (hopefully it still works).
See: How to install dolfin on Ubuntn-20.04 from source - #5 by dokken