Установка:

Для установки petsc-dev в Ubuntu / Linux Mint / Debian, введите в Терминал:

sudo apt update
sudo apt install petsc-dev
Dzen
petsc-dev — Виртуальный пакет в зависимости от последнего пакета разработки PETSc

Подробная информация о пакете:

Виртуальный пакет в зависимости от последнего пакета разработки PETSc

  • Зависимости:

  • libpetsc3.7-dev

    Статические библиотеки, общие ссылки, файлы заголовков для PETSc