Open ndmitchell opened 7 years ago
The document at INSTALL.md says how to install for older Ubuntu, but not 16.04. In particular, the 14.04 instructions fail for me saying the openjdk-7-jdk package is missing.
@ndmitchell You can probably use the list of packages from the Dockerfile, which uses a 16.04 base: https://github.com/facebook/infer/blob/master/docker/Dockerfile#L7
The file here has an updated code on how to install for 16.04 version. Let me know If you are still facing the same issue
The document at INSTALL.md says how to install for older Ubuntu, but not 16.04. In particular, the 14.04 instructions fail for me saying the openjdk-7-jdk package is missing.