FaceBooK/infer-Mac下安装Java分析环境
将github上的源码download到本地后,一步一步往下看.
Mac OS X :10.10.2
Python版本
首先安装Python，版本要高于2.7，包括2.7.
58deMacBook-Pro:infer wuxian$ python -V
Python 2.7.6由于Mac OS X自带Python，所以一般都无需安装，如果你没有，请自行安装.
Opam安装
(OCaml环境支持)
使用brew install opam 命令安装:
58deMacBook-Pro:infer wuxian$ sudo brew install opam
Password:
==> Installing dependencies for opam: objective-caml, camlp4, boost, cmak ==> Installing opam dependency: objective-caml ==> Downloading https://homebrew.bintray.com/bottles/objective-caml-4.02.1_2.yos
######################################################################## 100.0%
==> Pouring objective-caml-4.02.1_2.yosemite.bottle.1.tar.gz
�� /usr/local/Cellar/objective-caml/4.02.1_2: 776 files, 75M ==> Installing opam dependency: camlp4 ==> Downloading https://homebrew.bintray.com/bottles/camlp4-4.02.1+2.yosemite.bo
######################################################################## 100.0%
==> Pouring camlp4-4.02.1+2.yosemite.bottle.tar.gz
�� /usr/local/Cellar/camlp4/4.02.1+2: 164 files, 180M ==> Installing opam dependency: boost ==> Downloading https://homebrew.bintray.com/bottles/boost-1.57.0.yosemite.bottl
######################################################################## 100.0%
==> Pouring boost-1.57.0.yosemite.bottle.tar.gz
�� /usr/local/Cellar/boost/1.57.0: 10572 files, 439M ==> Installing opam dependency: cmake ==> Downloading https://homebrew.bintray.com/bottles/cmake-3.2.1.yosemite.bottle
###################################################### 75.9%
curl: (56) SSLRead() return error -9806
Error: Failed to download resource "cmake"
Download failed: https://homebrew.bintray.com/bottles/cmake-3.2.1.yosemite.bottle.2.tar.gz
Warning: Bottle installation failed: building from source.
==> Downloading http://www.cmake.org/files/v3.2/cmake-3.2.1.tar.gz
######################################################################## 100.0%
==> Downloading https://pypi.python.org/packages/source/S/Sphinx/Sphinx-1.2.3.ta
######################################################################## 100.0%
==> python -c import setuptools... --no-user-cfg install --prefix=/private/tmp/c ==> Downloading https://pypi.python.org/packages/source/d/docutils/docutils-0.12
######################################################################## 100.0%
==> python -c import setuptools... --no-user-cfg install --prefix=/private/tmp/c ==> Downloading https://pypi.python.org/packages/source/P/Pygments/Pygments-2.0.
######################################################################## 100.0%
==> python -c import setuptools... --no-user-cfg install --prefix=/private/tmp/c ==> Downloading https://pypi.python.org/packages/source/J/Jinja2/Jinja2-2.7.3.ta
######################################################################## 100.0%
==> python -c import setuptools... --no-user-cfg install --prefix=/private/tmp/c ==> Downloading https://pypi.python.org/packages/source/M/MarkupSafe/MarkupSafe-
######################################################################## 100.0%
==> python -c import setuptools... --no-user-cfg install --prefix=/private/tmp/c ==> ./bootstrap --prefix=/usr/local/Cellar/cmake/3.2.1 --no-system-libs --parall ==> make ==> make install
�� /usr/local/Cellar/cmake/3.2.1: 1847 files, 32M, built in 14.2 minutes ==> Installing opam dependency: re2c ==> Downloading https://homebrew.bintray.com/bottles/re2c-0.14.1.yosemite.bottle
######################################################################## 100.0%
==> Pouring re2c-0.14.1.yosemite.bottle.tar.gz
�� /usr/local/Cellar/re2c/0.14.1: 5 files, 364K ==> Installing opam dependency: gringo ==> Downloading https://homebrew.bintray.com/bottles/gringo-4.4.0_1.yosemite.bot
######################################################################## 100.0%
==> Pouring gringo-4.4.0_1.yosemite.bottle.tar.gz
�� /usr/local/Cellar/gringo/4.4.0_1: 7 files, 5.2M ==> Installing opam dependency: clasp ==> Downloading https://homebrew.bintray.com/bottles/clasp-3.1.1.yosemite.bottle
######################################################################## 100.0%
==> Pouring clasp-3.1.1.yosemite.bottle.tar.gz
�� /usr/local/Cellar/clasp/3.1.1: 5 files, 1.0M ==> Installing opam dependency: aspcud ==> Downloading https://downloads.sourceforge.net/project/potassco/aspcud/1.9.0/
######################################################################## 100.0%
==> Patching
patching file libcudf/src/dependency.cpp ==> cmake .. -DGRINGO_LOC=/usr/local/opt/gringo/bin/gringo -DCLASP_LOC=/usr/loca ==> make ==> make install
�� /usr/local/Cellar/aspcud/1.9.0: 10 files, 536K, built in 27 seconds ==> Installing opam ==> Downloading https://homebrew.bintray.com/bottles/opam-1.2.1.yosemite.bottle.
################################################# 68.7%
curl: (56) SSLRead() return error -36
Error: Failed to download resource "opam"
Download failed: https://homebrew.bintray.com/bottles/opam-1.2.1.yosemite.bottle.tar.gz
Warning: Bottle installation failed: building from source.
==> Downloading https://github.com/ocaml/opam/archive/1.2.1.tar.gz
######################################################################## 100.0%
==> Downloading https://gforge.inria.fr/frs/download.php/file/33593/cudf-0.7.tar
######################################################################## 100.0%
==> Downloading http://ocaml-extlib.googlecode.com/files/extlib-1.5.3.tar.gz
######################################################################## 100.0%
==> Downloading https://github.com/ocaml/ocaml-re/archive/ocaml-re-1.2.0.tar.gz
######################################################################## 100.0%
==> Downloading http://ocamlgraph.lri.fr/download/ocamlgraph-1.8.5.tar.gz
######################################################################## 100.0%
==> Downloading https://gforge.inria.fr/frs/download.php/file/34277/dose3-3.3.ta
######################################################################## 100.0%
==> Downloading http://erratique.ch/software/cmdliner/releases/cmdliner-0.9.7.tb
######################################################################## 100.0%
==> Downloading http://erratique.ch/software/uutf/releases/uutf-0.9.3.tbz
######################################################################## 100.0%
==> Downloading http://erratique.ch/software/jsonm/releases/jsonm-0.9.1.tbz
######################################################################## 100.0%
==> ./configure --prefix=/usr/local/Cellar/opam/1.2.1 --mandir=/usr/local/Cellar ==> make lib-ext ==> make ==> make man ==> make install ==> Caveats
OPAM uses ~/.opam by default for its package database, so you need to
initialize it first by running (as a normal user):
$ opam init
Run the following to initialize your environment variables:
$ eval `opam config env`
To export the needed variables every time, add them to your dotfiles.
* On Bash, add them to `~/.bash_profile`.
* On Zsh, add them to `~/.zprofile` instead.
Documentation and tutorials are available at https://opam.ocaml.org, or
via 'man opam' and 'opam --help'.
Bash completion has been installed to:
/usr/local/etc/bash_completion.d
zsh completion has been installed to:
/usr/local/share/zsh/site-functions ==> Summary
�� /usr/local/Cellar/opam/1.2.1: 30 files, 19M, built in 2.3 minutesJava版本
Java版本的要求是1.8以下都可以，不支持1.8.好在我的环境是1.6.
58deMacBook-Pro:~ wuxian$ java -version
java version "1.6.0_65"
Java(TM) SE Runtime Environment (build 1.6.0_65-b14-466.1-11M4716)
Java HotSpot(TM) 64-Bit Server VM (build 20.65-b04-466.1, mixed mode)Android开发环境
- SDK
- Eclipse/Android Studio
我选择了Android Studio的IDE.
安装OCaml依赖
opam init –comp=4.01.0
58deMacBook-Pro:infer wuxian$ opam init --comp=4.01.0
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg
command on your system.
- you won't be able to use darcs repositories unless you install the darcs
command on your system.
=-=- Fetching repository information =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Processing: [default: http]http
[default] synchronized from https://opam.ocaml.org
=-=- Installing compiler 4.01.0 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Processing: [4.01.0: http]y
[compiler.get] http://caml.inria.fr/pub/distrib/ocaml-4.01/ocaml-4.01.0.tar.gz downloaded
Now compiling OCaml. This may take a while, please bear with us...
Done.
[ERROR] At
~/.opam/repo/default/packages/lwt-parallel/lwt-parallel.0.1.0/opam:2:19:
Unexpected name lwt_parallel
[WARNING] conflict is an unknown field in
/Users/wuxian/.opam/repo/default/packages/mirage/mirage.2.4.0/opam.
=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
∗ installed base-bigarray.base
∗ installed base-threads.base
∗ installed base-unix.base
Done.
In normal operation, OPAM only alters files within ~/.opam.
During this initialisation, you can allow OPAM to add information to two
other files for best results. You can also make these additions manually
if you wish.
If you agree, OPAM will modify:
- ~/.bash_profile (or a file you specify) to set the right environment
variables and to load the auto-completion scripts for your shell (bash)
on startup. Specifically, it checks for and appends the following line:
. /Users/wuxian/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
- ~/.ocamlinit to ensure that non-system installations of `ocamlfind`
(i.e. those installed by OPAM) will work correctly when running the
OCaml toplevel. It does this by adding $OCAML_TOPLEVEL_PATH to the list
of include directories.
If you choose to not configure your system now, you can either configure
OPAM manually (instructions will be displayed) or launch the automatic setup
later by running:
opam config setup -a
Do you want OPAM to modify ~/.bash_profile and ~/.ocamlinit?
(default is 'no', use 'f' to name a file other than ~/.bash_profile)
[N/y/f]
Global configuration:
Updating ~/.opam/opam-init/init.sh
Updating ~/.opam/opam-init/init.zsh
Updating ~/.opam/opam-init/init.csh
Updating ~/.opam/opam-init/init.fish
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
1. To configure OPAM in the current shell session, you need to run:
eval `opam config env`
2. To correctly configure OPAM for subsequent use, add the following
line to your profile file (for instance ~/.bash_profile):
. /Users/wuxian/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
3. To avoid issues related to non-system installations of `ocamlfind`
add the following lines to ~/.ocamlinit (create it if necessary):
let () =
try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH")
with Not_found -> ()
;;
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
58deMacBook-Pro:infer wuxian$ opam init --comp=4.01.0
OPAM has already been initialized.[ERROR] At
~/.opam/repo/default/packages/lwt-parallel/lwt-parallel.0.1.0/opam:2:19:
Unexpected name lwt_parallel
[WARNING] conflict is an unknown field in
/Users/wuxian/.opam/repo/default/packages/mirage/mirage.2.4.0/opam.
In normal operation, OPAM only alters files within ~/.opam.
During this initialisation, you can allow OPAM to add information to two
other files for best results. You can also make these additions manually
if you wish.
If you agree, OPAM will modify:
- ~/.bash_profile (or a file you specify) to set the right environment
variables and to load the auto-completion scripts for your shell (bash)
on startup. Specifically, it checks for and appends the following line:
. /Users/wuxian/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
- ~/.ocamlinit to ensure that non-system installations of `ocamlfind`
(i.e. those installed by OPAM) will work correctly when running the
OCaml toplevel. It does this by adding $OCAML_TOPLEVEL_PATH to the list
of include directories.
If you choose to not configure your system now, you can either configure
OPAM manually (instructions will be displayed) or launch the automatic setup
later by running:
opam config setup -a
Do you want OPAM to modify ~/.bash_profile and ~/.ocamlinit?
(default is 'no', use 'f' to name a file other than ~/.bash_profile)
[N/y/f] y
User configuration:
Generating ~/.ocamlinit.
Updating ~/.bash_profile.
Global configuration:
~/.opam/opam-init/init.sh is already up-to-date.
~/.opam/opam-init/init.zsh is already up-to-date.
~/.opam/opam-init/init.csh is already up-to-date.
~/.opam/opam-init/init.fish is already up-to-date.
# To setup the new switch in the current shell, you need to run:
eval `opam config env`
opam install sawja.1.5 atdgen.1.5.0 javalib.2.3 extlib.1.5.4
tlib.1.5.4
[ERROR] At
~/.opam/repo/default/packages/lwt-parallel/lwt-parallel.0.1.0/opam:2:19:
Unexpected name lwt_parallel
[WARNING] conflict is an unknown field in
/Users/wuxian/.opam/repo/default/packages/mirage/mirage.2.4.0/opam.
The following actions will be performed:
∗ install camlp4 4.01.0 [required by extlib]
∗ install ocamlfind 1.5.5 [required by javalib, atdgen, extlib, sawja]
∗ install menhir 20140422 [required by atd]
∗ install extlib 1.5.4
∗ install easy-format 1.0.2 [required by biniou, atd, yojson]
∗ install cppo 1.1.2 [required by yojson]
∗ install camlzip 1.05 [required by javalib]
∗ install biniou 1.0.9 [required by atdgen]
∗ install atd 1.1.2 [required by atdgen]
∗ install javalib 2.3
∗ install yojson 1.2.1 [required by atdgen]
∗ install sawja 1.5
∗ install atdgen 1.5.0
===== ∗ 13 =====
Do you want to continue ? [Y/n] y
=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[default] https://opam.ocaml.org/archives/biniou.1.0.9+opam.tar.gz downloaded
[default] https://opam.ocaml.org/archives/atd.1.1.2+opam.tar.gz downloaded
[default] https://opam.ocaml.org/archives/cppo.1.1.2+opam.tar.gz downloaded
[default] https://opam.ocaml.org/archives/camlzip.1.05+opam.tar.gz downloaded
[default] https://opam.ocaml.org/archives/atdgen.1.5.0+opam.tar.gz downloaded
[default] https://opam.ocaml.org/archives/easy-format.1.0.2+opam.tar.gz downloaded
[default] https://opam.ocaml.org/archives/extlib.1.5.4+opam.tar.gz downloaded
[default] https://opam.ocaml.org/archives/ocamlfind.1.5.5+opam.tar.gz downloaded
[default] https://opam.ocaml.org/archives/javalib.2.3+opam.tar.gz downloaded
[default] https://opam.ocaml.org/archives/menhir.20140422+opam.tar.gz downloaded
[default] https://opam.ocaml.org/archives/yojson.1.2.1+opam.tar.gz downloaded
[default] https://opam.ocaml.org/archives/sawja.1.5+opam.tar.gz downloaded
=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
∗ installed camlp4.4.01.0
∗ installed ocamlfind.1.5.5
∗ installed easy-format.1.0.2
∗ installed camlzip.1.05
∗ installed biniou.1.0.9
∗ installed cppo.1.1.2
∗ installed yojson.1.2.1
∗ installed extlib.1.5.4
∗ installed javalib.2.3
∗ installed menhir.20140422
∗ installed atd.1.1.2
∗ installed sawja.1.5
∗ installed atdgen.1.5.0
Done.最后一步
先切换到infer源码根目录,(由于我已经切换过了,这里就不在切换),然后继续执行：
58deMacBook-Pro:infer wuxian$ make -C infer java
make -C src java
/bin/sh: line 0: cd: /Users/wuxian/Documents/sourcecode/self/infer/../facebook-clang-plugin: No such file or directory
/bin/sh: line 0: cd: /Users/wuxian/Documents/sourcecode/self/infer/../facebook-clang-plugin: No such file or directory
/bin/sh: line 0: cd: /Users/wuxian/Documents/sourcecode/self/infer/../facebook-clang-plugin: No such file or directory
sed -e 's/@MAJOR@/0/g' \
-e 's/@MINOR@/1/g' \
-e 's/@PATCH@/0/g' \
-e 's/@GIT_COMMIT@/2bce7c6c3dbb22646e2d67a2c6ade77f060b4bca/g' \
-e 's/@GIT_BRANCH@/master/g' \
-e 's/@GIT_TAG@//g' \
backend/version.ml.in > backend/version.ml
mkdir -p ../_build-infer
atdgen -t backend/jsonbug.atd -o backend/jsonbug
make[1]: atdgen: No such file or directory make[1]: *** [backend/jsonbug_t.ml] Error 1 make: *** [java] Error 2