微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦!

即使我链接了配置文件也找不到库

如何解决即使我链接了配置文件也找不到库

我正在尝试在计算机上安装latte-integrale(Windows 10;我正在使用cygwin进行安装),它的要求之一是Komei Fukuda的软件包cddlib

当我尝试按照自述文件中的要求运行./configure --prefix=path/to/latte --with-default=/path/to/latte时,出现以下错误

正在检查redcheck_gmp ...否
配置:错误:LattE需要cddlib中的'redcheck'二进制文件

现在cddlib实际上已安装在我的计算机上,我可以清楚地看到redcheck_gmp以及其他多个具有相似名称文件。 因此,在查看了./config --help(见下文)之后,我将行扩展到了

./configure --prefix=path/to/latte --with-default=/path/to/latte --with-cddlib=path/to/directory/containing/the/binaries

我还尝试链接每个更高的目录,以防万一,但是它什么也没做。将目录包括在我的路径变量中并创建变量CDDLIB_HOME似乎没有帮助。

这是./config --help内容

'configure'配置latte-int 1.7.5以适应多种系统。

用法:./configure [OPTION] ... [VAR = VALUE] ...

要分配环境变量(例如CC,CFLAGS ...),请将其指定为
VAR = VALUE。有关某些有用变量的说明,请参见下文。

选项的认值在方括号中指定。

配置:
-h,--help显示内容帮助和退出
--help =此软件包特定的简短显示选项
--help = recursive显示所有包含的软件包的简短帮助
-V,--version显示版本信息和exit
-q,-quiet,-silent不打印“检查中...”消息
--cache-file = FILE FILE中的缓存测试结果[已禁用]
-C ,'--cache-file = config.cache'的--config-cache别名
-n,--no-create不创建输出文件
--srcdir = DIR在DIR中查找源[configure dir或'..']

安装目录:
--prefix = PREFIX在PREFIX中安装与体系结构无关的文件
[/ usr / local]
--exec-prefix = EPREFIX在EPREFIX中安装与体系结构相关的文件
[PREFIX]

认情况下,“ make install”会将所有文件安装在
'/ usr / local / bin','/ usr / local / lib'等中。您可以指定
使用'--prefix'而不是'/ usr / local'的安装前缀,
例如'--prefix = $ HOME'。

为了更好地控制,请使用

对安装目录进行微调:
--bindir = DIR用户可执行文件[EPREFIX / bin]
--sbindir = DIR系统管理员可执行文件[EPREFIX / sbin]
--libexecdir = DIR程序可执行文件[EPREFIX / libexec]
--sysconfdir = DIR只读单机数据[PREFIX / etc]
--sharedstatedir = DIR可修改的体系结构-独立数据[PREFIX / com]
--localstatedir = DIR可修改的单机数据[PREFIX / var]
--libdir = DIR目标代码库[EPREFIX / lib]
- includedir = DIR C头文件[PREFIX / include]
--oldincludedir =非gcc的DIR C头文件[/ usr / include]
--daTarootdir = DIR只读与体系结构无关的数据根[PREFIX / share]
--datadir = DIR只读与架构无关的数据[DATaroOTDIR]
--infodir = DIR信息文档[DATaroOTDIR / info]
--localedir = DIR依赖于语言环境的数据[DATaroOTDIR / locale]
--mandir = DIR手册[DROOTDIR / man]
--docdir = DIR文档根[DATaroOTDIR / doc / latte-int]
--htmldir = DIR html文档[DOCDIR]
--dvidir = DIR dvi文档[DOCDIR]
--pdfdir = DIR pdf文档[DOCDIR]
--psdir = DIR ps文档[DOCDIR]

程序名称
--program-prefix = PREFIX将PREFIX附加到已安装的程序名称
--program-suffix = SUFFIX将SUFFIX附加到已安装的程序名称
--program-transform-name = PROGRAM在已安装的程序名称上运行sed PROGRAM

系统类型:
-建立=建立配置以在BUILD上构建[猜测]
--host = HOST交叉编译以构建要在HOST上运行的程序[BUILD]

