... | ... | @@ -13,7 +13,16 @@ Dazu bietet es eine interaktive Eingabe, die das Auswerten von Ausdrücken in ge |
|
|
DrHaskell kann auch mit Hilfe einer Docker-Umgebung installiert und genutzt werden.
|
|
|
Die Vorgehensweise wird in der Anleitung "[DrHaskell Installation (mit Docker)](install-dockerized-drhaskell)" beschrieben.
|
|
|
|
|
|
#### Per Cabal (Betriebssystemunabhängig)
|
|
|
#### Per `install_linux.sh` (GNU/Linux)
|
|
|
|
|
|
1. Die aktuelle Version von DrHaskell (https://git.ps.informatik.uni-kiel.de/student-projects/mapro-2017-ss.git) herunterladen und in einen Ordner entpacken.
|
|
|
2. Eine Shell öffnen und das Skript `install_linux.sh` in diesem Ordner ausführen.
|
|
|
3. Ggf. angezeigte Abhängigkeiten installieren und das Skript erneut ausführen.
|
|
|
|
|
|
Das Skript erkennt, falls GHC oder Cabal fehlen und schlägt Befehle vor, wie diese mit dem Paketmanager des Systems installiert werden können. Diese sind allerdings kaum getestet, es empfiehlt sich also, diese auf Plausibilität zu prüfen, bevor diese benutzt werden.
|
|
|
Das Skript führt die gleichen Schritte aus wie die manuelle Installation per Cabal. DrHaskell kann dadurch entfernt werden, dass der Ordner, in den es in Schritt 1 entpackt wurde, gelöscht wird; es führt selbst keine weiteren Änderungen am System oder im Homeverzeichnies durch. Dennoch stellt dies keine portable Installation dar, da die Sandbox ihren absoluten Pfad benutzt. Insbesondere kann der Ordner nicht nachträglich verschoben werden.
|
|
|
|
|
|
#### Manuell per Cabal (Betriebssystemunabhängig)
|
|
|
|
|
|
1. Zuerst den Glasgow Haskell Compiler (GHC) (https://www.haskell.org/ghc/) in Version 7 oder höher für das eigene System installieren. Danach das Cabal-install Werkzeug (https://www.haskell.org/cabal/download.html) installieren. Alternativ kann Haskell Platform (https://www.haskell.org/platform/) installiert werden, darin sind GHC und Cabal sowie einige weitere häufig genutzte Pakete zur Entwicklung mit Haskell enthalten.
|
|
|
2. Die aktuelle Version von DrHaskell (https://git.ps.informatik.uni-kiel.de/student-projects/mapro-2017-ss.git) herunterladen und in einen Ordner entpacken.
|
... | ... | @@ -29,7 +38,7 @@ Die Vorgehensweise wird in der Anleitung "[DrHaskell Installation (mit Docker)]( |
|
|
11. Kommandozeilenaufforderung neustarten, damit der Pfad übernommen wird.
|
|
|
12. DrHaskell kann nun durch Eingabe von `drhaskell` von der Kommandozeile gestartet werden.
|
|
|
|
|
|
Diese Methode installiert keine Dateien von DrHaskell ins System. Es kann vollständig entfernt werden, indem der Ordner aus Schritt 2 gelöscht wird. Dennoch stellt dies keine portable Installation dar, da die Sandbox ihren absoluten Pfad benutzt. Insbesondere kann der Ordner nicht nachträglich verschoben werden.
|
|
|
Wie in der `install_linux.sh`-Skript-Methode ist auch die so erhaltene Installation entfernbar durch einfaches Löschen des enthaltenden Ordners und stellt ebenfalls keine portable Installation dar.
|
|
|
|
|
|
## Benutzung Interaktive Eingabe
|
|
|
|
... | ... | |