# PETSc.so not in FF4.4.3 deb

**URL:** <https://community.freefem.org/t/petsc-so-not-in-ff4-4-3-deb/213>\
**Category:** FreeFEM installation\
**Created:** [January 8, 2020, 3:28pm UTC](https://community.freefem.org/t/petsc-so-not-in-ff4-4-3-deb/213 "2020-01-08T15:28:08Z")\
**Posts on this page:** 4\
**Page:** 1

<div class="post-metadata">

**Author:** ![fotios.kasolis](https://yyz2.discourse-cdn.com/flex030/user_avatar/community.freefem.org/fotios.kasolis/32/18_2.png) [@fotios.kasolis](https://community.freefem.org/u/fotios.kasolis)\
**Post date:** [January 8, 2020, 3:28pm UTC](https://community.freefem.org/t/petsc-so-not-in-ff4-4-3-deb/213/1 "2020-01-08T15:28:08Z")

</div>

Dear all,  
Is it a known or an intended fact that the binary FreeFEM\_4.4-3\_Ubuntu\_18.04\_amd64.deb does not contain PETSc shared library? The following returns nothing and load “PETSc” fails.

dpkg -c ./FreeFEM\_4.4-3\_Ubuntu\_18.04\_amd64.deb | grep PETSc.so

Is it possible to make it available, without compiling the sources?

Regards,  
/FK

---

<div class="post-metadata">

**Author:** ![prj](https://avatars.discourse-cdn.com/v4/letter/p/ecae2f/32.png) [@prj](https://community.freefem.org/u/prj)\
**Post date:** [January 8, 2020, 5:32pm UTC](https://community.freefem.org/t/petsc-so-not-in-ff4-4-3-deb/213/2 "2020-01-08T17:32:37Z")

</div>

There is a discussion right now on [GitHub](https://github.com/FreeFem/FreeFem-sources/issues/122) which is somehow related. Currently, the `.deb` is built using `--enable-download`, disregarding what is already installed on the system of the user. What should be done, but I’m no expert, so it would be best if we discuss about this on GitHub, is to do some kind of `apt-get install freefem_dependencies` (including PETSc) so that then it can be deployed properly. It should not be a problem to include PETSc plugins in current images, but this is not the proper way going forward.

I’ve pushed a [commit](https://github.com/FreeFem/FreeFem-sources/commit/be9dc77ae50ddcc7b45a69aefd23bf8277175ce7) which may make PETSc available within the .deb, we’ll keep you updated.

---

<div class="post-metadata">

**Author:** ![fotios.kasolis](https://yyz2.discourse-cdn.com/flex030/user_avatar/community.freefem.org/fotios.kasolis/32/18_2.png) [@fotios.kasolis](https://community.freefem.org/u/fotios.kasolis)\
**Post date:** [January 9, 2020, 11:26am UTC](https://community.freefem.org/t/petsc-so-not-in-ff4-4-3-deb/213/3 "2020-01-09T11:26:02Z")

</div>

Thanks for the information.

Regards,  
/FK

---

<div class="post-metadata">

**Author:** ![AFourmont](https://yyz2.discourse-cdn.com/flex030/user_avatar/community.freefem.org/afourmont/32/56_2.png) [@AFourmont](https://community.freefem.org/u/AFourmont)\
**Post date:** [January 16, 2020, 10:07am UTC](https://community.freefem.org/t/petsc-so-not-in-ff4-4-3-deb/213/4 "2020-01-16T10:07:42Z")

</div>

Dear user,

A new release with PETSc 3.12.3 is available here  
[https://github.com/FreeFem/FreeFem-sources/releases/download/v4.4-3/FreeFEM\_4.4-3\_Ubuntu\_withPETSc\_amd64.deb](https://github.com/FreeFem/FreeFem-sources/releases/download/v4.4-3/FreeFEM_4.4-3_Ubuntu_withPETSc_amd64.deb)

Can you give your feedback please  
Axel