Hi, What about you simply install the binary deal.II package for Ubuntu 20.04 from here:
https://launchpad.net/~ginggs/+archive/ubuntu/deal.ii-9.3.0-backports Simply follow the instructions on how to add the PPA, then install all necessary libraries and tools via: $ sudo apt install libdeal.ii-dev libdeal.ii-doc cmake make g++ Best, Matthias -- 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 dealii+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/dealii/871r2r5uru.fsf%4043-1.org.
