Aide à l'installation (provisoire !)
🆕 Le logiciel est disponible est maintenant disponible "tout-en-un", voir ici.
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.
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.
- Sous Mac, dans un Terminal, taper
- 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.
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 envconfigCe 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.
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 !