| changeset 69500 | db001bc11855 |
| parent 69267 | 517655a528fe |
| child 69930 | b5286c564861 |
| 69499:638fdbbc7d1f | 69500:db001bc11855 |
|---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # DESCRIPTION: setup Glasgow Haskell Compiler setup via Stack |
5 # DESCRIPTION: setup Glasgow Haskell Compiler via Stack |
6 |
6 |
7 set -e |
7 set -e |
8 |
8 |
9 isabelle_stack setup |
9 isabelle_stack setup |
10 isabelle_stack ghc -- --version |
10 isabelle_stack ghc -- --version |