facebook/infer

Provide install instructions for Ubuntu 16.04 LTS

Open

Aperta il 18 giu 2017

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)HTML (12.410 star) (1688 fork)batch import
documentationenhancementgood first taskhelp wanted

Descrizione

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.

Guida contributor

Tech stack
javaccppobjective c
Dominio
documentationtooling
Tipo issue
documentation
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
under 1 hour
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
stale
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
clear
Prerequisiti
Ubuntu 16.04Package management basics
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
80
Direzione di ricerca
Look at the existing INSTALL.md file (likely in the repository root) to understand the current installation instructions. The issue mentions that the openjdk 7 jdk package is missing on Ubuntu 16.04; investigate using openjdk 8 jdk or an alternative package. Check the comments on the issue for any additional suggestions from maintainers or other contributors. Ensure the updated instructions include steps specific to Ubuntu 16.04 LTS and verify the installation process by testing on that platform.