可选功能
--disable-option -检查忽略无法识别的--enable /-带有选项
--disable-FEATURE不包括特征(与--enable-FEATURE = no相同)
--enable-FEATURE [= ARG]包括功能[ARG = yes]
--enable-silent-rules较少详细的构建输出(撤消:“ make V = 1”)
--disable-silent-rules详尽的构建输出(撤消:“ make V = 0“)
--enable-maintainer-mode
启用使规则和依赖项对临时安装程序不起作用(有时会造成混淆)
--enable-dependency-跟踪
不要拒绝缓慢的依赖提取
--disable-dependency-tracking
可以加快一次性构建速度
--enable-shared [= PKGS]可以构建共享库[认= yes]
--enable-static [= PKGS]建立状态tic库[default = yes]
--enable-fast-install [= PKGS]
优化快速安装[default = yes]
--disable-libtool-lock避免锁定(可能
--disable-largefile省略对大文件支持
--enable-relocatable安装可以在文件中移动的包
system
--enable- Portable-binary
禁用将产生
不可移植二进制文件的编译器优化
--enable-experiments使用实验代码
--enable-database使用数据库代码
--enable -programmer-helper
生成其他程序

可选软件包:
--with-PACKAGE [= ARG]使用PACKAGE [ARG = yes]
--without-包不要使用包(与--with-PACKAGE = no相同)
--with-pic [= PKGS]尝试仅使用PIC /非PIC对象[default = use
bot h]
--with-gnu-ld假定C编译器使用GNU ld [default = no]
--with-sysroot = DIR在DIR中搜索依赖库(或者编译器的sysroot(如果未指定)。
--with-gnu-ld假定C编译器使用GNU ld [default = no]
--with-gcc-arch =将架构用于gcc -march / -mtune ,
而不是猜测
--with-default =
添加到用于外部软件包检查的认路径
设置为/ usr和/ usr / local的认路径

--with-gmp = |是|否
使用GMP库。
如果参数为no,则说明您的计算机上未安装该库。
如果参数为yes。或表示该库可以通过标准版本访问
搜索路径“ / usr”或“ / usr / local”(设置为认值)。
否则,将赋予包含该库的目录。

--with-ntl = |是|否
使用NTL库。
如果参数为no,则您的计算机上未安装该库(设置为认值)。
如果参数为yes或表示该库为可以使用标准的
搜索路径(/ usr或/ usr / local)访问。
否则,将赋予包含该库的目录。

--with-lidia = |是|否
使用Lidia库。
如果参数为no,则说明您的计算机上未安装该库(设置为认值)。
如果arguments为yes或这意味着该库可以使用标准的
搜索路径(/ usr或/ usr / local)访问。
否则,将赋予包含该库的目录。
--with-cddlib = |是|否
使用cddlib。
如果参数为no,则说明您的计算机上未安装该库(设置为认值)。
如果arguments为yes或这意味着该库可以使用标准的
搜索路径(/ usr或/ usr / local)访问。
否则,您将给包含该库的目录。

--with-topcom = |是|否
使用TOPCOM。
如果参数为no,则不要
如果参数为yes或这意味着该库可通过标准搜索路径(/ usr或/ usr / local)访问。
否则,将其赋予包含该库的目录。

--with-4ti2 = |是|否
使用4ti2。
如果参数为no,则不
如果参数为yes或这意味着该库可通过标准搜索路径(/ usr或/ usr / local)访问。
否则,将其提供给包含该库的目录。

--with-cplex-sharedlib = / PATH / TO / FILE.so
指定CPLEX共享库的名称
--with-cplex-include = DIR
指定CPLEX包含文件的位置

一些有影响力的环境变量:
CC C编译器命令
CFLAGS C编译器标志
LDFLAGS链接器标志,例如-L,如果您在
非标准目录中有库
LIBS库可以传递给链接器,例如-l
CPPFLAGS(目标)C / C ++预处理器标志,例如-I if
您在非标准目录中具有标头
CPP C预处理器
CXX C ++编译器命令
CXXFLAGS C ++编译器标志
CXXCPP C ++预处理器

使用这些变量来覆盖“配置”所做的选择,或者帮助
查找具有非标准名称/位置的库和程序。

向程序包提供程序报告错误

非常感谢您!

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。