Мне нужно libgmp.so.3
для установки GHC
. Однако установка libgmp-dev
устанавливает только libgmp.so
и libgmpxx.so
в соответствии со списком установленных файлов. В других местах я видел людей, использующих символические ссылки, но это кажется плохой идеей.
У меня есть следующие вопросы:
libgmp.so.3
. Как я могу получить эти библиотеки правильно?
Очевидно, что существует несоответствие между версией libgmp, которая поставляется с Ubuntu, и версией libgmp в предварительно скомпилированном GHC. Простой способ исправить это:
Обратите внимание, что простое означает быстрое!