Aide à l'installation (provisoire !) - dEAduction/dEAduction Wiki

:warning: Note introductive La procédure est donnée pour les systèmes tournant sur Mac/OS ou GNU/Linux, sur lesquels le logiciel est développé.

:new: Le logiciel est disponible est maintenant disponible "tout-en-un", voir ici.

Script d'installation

Un script d'aide à l'installation est disponible (voir le contenu). Pour l'exécuter, ouvrir un Terminal et y coller l'instruction suivante :

/bin/bash -c "$(curl -L https://raw.githubusercontent.com/dEAduction/dEAduction/master/deaduction_install.sh)"

Ce script procède pas à pas et demande confirmation à chaque étape. ** Il installe deaduction dans le répertoire courant**, et crée le fichier deaduction_launcher.shqui peut être déplacé vers n'importe quel dossier, et qui permet de lancer deaduction (sur Mac, "ouvrir avec..." -> Terminal).

Deaduction utilise la bibliothèque gmp (via l'assistant de preuve Lean). Le script ne prend pas en charge l'installation de gmp, il se contente de signaler si gmp est manquant (et dans ce cas il s'arrête). Pour installer gmp :

  • Commencer par installer Homebrew, en suivant les instructions ici (copier la formule dans un terminal, et patienter...) https://brew.sh/
  • puis, dans un terminal, taper brew install gmp.

Le reste de cette page décrit l'installation pas à pas, au cas où vous ne souhaitez pas utiliser le script d'installation.

Clonage du dépot, installation environnement virtuel

Clonage ou copie

Vous pouvez simplement télécharger l'archive zip et la décompresser. Cependant, pour pouvoir mettre à jour facilement, il est recommandé de cloner le dépôt :

  • Installer Git :
    • Sous Mac, dans un Terminal, taper git --versionpour vérifier si Git est installé (sinon, il proposera l'installation).
    • Sous Linux, tapez apt-get install git-all.
  • Cloner le dépôt : Dans un terminal ou une fenêtre Shell, tapez
git clone https://github.com/dEAduction/dEAduction.git

La branche stable ets la branche master, elle est sélectionnée par défaut.

Initialisation environnement virtuel

Après avoir cloné le dépot, la procédure recommandée est de créer un environnement virtuel. Dans le dossier du dépot, le script envconfig permet d'automatiser ces opérations, en tapant :

source envconfig

Ce qui crée l'environnement virtuel (si besoin), installe les différentes dépendances de développement du projet, et fournit quelques fonctions bash utilitaires. Pour info, sous certaines versions de MacOs il y a un problème avec les dernière version de Pyside2 ; dans ce cas, le logiciel peut tourner avec Python3.7, Pyside2 = 5.13.2 et Shiboken2 = 5.13.2. Il est important de noter, que lors d'une session de développement, il faudra activer l'environnement virtuel en tapant source envconfig dans la fenêtre avant de pouvoir exécuter le programme.

Lancer le logiciel

Une fois le logiciel installé, on peut lancer l'interface de deaduction avec

python3 -m dui

en ayant pris soin d'activer auparavant l'environnement virtuel, et en se plaçant dans le dossier src/deaduction. Lors du premier lancement, le programme détecte que Lean et sa librairie mathématique mathlib ne sont pas installés, et propose de le faire.

La fenêtre qui s'ouvre permet ensuite de choisir un fichier de cours... et de commencer un exercice !