Gmp library error


I just installed NextcloudPi image on my raspberry pi 4. I’m trying to install the bookmarks app and I’m getting this error:
App “Bookmarks” cannot be installed because the following dependencies are not fulfilled: The library gmp is not available.

I appreciate if you could help. Thanks.

1 Like

The fix is as easy as it is apparent. Install the php gmp extension :wink:

Is this the right one:
sudo apt-get install libgmp-dev

It should be something like this:

1 Like

Thanks mate

Hi guys, I got the same error. After I installed the missing library with " sudo apt-get install libgmp-dev"
the error still occurs.

Thanks for support

@ipaschalis Ah, that was the wrong one. it should be something like php{7.1,7.2}-gmp

Still the same error, ist it important to have a gmp version installed?

PHP 7.2.19-0ubuntu0.18.04.2 (cli) (built: Aug 12 2019 19:34:28) ( NTS )
Copyright © 1997-2018 The PHP Group
Zend Engine v3.2.0, Copyright © 1998-2018 Zend Technologies
with Zend OPcache v7.2.19-0ubuntu0.18.04.2, Copyright © 1999-2018, by Zend Technologies