Hello Bruno, Yes I have used the option -DDEAL_II_WITH_PETSC=ON. and I have also used the command to specify the location of petsc. "-DPETSC_DIR=/home/ramprasad/petsc-3.10.5". The error still pertains.
Thank you. Regards, Ramprasad On Tue, Jul 16, 2019 at 9:13 PM Bruno Turcksin <bruno.turck...@gmail.com> wrote: > Ramprasad, > > On Tuesday, July 16, 2019 at 11:51:00 AM UTC-4, Ramprasad R wrote: >> >> The version of deal.ii is 9.0.1 and the version of PETSc is 3.10.5. I >> also changed the config file of deal.ii to have MPI PETSc on. >> > What do you mean by "I changed the config file of deal.II"? You should not > change any file generated by deal.II. When you compiled deal.II, did you > use the option -DDEAL_II_WITH_PETSC=ON? If not, deal.II was not compiled > with PETSc supports. > > Best, > > Bruno > > -- > 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/0372d95b-ae52-457e-9400-9e8159469a62%40googlegroups.com > <https://groups.google.com/d/msgid/dealii/0372d95b-ae52-457e-9400-9e8159469a62%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- 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/CAKS2Wq74jFVqjSuJq_cJLysdd5oR9kHBRxqYaSY1hzC0EPJtUA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
