Upgrade auf Idris v 1.0 mit Cabal?

Gegeben:Upgrade auf Idris v 1.0 mit Cabal?

$idris -v 
0.99

I 1. jedoch auf die Version aktualisieren möchte ich durch Laufen cabal install idris zu aktualisieren blind versucht, diese Ausgabe zu sehen:

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

So scheint es, dass ich habe bereits installiert idris Version 1, aber ich benutze es nicht, per idris -v Ausgabe?

Wie kann ich Idris v1 in meiner Situation verwenden?

Quelle

2017-06-21 Kevin Meredith

Add idris Symlink zu '/ usr/bin': '/root/.cabal/bin/idris' – noobninja

Fügen Sie außerdem Zeile Ihrer '.bashrc' Datei zu beenden. So etwas wie 'export PATH ="/root/.cabal/bin: $ PATH "' Abhängig davon, wo sich '.cabal' dir befindet. – noobninja

Danke, @noobninja. Pflegen Sie für Kredit? Auch warum hätte meine Installation von '1.0' es nicht zum' $ PATH' geschafft? –

Je nachdem, wo .cabal dir befindet ...

ein Idris Symlink /usr/bin hinzufügen: eine Textdatei mit der Zeichenfolge /root/.cabal/bin/idris darin idris benannt. Spezifischer Pfad: /usr/bin/idris.
fügen Sie eine Zeile an das Ende Ihrer .bashrc Datei: export PATH="/root/.cabal/bin:$PATH"

Mein Linux-Distribution Ubuntu 16.04.2 LTS ist.

Quelle

2017-07-03 15:55:31 noobninja

Upgrade auf Idris v 1.0 mit Cabal?

Antwort

Verwandte Themen