search

facebook / infer

A static analyzer for Java, C, C++, and Objective-C
http://fbinfer.com/
MIT License
14.83k stars 2k forks source link

Infer command not found after installing from source #1715

Open maissanemerrheim opened 1 year ago

maissanemerrheim commented 1 year ago

Hi everyone,

I would like to install Infer. I tried to use the command .brew install infer. However it didn't work. In fact, I have this error : Error: infer has been disabled because it does not build! . As I looked on the internet, apparently it is a common problem for the macOS Monterey when installing infer. I also tried the command 'brew install --dry-run infer' and this is a part of the output : 'Would install 1 formula: infer ==>Would install 6 dependencies for infer: libtool ninja openjdk@11 gdbm mpdecimal python@3.9

This is why I decided to install it from the source. I followed this tutorial : https://github.com/facebook/infer/blob/main/INSTALL.md but it doesn't work. In fact, when I try to run infer, I have a zsh command not found : infer .

My operating system and version : macOS Monterey Version 12.6 I am trying to run this command : infer run -- javac Hello.java My code : (base) username examples % infer run -- javac Hello.java zsh: command not found: infer

Note : I installed the dependencies after installing infer from source.

Thank you for your help.

xuwenwen2 commented 1 year ago

how did you solve the problem