Z3对libgmp.so.3的依赖在linux包中没有解决，留给用户提供这个库。但是，这个库非常旧，并且不是现成的。
有谁知道解决这个问题的方法吗？有没有可能修复linux包，使其在发行版中包含预期的库？
浏览 3提问于2011-10-19得票数 2
2回答
我试图在我拥有的一台特定的linux机器上更新GCC，使之成为一个没有包可用的版本。# ../gcc/configure[snip]configure: error: Building GCC requires GMP
浏览 20提问于2016-05-11得票数 0
回答已采纳
2回答
我被要求在Red 6和Solaris 10上重新创建GCC 4.5.1的版本。现有的Red 6机器安装了4.5.1。最后一台Solaris 10机器最近吃了自己，因此，我继承了joy。我们可以很容易地获得配置选项gcc -v，但哪个版本的GMP，MPC和MPFR是一个谜。我试过：
查找$GCC_DIR -name *.h _ xargs grep -i gmp $1
浏览 2提问于2019-03-10得票数 2
3回答
因此，我尝试使用yum安装和更新gmp：yum update gmp我下载了它并运行了configure (使用--enable-cxx)、make和make install。然而，一切都没有改变。它仍然显示我有5.1.2版本，而库的配置仍然显示找不到4.1.3及更高版本/尝试启用c
浏览 6提问于2014-06-06得票数 0
1回答
这两个似乎都是不错的bignum库，但我不确定每个库的优缺点。我知道这是一个宽泛的问题，但我主要关注的是突出的差异。
浏览 3提问于2012-11-28得票数 7
回答已采纳
我在Ubuntu13.10(64位)的主文件夹中有一个交叉编译器。我在页面底部下载了，上面写着“预置工具链”。当我试图编译一些东西时，它给了我以下内容：目瞪口呆之后，我找到了。我试着输入作者所写的命令，但这些命令对我没有帮助，因为我遇到了来自家庭字典的交叉编译器的问题，而不是系统编译器。有人能帮忙吗？void print(char
浏览 33提问于2013-10-28得票数 12
1回答
我正尝试在windows的C++程序中使用GMP，我用Cygwin成功地编译了它，我得到了一个.a文件，这是linux版本的.lib文件。有没有办法在Visual C++编译器中使用它，或者有没有办法编译GMP for windows来生成.lib文件？
浏览 0提问于2010-07-16得票数 0
回答已采纳
我正试图建立一个cmake项目，而我所得到的回购计划有着如下的内容if(NOT gmp)
message(FATAL_ERROR "gmp not found我还被告知这个回购应该构建在任何Linux环境中，并安装正确的库，并且专门引用了Ubuntu环境。我正在Debian9.4.0建筑，我安装了gmp，libgmp.so位于/usr/lib/x86_64-linux-gnu&#x
浏览 6提问于2018-05-02得票数 1
回答已采纳
1回答
我的配置如下：project/support/linux/gmp/include/gmp.hproject/support/linux/gmp/include/gmpxx.h
project/support/linux/
浏览 2提问于2011-08-08得票数 3
回答已采纳
3回答
配置gmp时出错
、、、、
好的，这是我所做的:我想在我的Linux Ubuntu11.10下安装gmp。我的系统里既有g++也有gcc。因此，我从gmp官方网站(gmp 5.0.2)下载了最新版本，将其解压缩，然后，由于我需要c++ gmp接口，我只需运行：
.
浏览 6提问于2011-10-26得票数 23
Results logged to /home/vpidev/.rvm/gems/ruby-2.2.4@ping/extensions/x86_64-linux/2.2.0/debug_inspectorResults logged to /home/vpidev/.rvm/gems/ruby-2.2.4@ping/extensions/x86_64-linux/2.2.0/eve
浏览 17提问于2016-07-27得票数 1
1回答
我有一个很小的C程序，标题如下：我是这样编译的：然后我就可以把它运行得很好但它在我的系统上使用的是“股票”GMP库。gcc perf.c -o perf.o -O3 -L/ -lgmp
但它在/usr/lib/x8
浏览 7提问于2014-06-15得票数 0
从几个版本的GCC和Ubuntu开始，我就遇到了一些恼人的问题，比如安装GCC所必需的几个头文件和目标文件的路径和命名问题。说明:安装完ubuntu (以我的12.04版本为例)，并安装了所有的系统必备软件后，我运行了以下命令：.directoryif [ -z "$CPATH"]; then
export CPATH="
浏览 40提问于2013-04-10得票数 3
7回答
/num/num.h:15:17: fatal error: gmp.h: No such file or directorymake[1]: ***[itvMPQ.o] Error 1make: *** [c] Error 2
所以问题是它找不到gmp.h，有人知道这个文件的位置吗Edit2：我按照这个安装了MPFR，这确实有帮助，现在错误消息是gmp
浏览 4提问于2011-09-08得票数 75
回答已采纳
我试图在我的文件中使用gmp_sign来查找值的符号，但是我得到了一个错误，比如调用带有致命错误的未定义函数。
浏览 2提问于2017-10-09得票数 4
回答已采纳
我从下载了GCC 4.5，但当我尝试设置/构建时，我得到了以下错误：checking target system type... x86_64-unknown-linux-gnu... no
configu
浏览 5提问于2012-02-13得票数 84
回答已采纳
1回答
我正在尝试交叉编译CGAL在amd64 Linux机器上的ARM架构。CGAL使用CMake进行构建。但是当我交叉编译时，这些测试程序自然不会在主机上运行。CMakeFiles/cmTryCompileExec.dir/link.txt --verb
浏览 0提问于2012-11-19得票数 4
我确实尝试过用Cygwin安装C gmp库。在执行make install的最后，出现了一个menssage：warning: remember to run 'libtool --finish /c:/c++/GMP/libraries/lib
浏览 4提问于2020-06-06得票数 0
我想在Ubuntu中安装最新的gcc49，我熟悉Mac中的Homebrew，所以我想使用它的Linux版本，即Linuxbrew。所以我安装了Linuxbrew并输入了将首先安装依赖项gmp4、mpfr2等。我在if OS.mac?中添加了一个gmp4条件，这样就可以成功地安装它，但是当安装mpfr2 (也添加了条件)时，make check失败了，出现了错误：但是，配
浏览 8提问于2014-03-22得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
