Mise à niveau vers Idris v 1.0 avec Cabal?

Étant donné:Mise à niveau vers Idris v 1.0 avec Cabal?

$idris -v 
0.99

Je voudrais passer à la version 1. Cependant, je aveuglément essayé de mettre à niveau en exécutant cabal install idris pour voir cette sortie:

$cabal install idris 
Resolving dependencies... 
All the requested packages are already installed: 
idris-1.0 
Use --reinstall if you want to reinstall anyway.

Ainsi, il semble que j'ai déjà installé idris version 1, mais je ne l'utilise pas, par la sortie idris -v? Comment puis-je utiliser Idris v1 compte tenu de ma situation?

Source

2017-06-21 Kevin Meredith

Ajouter à idris symlink '/ usr/bin': ligne '/root/.cabal/bin/idris' – noobninja

, ajoutez également à la fin de votre fichier '.bashrc'. Quelque chose comme, 'export PATH ="/root/.cabal/bin: $ PATH "' Selon l'emplacement du répertoire '.cabal'. – noobninja

Merci, @noobninja. Attention à poster pour le crédit? De plus, pourquoi mon installation de '1.0' ne l'aurait-elle pas fait avec' $ PATH'? –

Selon l'endroit où se trouve .cabal dir ...

ajouter un lien symbolique Idris à /usr/bin: un fichier texte avec la chaîne /root/.cabal/bin/idris dans ce nom idris. Chemin spécifique: /usr/bin/idris.
ajouter une ligne à la fin de votre fichier .bashrc: export PATH="/root/.cabal/bin:$PATH"

Mon distro Linux est Ubuntu 16.04.2 LTS.

Source

2017-07-03 15:55:31 noobninja

Mise à niveau vers Idris v 1.0 avec Cabal?

Répondre

Questions connexes