Étant donné que le blog précédent mentionnait que l'installation d'UPPAAL nécessite JRE 1.8.0-1.12.0, voici un tutoriel sur le téléchargement, l'installation et la configuration de l'environnement. Les chaussures pour enfants qui ne nécessitent pas cette version peuvent choisir d'autres versions à télécharger.
Téléchargez le site officiel https://www.oracle.com/java/technologies/javase/javase-jdk8-downloads.html pour
trouver cet emplacement, choisissez le JDK qui convient au nombre de bits de votre ordinateur, JDK et JRE seront téléchargés sur en même temps, nous suivons le site officiel Le JDK fourni peut être téléchargé
J'ai choisi la version Windows 64 bits ici. Cliquez sur Accepter, télécharger pour
télécharger cette version de JDK, vous devez vous connecter. Si vous n'avez pas de compte, vous pouvez vous inscrire par e-mail (peut-être dans le dossier spam). Les chaussures pour enfants qui ne souhaitent pas s'inscrire peuvent accéder à mon blog pour télécharger les packages d'installation JDK et JRE. Le
téléchargement prend environ une à deux minutes.
Créez un nouveau dossier java et créez deux sous-dossiers jre et jdk dans le dossier.
Double-cliquez sur le fichier jdk que vous venez de télécharger,
cliquez sur Suivant,
remplacez l'emplacement par le sous-dossier jdk nouvellement créé et cliquez sur Suivant pour
installer
Une fois l'installation de jdk terminée, il passera automatiquement au processus d'installation de jre, modifiera le chemin d'installation vers le sous-dossier jre nouvellement créé et cliquez sur Suivant.
Installez jre.
L'installation est terminée.
L'étape suivante consiste à configurer l'environnement.
Java doit configurer trois variables d'environnement, à savoir JAVA_HOME, Path et classpath.
Cliquez avec le bouton droit sur cet ordinateur-> Propriétés-> Paramètres système avancés-> Avancé-> Variables d'environnement-> Variables système
Créez une nouvelle variable système JAVA_HOME, sélectionnez le dossier jdk,
modifiez la variable Path, cliquez sur Modifier et créez une nouvelle variable d'environnement % JAVA_HOME% \ bin
Cliquez sur Monter pour déplacer cette variable vers le haut.
Nouvelle variable d'environnement classpath classpath=.;%JAVA_HOME%\lib;%JAVA_HOME%\lib\dt.jar;%JAVA_HOME%\tools.jar
et cliquez sur OK. La configuration de l'environnement est terminée.
Exécuter dans cmd
java -version
Courez à nouveau
javac -version
Affichez la version pour qu'elle soit correctement installée et configurée.
