... | ... | @@ -8,12 +8,6 @@ Dazu bietet es eine interaktive Eingabe, die das Auswerten von Ausdrücken in ge |
|
|
|
|
|
## Installation
|
|
|
|
|
|
#### GNU/Linux
|
|
|
|
|
|
#### Windows
|
|
|
|
|
|
#### Mac OS
|
|
|
|
|
|
#### Docker
|
|
|
|
|
|
DrHaskell kann auch mit Hilfe einer Docker-Umgebung installiert und genutzt werden.
|
... | ... | @@ -22,7 +16,7 @@ Die Vorgehensweise wird in der Anleitung "[DrHaskell Installation (mit Docker)]( |
|
|
#### 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 (**`TODO: URL einbauen`**) herunterladen und in einen Ordner entpacken.
|
|
|
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.
|
|
|
3. In diesem Ordner eine Kommandozeile öffnen
|
|
|
4. Per `cabal update` die Cabal-Datenbank aktualisieren.
|
|
|
5. QuickCheck mittels `cabal install quickcheck` installieren.
|
... | ... | |