linux下infer环境搭建

搭建infer前须要

    配置JDK1.7+ python2.7+ocamlc+opam，文中详解

 infer下载地址：https://github.com/facebook/infer/releases/  下载：infer-linux64-v0.8.1.tar.xz

一、将infer-linux64-v0.8.1.tar.xz拷贝至你的目录中，注意使用root身份登陆，拷贝至/root中。

    #cp infer-linux64-v0.8.1.tar.xz 

二、解压缩。

    #tar xf  infer-linux64-v0.8.1.tar.xz  或直接双击解压缩.  

三、检查编译。

    #./configure 

        你可能会遇到错误：

            configure: error: ocamlc not found.   

         这是未安装ocamlc的缘由，解决办法，

        安装ocamlc： sudo apt-get install ocamlc 

    再次运行  ./configure 

    能够遇到如下错误：

        

        缘由缺乏atdgen,解决办法：

        sudo  apt-get install atdgen    结果会发现找不到对应的软件安装

        那咱们能够去atdgen官网下载安装：https://launchpad.net/ubuntu/+source/atdgen

        

          这样会很复杂，咱们不是安装了ocamlc。

         根据其中的提示，咱们可使用opam安装缺乏的插件。运行：sudo opam install atdgen ，如果当前opam环境没有配置好，咱们须要先配置opam环境。

        

        咱们先配置好apam环境：

        ./opam init --comp=4.02.3  

        eval `./opam config env` 

        而后运行  opam switch  咱们能够看到咱们系统中有哪些版本的编译器了。

        

        而后运行  sudo opam install atdgen  ，就能够安装了

        接下来在运行检查编译还有可能会遇到 configure: error: missing dependency: XXXXXXX .  相似的软件缺失提示，咱们只要按照上面的步骤安装补全便可，据我安装经验会须要javalib、oUnit、extlib、camlzip、atdgen、sawja(按顺序安装出错几率小)

        这些都安装好了，还有可能会提示：  configure: error: javac not found.   缘由是没有java环境，注意，暂时它只支持1.7版本的java，装了更高版本的依然会报错的。

          apt-get install openjdk-7-jdk   会找不到安装包

          opam install openjdk-7-jdk   也会找不到安装包

        咱们只能选择离线安装了，去官网下载jdk安装包，注意选择对应系统属性的

        

       Linux下 java的离线安装配置：http://my.oschina.net/hibony/blog/693581

        还须要python2.7的环境，其余版本也会有问题。固然linux通常默认自带python环境，并且就是2.7版本的，因此咱们能够不用管。执行python即可以看到当前的python版本。

        

四、编译

    检查经过后，将生成用于编译的MakeFile文件。此时，能够开始进行编译。

    #make  或者  make java 

五、安装

    成功编译后，开始安装。

    #make install

六、安装清理

    安装完毕，应清除编译过程当中产生的临时文件和配置过程当中产生的文件。

    #make clean

    #make distclean

至此，安装结束。

若是要卸载，则执行make uninstall

记录一下遇到的问题：

./configure   提示：Package atdgen is already installed (current version is 1.6.0).
opam install atdgen 提示：findlib package atdgen version 1.6.0... not found

冲突以后使用：./build-infer.sh*