Comments (13)
Seems like you haven't installed some of the dependencies required to compile Infer.
Please look at the instructions provided for your OS: https://github.com/facebook/infer/blob/master/INSTALL.md#install-infer-from-source
and in particular to the point where you run:
opam install sawja.1.5 atdgen.1.5.0 javalib.2.3 extlib.1.5.4
from infer.
I encountered this same issue. Below is the series of commands run, as per the installation instructions for OSX. Are you sure it's not something else?
$opam init --comp=4.01.0
$opam install sawja.1.5 atdgen.1.5.0 javalib.2.3 extlib.1.5.4
$./update-fcp.sh && ../facebook-clang-plugin/clang/setup.sh && ./compile-fcp.sh
$make -C infer
make -C src clang
sed -e 's/@major@/0/g'
-e 's/@minor@/1/g'
-e 's/@patch@/0/g'
-e 's/@GIT_COMMIT@/ee3f88a6c13f954aff8796c5536aa022b5c4bc20/g'
-e 's/@GIT_BRANCH@/master/g'
-e 's/@GIT_TAG@//g'
backend/version.ml.in > backend/version.ml
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: *** [clang] Error 2
from infer.
me too,I want to analyse only Java/Android code,so I don't install clang and facebook-clang-plugin dependencies,but error below in Mac OS X 10.2.2.
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
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
from infer.
@chris-wood: try running which atdgen
and if you don't see the path to atdgen it's a sign that you missed some steps while installing the dependencies through OPAM (there is an eval
command that OPAM tells you to run, to make sure your shell finds the installed dependencies; try installing them again to see these instructions again).
@DoctorQ: The No such file or directory
error lines are not the cause of your compilation failure (they need to be removed though, because may be confusing, thanks for reporting!), follow the same suggestion above, install again the OPAM dependencies and follow all the instructions it shows on the console before running make -C infer java
again.
from infer.
@martinoluca: good call -- atdgen is indeed missing. Though, according to opam, it's not.
[cwood@corncake:~/Projects/infer]$ opam install atdgen.1.5.0
[NOTE] Package atdgen is already installed (current version is 1.5.0).
from infer.
@chris-wood: did you run eval $(opam config env)
?
from infer.
Nope -- that wasn't part of the instructions. Trying now...
from infer.
@martinoluca thanks,my opam has a error,how to solve it.
[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.
from infer.
@jvillard: That did it. It's compiling now. Many thanks!
@martinoluca: You should consider adding that step to the OSX instructions.
from infer.
@DoctorQ start from a clean installation of OPAM if you can.
from infer.
When you install software with OPAM, it places it under the ~/.opam/
prefix. To make binaries available into your path, you must run:
$ eval `opam config env`
An alternative is to run the shell command using opam exec <command>
which will run it in a subshell with the right PATH
variable. The instructions should be updated to include one of these steps.
from infer.
closed by 17f0b5c
from infer.
After running the following command its working for me.
$ eval 'opam config env'
Thank you guys...
from infer.
Related Issues (20)
- C Simple memory leak cannot be detected HOT 1
- [java] DEADLOCK: False Negative in Infer analysis results after converting anonymous classes to lambda expressions HOT 1
- [java] STARVATION: False Negative in Infer analysis results after converting anonymous classes to lambda expressions HOT 1
- False positive of Infer/Pulse when `std::unique_ptr` is used with no throw `new` HOT 2
- how to use --custom-symbols?
- How to check custom malloc and free functions for memory leak?
- can infer find out all suspecious bugs? HOT 2
- java: Infer injects outdated, buggy maven-compiler-plugin version 3.8.0
- False positive memory leak on loop HOT 4
- Dockerfile: US-ASCII locale causes crash on UTF-8 input
- How to add extra nullability condition to NULL_DEREFERENCE checking
- Is Adding a C++ Infer Port to the VSCode Plugin on the Roadmap? HOT 3
- [java] A false negative about the rule NULL_DEREFERENCE
- [java] A false positive about the rule THREAD_SAFETY_VIOLATION
- `--biabduction-unsafe-malloc` doesn't assume that `calloc()` and `realloc()` never return null HOT 1
- Error building the `Resource Leak analysis` lab in docker
- False positive Uninitialized Value in C code
- Need help when using infer run or capture during maven compilation HOT 1
- Query on --changed-files-index option HOT 3
- Meta leak HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from infer.