从源代码编译并生成lp_solve，ubuntu

Question

我正在使用ubuntu机器，并且已经下载了lp_solve源文件（lp_solve_5.5.2.5_source.tar.gz）并将其解压缩。然后我将我的命令提示符输入路径lp_solve_5.5/lpsolve55。 然后我运行命令

./ccc 

然后我得到这个错误，并创建空的bin文件夹。

In file included from ../lp_SOS.c:3:0: 
../shared/commonlib.h:88:24: error: expected identifier or ‘(’ before numeric constant 
    #define FALSE  0 
         ^
In file included from ../lp_utils.c:4:0: 
../shared/commonlib.h:88:24: error: expected identifier or ‘(’ before numeric constant 
    #define FALSE  0 
         ^
cc: error: lp_MDO.o: No such file or directory 
cc: error: lp_crash.o: No such file or directory 
cc: error: lp_wlp.o: No such file or directory 
cc: error: lp_matrix.o: No such file or directory 
cc: error: lp_mipbb.o: No such file or directory 
cc: error: lp_MPS.o: No such file or directory 
cc: error: lp_params.o: No such file or directory 
cc: error: lp_presolve.o: No such file or directory 
cc: error: lp_price.o: No such file or directory 
cc: error: lp_pricePSE.o: No such file or directory 
cc: error: lp_scale.o: No such file or directory 
cc: error: lp_simplex.o: No such file or directory 
cc: error: lp_SOS.o: No such file or directory 

我不熟悉Ubuntu。我会很感激你，如果有人能帮我解决这个问题。我想为我的项目使用CFM-ID算法。要使用它，我必须正确安装lp_solve。谢谢

Answer 1

我有同样的问题，这篇文章帮我：https://groups.google.com/forum/#!topic/prismmodelchecker/gtVatHAir90

1. 下载补丁https://groups.google.com/group/prismmodelchecker/attach/3586984674e863/fix-lpsolve-compilation.patch?part=0.1&authuser=0&view=1

2. 与patch < yourpath/fix-lpsolve-compilation.patch应用补丁与ccc文件的目录中。

3. 然而，这会找不到合适的文件，补丁，因为补丁的目的是为一些PRISM版本 - 你必须指定相应的文件。例如

   can't find file to patch at input line 57 
   Perhaps you used the wrong -p or --strip option? 
   The text leading up to this was: 
   -------------------------- 
   |Index: prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc 
   |=================================================================== 
   |--- prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc (revision 11215) 
   |+++ prism/ext/lpsolve55/src/lp_solve_5.5/lpsolve55/ccc (revision 11216) 
   -------------------------- 
   File to patch: 
   

   在那里输入ccc。你不需要把它们全部弄好（ccc.osx等等），所以除了“正确”的ccc之外，你可以跳过所有的。