Infer command not found after installing from source

[maissanemerrheim]

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 [email protected]

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]

how did you solve the problem