Experimental nice thing

Update freeze file
Use OverloadedStrings instead of TH
2020-03-24 18:05:12 +01:00 · 2020-03-21 22:28:22 +01:00 · 2020-03-21 22:19:37 +01:00 · 2020-03-21 20:11:30 +01:00 · 2020-03-21 20:11:18 +01:00 · 2020-03-18 17:31:17 +01:00
18 changed files with 1339 additions and 809 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 dist-newstyle/
+.stack-work/
--- a/README.md
+++ b/README.md
@@ -1,37 +1,144 @@
-# ghcup
+`ghcup` makes it easy to install specific versions of `ghc` on GNU/Linux,
+macOS (aka Darwin) and FreeBSD and can also bootstrap a fresh Haskell developer environment from scratch.
+It follows the unix UNIX philosophy of [do one thing and do it well](https://en.wikipedia.org/wiki/Unix_philosophy#Do_One_Thing_and_Do_It_Well).

-A rewrite of ghcup in haskell.
+Similar in scope to [rustup](https://github.com/rust-lang-nursery/rustup.rs), [pyenv](https://github.com/pyenv/pyenv) and [jenv](http://www.jenv.be).

-## TODO
+*Ubuntu users may prefer [hvr's ppa](https://launchpad.net/~hvr/+archive/ubuntu/ghc).*

-* create static ghcup binaries
-    * adjust url in GHCupDownloads
-* add print-system-reqs command
+## Table of Contents

-## Motivation
+   * [Installation](#installation)
+   * [Usage](#usage)
+     * [Manpages](#manpages)
+   * [Design goals](#design-goals)
+   * [How](#how)
+   * [Known users](#known-users)
+   * [Known problems](#known-problems)
+   * [FAQ](#faq)

-Maintenance problems:
+## Installation

-* platform incompatibilities regularly causing breaking bugs:
-	* [Mktemp not working properly on macOS](https://gitlab.haskell.org/haskell/ghcup/issues/130)
-	* [ln: illegal option -- T on macOS Catalina](https://gitlab.haskell.org/haskell/ghcup/issues/123)
-	* [Wrong tar flag on darwin](https://gitlab.haskell.org/haskell/ghcup/issues/119))
-* refactoring being difficult due to POSIX sh
+### Simple bootstrap

-Benefits of a rewrite:
+Follow the instructions at [https://www.haskell.org/ghcup/](https://www.haskell.org/ghcup/)

-* Features such as installing [release candidates](https://gitlab.haskell.org/haskell/ghcup/issues/94) or [HEAD builds](https://gitlab.haskell.org/haskell/ghcup/issues/65) can be more conveniently implemented in a rewrite
-* Refactoring will be easier
-* Better tool support (such as linting the downloads file)
-* saner downloads file format (such as JSON)
+### Manual install

-Downsides:
+Download the binary for your platform at [https://github.com/hasufell/ghcup-hs/releases](https://github.com/hasufell/ghcup-hs/releases)
+and place it into your `PATH` anywhere.

-* building static binaries for all platforms (and possibly causing SSL/DNS problems)
-* still bootstrapping those binaries via a POSIX sh script
+Then adjust your `PATH` in `~/.bashrc` (or similar, depending on your shell) like so:

-## Goals
+```sh
+export PATH="$HOME/.cabal/bin:$HOME/.ghcup/bin:$PATH"
+```
+
+## Usage
+
+See `ghcup --help`.
+
+Common use cases are:
+
+```sh
+# list available ghc/cabal versions
+ghcup list
+
+# install the recommended GHC version
+ghcup install ghc
+
+# install a specific GHC version
+ghcup install ghc -v 8.2.2
+
+# set the currently "active" GHC version
+ghcup set -v 8.4.4
+
+# install cabal-install
+ghcup install cabal
+
+# update ghcup itself
+ghcup upgrade
+```
+
+Generally this is meant to be used with [`cabal-install`](https://hackage.haskell.org/package/cabal-install), which
+handles your haskell packages and can demand that [a specific version](https://cabal.readthedocs.io/en/latest/nix-local-build.html#cfg-flag---with-compiler)  of `ghc` is available, which `ghcup` can do.
+
+### Manpages
+
+For man pages to work you need [man-db](http://man-db.nongnu.org/) as your `man` provider, then issue `man ghc`. Manpages only work for the currently set ghc.
+`MANPATH` may be required to be unset.
+
+## Design goals
+
+1. simplicity
+2. non-interactive
+3. portable (eh)
+4. do one thing and do it well (UNIX philosophy)
+
+### Non-goals
+
+1. invoking `sudo`, `apt-get` or *any* package manager
+2. handling system packages
+3. handling cabal projects
+4. being a stack alternative
+
+## How
+
+Installs a specified GHC version into `~/.ghcup/ghc/<ver>`, and places `ghc-<ver>` symlinks in `~/.ghcup/bin/`.
+
+Optionally, an unversioned `ghc` link can point to a default version of your choice.
+
+This uses precompiled GHC binaries that have been compiled on fedora/debian by [upstream GHC](https://www.haskell.org/ghc/download_ghc_8_6_1.html#binaries).
+
+Alternatively, you can also tell it to compile from source (note that this might fail due to missing requirements).
+
+In addition this script can also install `cabal-install`.
+
+## Known users
+
+* [vabal](https://github.com/Franciman/vabal)
+
+## Known problems
+
+### Limited distributions supported
+
+Currently only GNU/Linux distributions compatible with the [upstream GHC](https://www.haskell.org/ghc/download_ghc_8_6_1.html#binaries) binaries are supported.
+
+### Precompiled binaries
+
+Since this uses precompiled binaries you may run into
+several problems.
+
+#### Missing libtinfo (ncurses)
+
+You may run into problems with *ncurses* and **missing libtinfo**, in case
+your distribution doesn't use the legacy way of building
+ncurses and has no compatibility symlinks in place.
+
+Ask your distributor on how to solve this or
+try to compile from source via `ghcup compile <version>`.
+
+#### Libnuma required
+
+This was a [bug](https://ghc.haskell.org/trac/ghc/ticket/15688) in the build system of some GHC versions that lead to
+unconditionally enabled libnuma support. To mitigate this you might have to install the libnuma
+package of your distribution. See [here](https://gitlab.haskell.org/haskell/ghcup/issues/58) for a discussion.
+
+### Compilation
+
+Although this script can compile GHC for you, it's just a very thin
+wrapper around the build system. It makes no effort in trying
+to figure out whether you have the correct toolchain and
+the correct dependencies. Refer to [the official docs](https://ghc.haskell.org/trac/ghc/wiki/Building/Preparation/Linux)
+on how to prepare your environment for building GHC.
+
+## FAQ
+
+1. Why reimplement stack?
+
+ghcup is not a reimplementation of stack. The only common part is automatic installation of GHC, but even that differs in scope and design.
+
+2. Why not support windows?
+
+Consider using [Chocolatey](https://chocolatey.org/search?q=ghc) or [ghcups](https://github.com/kakkun61/ghcups).

-* Correct low-level code
-* Good exception handling
-* Cleaner user interface
--- a/app/ghcup-gen/GHCupDownloads.hs
+++ b/app/ghcup-gen/GHCupDownloads.hs
--- a/app/ghcup-gen/Validate.hs
+++ b/app/ghcup-gen/Validate.hs
@@ -161,7 +161,7 @@ validateTarballs dls = do

 where
  downloadAll dli = do
-    let settings = Settings True GHCupURL False
+    let settings = Settings True False
    let runLogger = myLoggerT LoggerConfig { lcPrintDebug = True
                                           , colorOutter  = B.hPut stderr
                                           , rawOutter    = (\_ -> pure ())
--- a/app/ghcup/Main.hs
+++ b/app/ghcup/Main.hs
@@ -3,6 +3,7 @@
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE TemplateHaskell   #-}
 {-# LANGUAGE QuasiQuotes       #-}
+{-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE DuplicateRecordFields #-}


@@ -15,18 +16,23 @@ import           GHCup.Types
 import           GHCup.Utils
 import           GHCup.Utils.Logger
 import           GHCup.Utils.Prelude
-import           GHCup.Utils.String.QQ
 import           GHCup.Version

+import           Control.Monad.Fail             ( MonadFail )
 import           Control.Monad.Logger
 import           Control.Monad.Reader
 import           Control.Monad.Trans.Resource
 import           Data.Bifunctor
 import           Data.Char
+import           Data.Either
+import           Data.Functor
 import           Data.List                      ( intercalate )
 import           Data.Semigroup                 ( (<>) )
 import           Data.String.Interpolate
+import           Data.Text                      ( Text )
 import           Data.Versions
+import           Data.Void
+import           GHC.IO.Encoding
 import           Haskus.Utils.Variant.Excepts
 import           HPath
 import           HPath.IO
@@ -45,6 +51,7 @@ import qualified Data.ByteString.UTF8          as UTF8
 import qualified Data.Text                     as T
 import qualified Data.Text.IO                  as T
 import qualified Data.Text.Encoding            as E
+import qualified Text.Megaparsec               as MP



@@ -79,7 +86,8 @@ data InstallCommand = InstallGHC InstallOptions
                    | InstallCabal InstallOptions

 data InstallOptions = InstallOptions
-  { instVer :: Maybe ToolVersion
+  { instVer      :: Maybe ToolVersion
+  , instPlatform :: Maybe PlatformRequest
  }

 data SetGHCOptions = SetGHCOptions
@@ -127,8 +135,11 @@ opts =
    <*> (optional
          (option
            (eitherReader parseUri)
-            (short 's' <> long "url-source" <> metavar "URL" <> help
-              "Alternative ghcup download info url" <> internal
+            (  short 's'
+            <> long "url-source"
+            <> metavar "URL"
+            <> help "Alternative ghcup download info url"
+            <> internal
            )
          )
        )
@@ -167,13 +178,13 @@ com =
                 (progDesc "Upgrade ghcup (per default in ~/.ghcup/bin/)")
               )
           )
-          <> command
-               "compile"
-               (   Compile
-               <$> (info (compileP <**> helper)
-                         (progDesc "Compile a tool from source")
-                   )
+      <> command
+           "compile"
+           (   Compile
+           <$> (info (compileP <**> helper)
+                     (progDesc "Compile a tool from source")
               )
+           )
      <> commandGroup "Main commands:"
      )
    <|> subparser
@@ -226,7 +237,21 @@ installP = subparser
  )

 installOpts :: Parser InstallOptions
-installOpts = InstallOptions <$> optional toolVersionParser
+installOpts =
+  InstallOptions
+    <$> optional toolVersionParser
+    <*> (optional
+          (option
+            (eitherReader platformParser)
+            (  short 'p'
+            <> long "platform"
+            <> metavar "PLATFORM"
+            <> help
+                 "Override for platform (triple matching ghc tarball names), e.g. x86_64-fedora27-linux"
+            )
+          )
+        )
+

 setGHCOpts :: Parser SetGHCOptions
 setGHCOpts = SetGHCOptions <$> optional toolVersionParser
@@ -356,11 +381,83 @@ criteriaParser s' | t == T.pack "installed" = Right ListInstalled
  where t = T.toLower (T.pack s')


+platformParser :: String -> Either String PlatformRequest
+platformParser s' = case MP.parse (platformP <* MP.eof) "" (T.pack s') of
+  Right r -> pure r
+  Left  e -> Left $ errorBundlePretty e
+ where
+  archP :: MP.Parsec Void Text Architecture
+  archP = (MP.try (MP.chunk "x86_64" $> A_64)) <|> (MP.chunk "i386" $> A_32)
+  platformP :: MP.Parsec Void Text PlatformRequest
+  platformP = choice'
+    [ (\a mv -> PlatformRequest a FreeBSD mv)
+    <$> (archP <* MP.chunk "-")
+    <*> (  MP.chunk "portbld"
+        *> (   MP.try (Just <$> verP (MP.chunk "-freebsd" <* MP.eof))
+           <|> pure Nothing
+           )
+        <* MP.chunk "-freebsd"
+        )
+    , (\a mv -> PlatformRequest a Darwin mv)
+    <$> (archP <* MP.chunk "-")
+    <*> (  MP.chunk "apple"
+        *> (   MP.try (Just <$> verP (MP.chunk "-darwin" <* MP.eof))
+           <|> pure Nothing
+           )
+        <* MP.chunk "-darwin"
+        )
+    , (\a d mv -> PlatformRequest a (Linux d) mv)
+    <$> (archP <* MP.chunk "-")
+    <*> distroP
+    <*> ((MP.try (Just <$> verP (MP.chunk "-linux" <* MP.eof)) <|> pure Nothing
+         )
+        <* MP.chunk "-linux"
+        )
+    ]
+  distroP :: MP.Parsec Void Text LinuxDistro
+  distroP = choice'
+    [ MP.chunk "debian" $> Debian
+    , MP.chunk "deb" $> Debian
+    , MP.chunk "ubuntu" $> Ubuntu
+    , MP.chunk "mint" $> Mint
+    , MP.chunk "fedora" $> Fedora
+    , MP.chunk "centos" $> CentOS
+    , MP.chunk "redhat" $> RedHat
+    , MP.chunk "alpine" $> Alpine
+    , MP.chunk "gentoo" $> Gentoo
+    , MP.chunk "exherbo" $> Exherbo
+    , MP.chunk "unknown" $> UnknownLinux
+    ]
+  verP :: MP.Parsec Void Text Text -> MP.Parsec Void Text Versioning
+  verP suffix = do
+    ver <- parseUntil suffix
+    if T.null ver
+      then fail "empty version"
+      else do
+        rest <- MP.getInput
+        MP.setInput ver
+        v <- versioning'
+        MP.setInput rest
+        pure v
+
+  choice' []       = fail "Empty list"
+  choice' [x     ] = x
+  choice' (x : xs) = MP.try x <|> choice' xs
+
+  parseUntil :: MP.Parsec Void Text Text -> MP.Parsec Void Text Text
+  parseUntil p = do
+    (MP.try (MP.lookAhead p) $> mempty)
+      <|> (do
+            c  <- T.singleton <$> MP.anySingle
+            c2 <- parseUntil p
+            pure (c `mappend` c2)
+          )
+
+
 toSettings :: Options -> Settings
 toSettings Options {..} =
-  let cache     = optCache
-      urlSource = maybe GHCupURL OwnSource optUrlSource
-      noVerify  = optNoVerify
+  let cache    = optCache
+      noVerify = optNoVerify
  in  Settings { .. }


@@ -397,8 +494,12 @@ main = do
    >>= \opt@Options {..} -> do
          let settings = toSettings opt

+          -- create ~/.ghcup dir
+          ghcdir <- ghcupBaseDir
+          createDirIfMissing newDirPerms ghcdir
+
          -- logger interpreter
-          logfile <- initGHCupFileLogging ([rel|ghcup.log|] :: Path Rel)
+          logfile <- initGHCupFileLogging [rel|ghcup.log|]
          let runLogger = myLoggerT LoggerConfig
                { lcPrintDebug = optVerbose
                , colorOutter  = B.hPut stderr
@@ -416,7 +517,6 @@ main = do
                      , DistroNotFound
                      , FileDoesNotExistError
                      , CopyError
-                      , JSONError
                      , NoCompatibleArch
                      , NoDownload
                      , NotInstalled
@@ -427,22 +527,21 @@ main = do
                      , DownloadFailed
                      ]

-          let runSetGHC =
-                runLogger
-                  . flip runReaderT settings
-                  . runE
-                    @'[ FileDoesNotExistError
-                      , NotInstalled
-                      , TagNotFound
-                      , JSONError
-                      , TagNotFound
-                      , DownloadFailed
-                      ]
+          let
+            runSetGHC =
+              runLogger
+                . flip runReaderT settings
+                . runE
+                  @'[ FileDoesNotExistError
+                    , NotInstalled
+                    , TagNotFound
+                    , TagNotFound
+                    ]

          let runListGHC =
                runLogger
                  . flip runReaderT settings
-                  . runE @'[FileDoesNotExistError , JSONError , DownloadFailed]
+                  . runE @'[FileDoesNotExistError]

          let runRmGHC =
                runLogger . flip runReaderT settings . runE @'[NotInstalled]
@@ -461,12 +560,10 @@ main = do
                    @'[ AlreadyInstalled
                      , BuildFailed
                      , DigestError
-                      , DownloadFailed
                      , GHCupSetError
                      , NoDownload
                      , UnknownArchive
-                     --
-                      , JSONError
+                      , DownloadFailed
                      ]

          let runCompileCabal =
@@ -474,12 +571,11 @@ main = do
                  . flip runReaderT settings
                  . runResourceT
                  . runE
-                    @'[ JSONError
-                      , UnknownArchive
+                    @'[ UnknownArchive
                      , NoDownload
                      , DigestError
-                      , DownloadFailed
                      , BuildFailed
+                      , DownloadFailed
                      ]

          let runUpgrade =
@@ -493,30 +589,42 @@ main = do
                      , NoCompatibleArch
                      , NoDownload
                      , FileDoesNotExistError
-                      , JSONError
-                      , DownloadFailed
                      , CopyError
+                      , DownloadFailed
                      ]

+          dls <-
+            ( runLogger
+              . flip runReaderT settings
+              . runE @'[JSONError , DownloadFailed]
+              $ liftE
+              $ getDownloads (maybe GHCupURL OwnSource optUrlSource)
+              )
+              >>= \case
+                    VRight r -> pure r
+                    VLeft e ->
+                      runLogger
+                          ($(logError) [i|Error fetching download info: #{e}|])
+                        >> exitFailure
+          runLogger $ checkForUpdates dls

          case optCommand of
            Install (InstallGHC InstallOptions {..}) ->
              void
                $   (runInstTool $ do
-                      dls <- liftE getDownloads
-                      v   <- liftE $ fromVersion dls instVer GHC
-                      liftE $ installGHCBin dls v Nothing
+                      v <- liftE $ fromVersion dls instVer GHC
+                      liftE $ installGHCBin dls v instPlatform
                    )
                >>= \case
-                      VRight _ -> runLogger
-                        $ $(logInfo) ([s|GHC installation successful|])
+                      VRight _ ->
+                        runLogger $ $(logInfo) ("GHC installation successful")
                      VLeft (V (AlreadyInstalled _ v)) ->
                        runLogger $ $(logWarn)
                          [i|GHC ver #{prettyVer v} already installed|]
                      VLeft (V (BuildFailed tmpdir e)) ->
                        runLogger
                            ($(logError) [i|Build failed with #{e}
-Check the logs at ~/ghcup/logs and the build directory #{tmpdir} for more clues.|]
+Check the logs at ~/.ghcup/logs and the build directory #{tmpdir} for more clues.|]
                            )
                          >> exitFailure
                      VLeft e -> do
@@ -527,13 +635,12 @@ Check the logs at ~/ghcup/logs and the build directory #{tmpdir} for more clues.
            Install (InstallCabal InstallOptions {..}) ->
              void
                $   (runInstTool $ do
-                      dls <- liftE getDownloads
-                      v   <- liftE $ fromVersion dls instVer Cabal
-                      liftE $ installCabalBin dls v Nothing
+                      v <- liftE $ fromVersion dls instVer Cabal
+                      liftE $ installCabalBin dls v instPlatform
                    )
                >>= \case
-                      VRight _ -> runLogger
-                        $ $(logInfo) ([s|Cabal installation successful|])
+                      VRight _ ->
+                        runLogger $ $(logInfo) ("Cabal installation successful")
                      VLeft (V (AlreadyInstalled _ v)) ->
                        runLogger $ $(logWarn)
                          [i|Cabal ver #{prettyVer v} already installed|]
@@ -546,20 +653,18 @@ Check the logs at ~/ghcup/logs and the build directory #{tmpdir} for more clues.
            SetGHC (SetGHCOptions {..}) ->
              void
                $   (runSetGHC $ do
-                      dls <- liftE getDownloads
-                      v   <- liftE $ fromVersion dls ghcVer GHC
+                      v <- liftE $ fromVersion dls ghcVer GHC
                      liftE $ setGHC v SetGHCOnly
                    )
                >>= \case
                      VRight _ ->
-                        runLogger $ $(logInfo) ([s|GHC successfully set|])
+                        runLogger $ $(logInfo) ("GHC successfully set")
                      VLeft e ->
                        runLogger ($(logError) [i|#{e}|]) >> exitFailure

            List (ListOptions {..}) ->
              void
                $   (runListGHC $ do
-                      dls <- liftE getDownloads
                      liftIO $ listVersions dls lTool lCriteria
                    )
                >>= \case
@@ -590,21 +695,20 @@ Check the logs at ~/ghcup/logs and the build directory #{tmpdir} for more clues.
            Compile (CompileGHC CompileOptions {..}) ->
              void
                $   (runCompileGHC $ do
-                      dls <- liftE getDownloads
                      liftE
                        $ compileGHC dls targetVer bootstrapVer jobs buildConfig
                    )
                >>= \case
                      VRight _ ->
                        runLogger $ $(logInfo)
-                          ([s|GHC successfully compiled and installed|])
+                          ("GHC successfully compiled and installed")
                      VLeft (V (AlreadyInstalled _ v)) ->
                        runLogger $ $(logWarn)
                          [i|GHC ver #{prettyVer v} already installed|]
                      VLeft (V (BuildFailed tmpdir e)) ->
                        runLogger
                            ($(logError) [i|Build failed with #{e}
-Check the logs at ~/ghcup/logs and the build directory #{tmpdir} for more clues.|]
+Check the logs at ~/.ghcup/logs and the build directory #{tmpdir} for more clues.|]
                            )
                          >> exitFailure
                      VLeft e ->
@@ -613,20 +717,16 @@ Check the logs at ~/ghcup/logs and the build directory #{tmpdir} for more clues.
            Compile (CompileCabal CompileOptions {..}) ->
              void
                $   (runCompileCabal $ do
-                      dls <- liftE getDownloads
-                      liftE $ compileCabal dls
-                                           targetVer
-                                           bootstrapVer
-                                           jobs
+                      liftE $ compileCabal dls targetVer bootstrapVer jobs
                    )
                >>= \case
                      VRight _ ->
                        runLogger $ $(logInfo)
-                          ([s|Cabal successfully compiled and installed|])
+                          ("Cabal successfully compiled and installed")
                      VLeft (V (BuildFailed tmpdir e)) ->
                        runLogger
                            ($(logError) [i|Build failed with #{e}
-Check the logs at ~/ghcup/logs and the build directory #{tmpdir} for more clues.|]
+Check the logs at ~/.ghcup/logs and the build directory #{tmpdir} for more clues.|]
                            )
                          >> exitFailure
                      VLeft e ->
@@ -641,11 +741,10 @@ Check the logs at ~/ghcup/logs and the build directory #{tmpdir} for more clues.
                (UpgradeAt p)   -> pure $ Just p
                UpgradeGHCupDir -> do
                  bdir <- liftIO $ ghcupBinDir
-                  pure (Just (bdir </> ([rel|ghcup|] :: Path Rel)))
+                  pure (Just (bdir </> [rel|ghcup|]))

              void
                $   (runUpgrade $ do
-                      dls <- liftE getDownloads
                      liftE $ upgradeGHCup dls target
                    )
                >>= \case
@@ -677,6 +776,9 @@ fromVersion av (Just (ToolTag Recommended)) tool =

 printListResult :: [ListResult] -> IO ()
 printListResult lr = do
+  -- https://gitlab.haskell.org/ghc/ghc/issues/8118
+  setLocaleEncoding utf8
+
  let
    formatted =
      gridString
@@ -700,3 +802,12 @@ printListResult lr = do
            )
            lr
  putStrLn $ formatted
+
+
+checkForUpdates :: (MonadFail m, MonadLogger m) => GHCupDownloads -> m ()
+checkForUpdates dls = do
+  forM_ (getLatest dls GHCup) $ \l -> do
+    (Right ghc_ver) <- pure $ version $ prettyPVP ghcUpVer
+    when (l > ghc_ver)
+      $ $(logWarn)
+          [i|New GHCup version available: #{prettyVer l}. To upgrade, run 'ghcup upgrade'|]
--- a/cabal.project
+++ b/cabal.project
@@ -13,3 +13,6 @@ package ghcup
 package tar-bytestring
    ghc-options: -O2

+constraints: http-io-streams -brotli
+
+index-state: 2020-03-09T18:53:34Z
--- a/cabal.project.freeze
+++ b/cabal.project.freeze
@@ -1,12 +1,15 @@
 constraints: any.Cabal ==2.4.0.1,
+             any.Glob ==0.10.0,
             any.HsOpenSSL ==0.11.4.17,
             HsOpenSSL -fast-bignum -homebrew-openssl -macports-openssl -old-locale,
             any.IfElse ==0.85,
+             any.Only ==0.1,
             any.QuickCheck ==2.13.2,
             QuickCheck +templatehaskell,
             any.StateVar ==1.2,
             any.abstract-deque ==0.3,
             abstract-deque -usecas,
+             any.abstract-par ==0.3.3,
             any.aeson ==1.4.6.0,
             aeson -bytestring-builder -cffi -developer -fast,
             any.aeson-pretty ==0.8.8,
@@ -27,6 +30,7 @@ constraints: any.Cabal ==2.4.0.1,
             any.auto-update ==0.1.6,
             any.base ==4.12.0.0,
             any.base-compat ==0.11.1,
+             any.base-compat-batteries ==0.11.1,
             any.base-orphans ==0.8.2,
             any.base-prelude ==1.3,
             any.base16-bytestring ==0.1.1.6,
@@ -34,21 +38,24 @@ constraints: any.Cabal ==2.4.0.1,
             any.bifunctors ==5.5.7,
             bifunctors +semigroups +tagged,
             any.binary ==0.8.6.0,
+             any.binary-orphans ==1.0.1,
             any.blaze-builder ==0.4.1.0,
-             any.brotli ==0.0.0.0,
-             any.brotli-streams ==0.0.0.0,
             any.bytestring ==0.10.8.2,
             any.bytestring-builder ==0.10.8.2.0,
             bytestring-builder +bytestring_has_builder,
+             any.bytestring-handle ==0.1.0.6,
             any.bzlib ==0.5.0.5,
             any.cabal-doctest ==1.0.8,
             any.case-insensitive ==1.2.1.0,
+             any.cassava ==0.5.2.0,
+             cassava -bytestring--lt-0_10_4,
             any.cereal ==0.5.8.1,
             cereal -bytestring-builder,
             any.clock ==0.8,
             clock -llvm,
             any.cmdargs ==0.10.20,
             cmdargs +quotation -testprog,
+             any.code-page ==0.2,
             any.colour ==2.3.5,
             any.comonad ==5.0.6,
             comonad +containers +distributive +test-doctests,
@@ -57,10 +64,15 @@ constraints: any.Cabal ==2.4.0.1,
             any.containers ==0.6.0.1,
             any.contravariant ==1.5.2,
             contravariant +semigroups +statevar +tagged,
+             any.criterion ==1.5.6.2,
+             criterion -embed-data-files -fast,
+             any.criterion-measurement ==0.1.2.0,
+             criterion-measurement -fast,
             any.data-default-class ==0.1.2.0,
             any.data-default-instances-base ==0.1.0.1,
             any.deepseq ==1.4.4.0,
             any.deferred-folds ==0.9.10.1,
+             any.dense-linear-algebra ==0.1.0.0,
             any.directory ==1.3.3.0 || ==1.3.6.0,
             any.distributive ==0.6.1,
             distributive +semigroups +tagged,
@@ -99,13 +111,15 @@ constraints: any.Cabal ==2.4.0.1,
             any.hsc2hs ==0.68.6,
             hsc2hs -in-ghc-tree,
             any.http-io-streams ==0.1.2.0,
-             http-io-streams +brotli,
+             http-io-streams -brotli,
             any.indexed-profunctors ==0.1,
             any.integer-gmp ==1.0.2.0,
             any.integer-logarithms ==1.0.3,
             integer-logarithms -check-bounds +integer-gmp,
             any.io-streams ==1.5.1.0,
             io-streams -nointeractivetests,
+             any.js-flot ==0.8.3,
+             any.js-jquery ==3.3.1,
             any.language-bash ==0.9.0,
             any.lifted-base ==0.2.3.12,
             any.list-t ==1.0.4,
@@ -115,12 +129,16 @@ constraints: any.Cabal ==2.4.0.1,
             math-functions +system-erf +system-expm1,
             any.megaparsec ==8.0.0,
             megaparsec -dev,
+             any.microstache ==1.0.1.1,
             any.mmorph ==1.1.3,
             any.monad-control ==1.0.2.3,
             any.monad-logger ==0.3.32,
             monad-logger +template_haskell,
             any.monad-loops ==0.4.3,
             monad-loops +base4,
+             any.monad-par ==0.3.5,
+             monad-par -chaselev -newgeneric,
+             any.monad-par-extras ==0.3.3,
             any.mono-traversable ==1.0.15.1,
             any.mtl ==2.2.2,
             any.mwc-random ==0.14.0.0,
@@ -135,6 +153,7 @@ constraints: any.Cabal ==2.4.0.1,
             any.optics-th ==0.2,
             any.optics-vl ==0.2,
             any.optparse-applicative ==0.15.1.0,
+             any.parallel ==3.2.2.0,
             any.parsec ==3.1.13.0,
             any.parser-combinators ==1.2.1,
             parser-combinators -dev,
@@ -150,6 +169,9 @@ constraints: any.Cabal ==2.4.0.1,
             any.random ==1.1,
             any.recursion-schemes ==5.1.3,
             recursion-schemes +template-haskell,
+             any.regex-base ==0.94.0.0,
+             any.regex-posix ==0.96.0.0,
+             regex-posix -_regex-posix-clib,
             any.resourcet ==1.2.3,
             any.rts ==1.0,
             any.safe ==0.3.18,
@@ -164,6 +186,7 @@ constraints: any.Cabal ==2.4.0.1,
             any.split ==0.2.3.4,
             any.splitmix ==0.0.4,
             splitmix -optimised-mixer +random,
+             any.statistics ==0.15.2.0,
             any.stm ==2.5.0.0,
             any.stm-chans ==3.0.0.4,
             any.streaming-commons ==0.2.1.2,
@@ -178,13 +201,15 @@ constraints: any.Cabal ==2.4.0.1,
             any.table-layout ==0.8.0.5,
             any.tagged ==0.8.6,
             tagged +deepseq +transformers,
-             any.tar-bytestring ==0.6.3.0,
+             any.tar-bytestring ==0.6.3.1,
+             any.tasty ==1.2.3,
+             tasty +clock,
+             any.tasty-quickcheck ==0.10.1.1,
             any.template-haskell ==2.14.0.0,
             any.terminal-progress-bar ==0.4.1,
             any.terminal-size ==0.3.2.1,
             any.text ==1.2.3.1,
             any.text-conversions ==0.3.0,
-             any.text-icu ==0.7.0.1,
             any.text-short ==0.1.3,
             text-short -asserts,
             any.th-abstraction ==0.3.2.0,
@@ -204,6 +229,7 @@ constraints: any.Cabal ==2.4.0.1,
             any.transformers-compat ==0.6.5,
             transformers-compat -five +five-three -four +generic-deriving +mtl -three -two,
             any.typed-process ==0.2.6.0,
+             any.unbounded-delays ==0.1.1.0,
             any.unix ==2.7.2.2,
             any.unix-bytestring ==0.3.7.3,
             any.unix-compat ==0.5.2,
@@ -220,9 +246,12 @@ constraints: any.Cabal ==2.4.0.1,
             vector +boundschecks -internalchecks -unsafechecks -wall,
             any.vector-algorithms ==0.8.0.3,
             vector-algorithms +bench +boundschecks -internalchecks -llvm +properties -unsafechecks,
+             any.vector-binary-instances ==0.2.5.1,
             any.vector-builder ==0.3.8,
             any.vector-th-unbox ==0.2.1.7,
             any.versions ==3.5.3,
+             any.wcwidth ==0.0.2,
+             wcwidth -cli +split-base,
             any.word8 ==0.1.3,
             any.zlib ==0.6.2.1,
             zlib -non-blocking-ffi -pkg-config,
--- a/ghcup.cabal
+++ b/ghcup.cabal
@@ -1,234 +1,371 @@
-cabal-version:       2.2
+cabal-version:      3.0
+name:               ghcup
+version:            0.1.0.0
+synopsis:           ghc toolchain installer as an exe/library
+description:
+  A rewrite of the shell script ghcup, for providing
+  a more stable user experience and exposing an API.

-name:                ghcup
-version:             0.1.0.0
-synopsis:            ghc toolchain installer as an exe/library
-description:         A rewrite of the shell script ghcup, for providing
-                     a more stable user experience and exposing an API.
-homepage:            https://github.com/hasufell/ghcup-hs
-bug-reports:         https://github.com/hasufell/ghcup-hs/issues
-license:             LGPL-3.0-only
-license-file:        LICENSE
-author:              Julian Ospald
-maintainer:          hasufell@posteo.de
-copyright:           Julian Ospald 2020
-category:            System
-build-type:          Simple
-extra-source-files:  CHANGELOG.md
+homepage:           https://github.com/hasufell/ghcup-hs
+bug-reports:        https://github.com/hasufell/ghcup-hs/issues
+license:            LGPL-3.0-only
+license-file:       LICENSE
+author:             Julian Ospald
+maintainer:         hasufell@posteo.de
+copyright:          Julian Ospald 2020
+category:           System
+build-type:         Simple
+extra-source-files: CHANGELOG.md

 source-repository head
-  type: git
+  type:     git
  location: https://github.com/hasufell/ghcup-hs

-common HsOpenSSL { build-depends: HsOpenSSL >= 0.11 }
-common aeson { build-depends: aeson >= 1.4 }
-common aeson-pretty { build-depends: aeson-pretty >= 0.8.8 }
-common ascii-string { build-depends: ascii-string >= 1.0 }
-common async { build-depends: async >= 0.8 }
-common attoparsec { build-depends: attoparsec >= 0.13 }
-common base { build-depends: base >= 4.12 && < 5 }
-common binary { build-depends: binary >= 0.8.6.0 }
-common bytestring { build-depends: bytestring >= 0.10 }
-common bzlib { build-depends: bzlib >= 0.5.0.5 }
-common case-insensitive { build-depends: case-insensitive >= 1.2.1.0 }
-common containers { build-depends: containers >= 0.6 }
-common generics-sop { build-depends: generics-sop >= 0.5 }
-common haskus-utils-types { build-depends: haskus-utils-types >= 1.5 }
-common haskus-utils-variant { build-depends: haskus-utils-variant >= 3.0 }
-common hopenssl { build-depends: hopenssl >= 2.2.4 }
-common hpath { build-depends: hpath >= 0.11 }
-common hpath-directory { build-depends: hpath-directory >= 0.13.2 }
-common hpath-filepath { build-depends: hpath-filepath >= 0.10.3 }
-common hpath-io { build-depends: hpath-io >= 0.13.1 }
-common hpath-posix { build-depends: hpath-posix >= 0.11.1 }
-common http-io-streams { build-depends: http-io-streams >= 0.1.2.0 }
-common io-streams { build-depends: io-streams >= 1.5 }
-common language-bash { build-depends: language-bash >= 0.9 }
-common lzma { build-depends: lzma >= 0.0.0.3 }
-common monad-logger { build-depends: monad-logger >= 0.3.31 }
-common mtl { build-depends: mtl >= 2.2 }
-common optics { build-depends: optics >= 0.2 }
-common optics-vl { build-depends: optics-vl >= 0.2 }
-common optparse-applicative { build-depends: optparse-applicative >= 0.15.1.0 }
-common parsec { build-depends: parsec >= 3.1 }
-common pretty-terminal { build-depends: pretty-terminal >= 0.1.0.0 }
-common resourcet { build-depends: resourcet >= 1.2.2 }
-common safe { build-depends: safe >= 0.3.18 }
-common safe-exceptions { build-depends: safe-exceptions >= 0.1 }
-common streamly { build-depends: streamly >= 0.7.1 }
-common streamly-posix { build-depends: streamly-posix >= 0.1.0.0 }
-common streamly-bytestring { build-depends: streamly-bytestring >= 0.1.2 }
-common strict-base { build-depends: strict-base >= 0.4 }
-common string-interpolate { build-depends: string-interpolate >= 0.2.0.0 }
-common table-layout { build-depends: table-layout >= 0.8 }
-common tar-bytestring { build-depends: tar-bytestring >= 0.6.3.0 }
-common template-haskell { build-depends: template-haskell >= 2.7 }
-common terminal-progress-bar { build-depends: terminal-progress-bar >= 0.4.1 }
-common text { build-depends: text >= 1.2 }
-common text-icu { build-depends: text-icu >= 0.7 }
-common time { build-depends: time >= 1.9.3 }
-common transformers { build-depends: transformers >= 0.5 }
-common unix { build-depends: unix >= 2.7 }
-common unix-bytestring { build-depends: unix-bytestring >= 0.3 }
-common uri-bytestring { build-depends: uri-bytestring >= 0.3.2.2 }
-common utf8-string { build-depends: utf8-string >= 1.0 }
-common vector { build-depends: vector >= 0.12 }
-common versions { build-depends: versions >= 3.5 }
-common waargonaut { build-depends: waargonaut >= 0.8 }
-common word8 { build-depends: word8 >= 0.1.3 }
-common zlib { build-depends: zlib >= 0.6.2.1 }
+common HsOpenSSL
+  build-depends: HsOpenSSL >=0.11

+common aeson
+  build-depends: aeson >=1.4
+
+common aeson-pretty
+  build-depends: aeson-pretty >=0.8.8
+
+common ascii-string
+  build-depends: ascii-string >=1.0
+
+common async
+  build-depends: async >=0.8
+
+common attoparsec
+  build-depends: attoparsec >=0.13
+
+common base
+  build-depends: base >=4.12 && <5
+
+common binary
+  build-depends: binary >=0.8.6.0
+
+common bytestring
+  build-depends: bytestring >=0.10
+
+common bzlib
+  build-depends: bzlib >=0.5.0.5
+
+common case-insensitive
+  build-depends: case-insensitive >=1.2.1.0
+
+common concurrent-output
+  build-depends: concurrent-output >=1.10.11
+
+common containers
+  build-depends: containers >=0.6
+
+common generics-sop
+  build-depends: generics-sop >=0.5
+
+common haskus-utils-types
+  build-depends: haskus-utils-types >=1.5
+
+common haskus-utils-variant
+  build-depends: haskus-utils-variant >=3.0
+
+common hopenssl
+  build-depends: hopenssl >=2.2.4
+
+common hpath
+  build-depends: hpath >=0.11
+
+common hpath-directory
+  build-depends: hpath-directory >=0.13.2
+
+common hpath-filepath
+  build-depends: hpath-filepath >=0.10.3
+
+common hpath-io
+  build-depends: hpath-io >=0.13.1
+
+common hpath-posix
+  build-depends: hpath-posix >=0.11.1
+
+common http-io-streams
+  build-depends: http-io-streams >=0.1.2.0
+
+common io-streams
+  build-depends: io-streams >=1.5
+
+common language-bash
+  build-depends: language-bash >=0.9
+
+common lzma
+  build-depends: lzma >=0.0.0.3
+
+common megaparsec
+  build-depends: megaparsec >=8.0.0
+
+common monad-logger
+  build-depends: monad-logger >=0.3.31
+
+common mtl
+  build-depends: mtl >=2.2
+
+common optics
+  build-depends: optics >=0.2
+
+common optics-vl
+  build-depends: optics-vl >=0.2
+
+common optparse-applicative
+  build-depends: optparse-applicative >=0.15.1.0
+
+common parsec
+  build-depends: parsec >=3.1
+
+common pretty-terminal
+  build-depends: pretty-terminal >=0.1.0.0
+
+common regex-posix
+  build-depends: regex-posix >=0.96
+
+common resourcet
+  build-depends: resourcet >=1.2.2
+
+common safe
+  build-depends: safe >=0.3.18
+
+common safe-exceptions
+  build-depends: safe-exceptions >=0.1
+
+common streamly
+  build-depends: streamly >=0.7.1
+
+common streamly-posix
+  build-depends: streamly-posix >=0.1.0.0
+
+common streamly-bytestring
+  build-depends: streamly-bytestring >=0.1.2
+
+common strict-base
+  build-depends: strict-base >=0.4
+
+common string-interpolate
+  build-depends: string-interpolate >=0.2.0.0
+
+common table-layout
+  build-depends: table-layout >=0.8
+
+common tar-bytestring
+  build-depends: tar-bytestring >=0.6.3.1
+
+common template-haskell
+  build-depends: template-haskell >=2.7
+
+common terminal-progress-bar
+  build-depends: terminal-progress-bar >=0.4.1
+
+common text
+  build-depends: text >=1.2
+
+common time
+  build-depends: time >=1.9.3
+
+common transformers
+  build-depends: transformers >=0.5
+
+common unix
+  build-depends: unix >=2.7
+
+common unix-bytestring
+  build-depends: unix-bytestring >=0.3
+
+common uri-bytestring
+  build-depends: uri-bytestring >=0.3.2.2
+
+common utf8-string
+  build-depends: utf8-string >=1.0
+
+common vector
+  build-depends: vector >=0.12
+
+common versions
+  build-depends: versions >=3.5
+
+common waargonaut
+  build-depends: waargonaut >=0.8
+
+common word8
+  build-depends: word8 >=0.1.3
+
+common zlib
+  build-depends: zlib >=0.6.2.1

 common config
-  default-language:     Haskell2010
-  ghc-options:          -Wall -fwarn-tabs -fwarn-incomplete-uni-patterns -fwarn-incomplete-record-updates -threaded
-  default-extensions:     LambdaCase
-                        , MultiWayIf
-                        , PackageImports
-                        , RecordWildCards
-                        , ScopedTypeVariables
-                        , StrictData
-                        , Strict
-                        , TupleSections
+  default-language:   Haskell2010
+  ghc-options:
+    -Wall -fwarn-tabs -fwarn-incomplete-uni-patterns
+    -fwarn-incomplete-record-updates -threaded
+
+  default-extensions:
+    LambdaCase
+    MultiWayIf
+    PackageImports
+    RecordWildCards
+    ScopedTypeVariables
+    Strict
+    StrictData
+    TupleSections

 library
-  import:              config
-                     , base
-                       -- deps
-                     , HsOpenSSL
-                     , aeson
-                     , ascii-string
-                     , async
-                     , attoparsec
-                     , binary
-                     , bytestring
-                     , bzlib
-                     , case-insensitive
-                     , containers
-                     , generics-sop
-                     , haskus-utils-types
-                     , haskus-utils-variant
-                     , hopenssl
-                     , hpath
-                     , hpath-directory
-                     , hpath-filepath
-                     , hpath-io
-                     , hpath-posix
-                     , http-io-streams
-                     , io-streams
-                     , language-bash
-                     , lzma
-                     , monad-logger
-                     , mtl
-                     , optics
-                     , optics-vl
-                     , parsec
-                     , pretty-terminal
-                     , resourcet
-                     , safe
-                     , safe-exceptions
-                     , streamly
-                     , streamly-posix
-                     , streamly-bytestring
-                     , strict-base
-                     , string-interpolate
-                     , tar-bytestring
-                     , template-haskell
-                     , terminal-progress-bar
-                     , text
-                     , text-icu
-                     , time
-                     , transformers
-                     , unix
-                     , unix-bytestring
-                     , uri-bytestring
-                     , utf8-string
-                     , vector
-                     , versions
-                     , word8
-                     , zlib
-  exposed-modules:     GHCup
-                       GHCup.Download
-                       GHCup.Errors
-                       GHCup.Platform
-                       GHCup.Types
-                       GHCup.Types.JSON
-                       GHCup.Types.Optics
-                       GHCup.Utils
-                       GHCup.Utils.Bash
-                       GHCup.Utils.Dirs
-                       GHCup.Utils.File
-                       GHCup.Utils.Logger
-                       GHCup.Utils.Prelude
-                       GHCup.Utils.String.QQ
-                       GHCup.Utils.Version.QQ
-                       GHCup.Version
+  import:
+    config
+    , base
+    , HsOpenSSL
+    , aeson
+    , ascii-string
+    , async
+    , attoparsec
+    , binary
+    , bytestring
+    , bzlib
+    , case-insensitive
+    , concurrent-output
+    , containers
+    , generics-sop
+    , haskus-utils-types
+    , haskus-utils-variant
+    , hopenssl
+    , hpath
+    , hpath-directory
+    , hpath-filepath
+    , hpath-io
+    , hpath-posix
+    , http-io-streams
+    , io-streams
+    , language-bash
+    , lzma
+    , monad-logger
+    , mtl
+    , optics
+    , optics-vl
+    , parsec
+    , pretty-terminal
+    , regex-posix
+    , resourcet
+    , safe
+    , safe-exceptions
+    , streamly
+    , streamly-posix
+    , streamly-bytestring
+    , strict-base
+    , string-interpolate
+    , tar-bytestring
+    , template-haskell
+    , terminal-progress-bar
+    , text
+    , time
+    , transformers
+    , unix
+    , unix-bytestring
+    , uri-bytestring
+    , utf8-string
+    , vector
+    , versions
+    , word8
+    , zlib
+
+  -- deps
+  -- cabal-fmt: expand lib
+  exposed-modules:
+    GHCup
+    GHCup.Download
+    GHCup.Errors
+    GHCup.Platform
+    GHCup.Types
+    GHCup.Types.JSON
+    GHCup.Types.Optics
+    GHCup.Utils
+    GHCup.Utils.Bash
+    GHCup.Utils.Dirs
+    GHCup.Utils.File
+    GHCup.Utils.Logger
+    GHCup.Utils.Prelude
+    GHCup.Utils.String.QQ
+    GHCup.Utils.Version.QQ
+    GHCup.Version
+
  -- other-modules:
  -- other-extensions:
-  hs-source-dirs:      lib
+  hs-source-dirs:  lib

 executable ghcup
-  import:                config
-                       , base
-                       --
-                       , bytestring
-                       , containers
-                       , haskus-utils-variant
-                       , monad-logger
-                       , mtl
-                       , optparse-applicative
-                       , text
-                       , versions
-                       , hpath
-                       , hpath-io
-                       , pretty-terminal
-                       , resourcet
-                       , string-interpolate
-                       , table-layout
-                       , uri-bytestring
-                       , utf8-string
-  main-is:             Main.hs
+  import:
+    config
+    , base
+    , bytestring
+    , containers
+    , haskus-utils-variant
+    , monad-logger
+    , megaparsec
+    , mtl
+    , optparse-applicative
+    , text
+    , versions
+    , hpath
+    , hpath-io
+    , pretty-terminal
+    , resourcet
+    , string-interpolate
+    , table-layout
+    , uri-bytestring
+    , utf8-string
+
+  --
+  main-is:          Main.hs
+
  -- other-modules:
  -- other-extensions:
-  build-depends:       ghcup
-  hs-source-dirs:      app/ghcup
-  default-language:    Haskell2010
+  build-depends:    ghcup
+  hs-source-dirs:   app/ghcup
+  default-language: Haskell2010

 executable ghcup-gen
-  import:                config
-                       , base
-                       --
-                       , aeson
-                       , aeson-pretty
-                       , bytestring
-                       , containers
-                       , safe-exceptions
-                       , haskus-utils-variant
-                       , monad-logger
-                       , mtl
-                       , optics
-                       , optparse-applicative
-                       , text
-                       , versions
-                       , hpath
-                       , pretty-terminal
-                       , resourcet
-                       , string-interpolate
-                       , table-layout
-                       , transformers
-                       , uri-bytestring
-                       , utf8-string
-  main-is:             Main.hs
-  other-modules:       GHCupDownloads
-                       Validate
+  import:
+    config
+    , base
+    , aeson
+    , aeson-pretty
+    , bytestring
+    , containers
+    , safe-exceptions
+    , haskus-utils-variant
+    , monad-logger
+    , mtl
+    , optics
+    , optparse-applicative
+    , text
+    , versions
+    , hpath
+    , pretty-terminal
+    , resourcet
+    , string-interpolate
+    , table-layout
+    , transformers
+    , uri-bytestring
+    , utf8-string
+
+  --
+  main-is:          Main.hs
+  other-modules:
+    GHCupDownloads
+    Validate
+
  -- other-extensions:
-  build-depends:       ghcup
-  hs-source-dirs:      app/ghcup-gen
-  default-language:    Haskell2010
+  build-depends:    ghcup
+  hs-source-dirs:   app/ghcup-gen
+  default-language: Haskell2010

 test-suite ghcup-test
-  default-language:    Haskell2010
-  type:                exitcode-stdio-1.0
-  hs-source-dirs:      test
-  main-is:             MyLibTest.hs
-  build-depends:       base ^>=4.12.0.0
+  default-language: Haskell2010
+  type:             exitcode-stdio-1.0
+  hs-source-dirs:   test
+  main-is:          MyLibTest.hs
+  build-depends:    base >=4.12.0.0
--- a/lib/GHCup.hs
+++ b/lib/GHCup.hs
@@ -3,10 +3,11 @@
 {-# LANGUAGE FlexibleContexts      #-}
 {-# LANGUAGE FlexibleInstances     #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE OverloadedStrings     #-}
 {-# LANGUAGE QuasiQuotes           #-}
 {-# LANGUAGE TemplateHaskell       #-}
-{-# LANGUAGE TypeFamilies          #-}
 {-# LANGUAGE TypeApplications      #-}
+{-# LANGUAGE TypeFamilies          #-}

 module GHCup where

@@ -108,14 +109,18 @@ installGHCBin bDls ver mpfReq = do
  ghcdir <- liftIO $ ghcupGHCDir ver

  -- the subdir of the archive where we do the work
-  let archiveSubdir = maybe tmpUnpack (tmpUnpack </>) (view dlSubdir dlinfo)
+  let workdir = maybe tmpUnpack (tmpUnpack </>) (view dlSubdir dlinfo)

-  catchAllE
-      (\es ->
-        liftIO (hideError doesNotExistErrorType $ deleteDirRecursive ghcdir)
-          >> throwE (BuildFailed archiveSubdir es)
-      )
-    $ installGHC' archiveSubdir ghcdir
+  -- Be careful about cleanup. We must catch both pure exceptions
+  -- as well as async ones.
+  flip onException
+       (liftIO $ hideError doesNotExistErrorType $ deleteDirRecursive ghcdir)
+    $ catchAllE
+        (\es -> do
+          liftIO (hideError doesNotExistErrorType $ deleteDirRecursive ghcdir)
+            >> throwE (BuildFailed workdir es)
+        )
+    $ installGHC' workdir ghcdir

  -- only clean up dir if the build succeeded
  liftIO $ deleteDirRecursive tmpUnpack
@@ -129,19 +134,14 @@ installGHCBin bDls ver mpfReq = do
              -> Path Abs      -- ^ Path to install to
              -> Excepts '[ProcessError] m ()
  installGHC' path inst = do
-    lift $ $(logInfo) [s|Installing GHC (this may take a while)|]
-    lEM $ liftIO $ execLogged [s|./configure|]
+    lift $ $(logInfo) "Installing GHC (this may take a while)"
+    lEM $ liftIO $ execLogged "./configure"
                              False
-                              [[s|--prefix=|] <> toFilePath inst]
-                              ([rel|ghc-configure.log|] :: Path Rel)
-                              (Just path)
-                              Nothing
-    lEM $ liftIO $ execLogged [s|make|]
-                              True
-                              [[s|install|]]
-                              ([rel|ghc-make.log|] :: Path Rel)
+                              ["--prefix=" <> toFilePath inst]
+                              [rel|ghc-configure|]
                              (Just path)
                              Nothing
+    lEM $ liftIO $ make ["install"] (Just path)
    pure ()


@@ -183,9 +183,9 @@ installCabalBin bDls ver mpfReq = do
  bindir <- liftIO ghcupBinDir

  -- the subdir of the archive where we do the work
-  let archiveSubdir = maybe tmpUnpack (tmpUnpack </>) (view dlSubdir dlinfo)
+  let workdir = maybe tmpUnpack (tmpUnpack </>) (view dlSubdir dlinfo)

-  liftE $ installCabal' archiveSubdir bindir
+  liftE $ installCabal' workdir bindir
  pure ()

 where
@@ -195,8 +195,8 @@ installCabalBin bDls ver mpfReq = do
                -> Path Abs      -- ^ Path to install to
                -> Excepts '[CopyError] m ()
  installCabal' path inst = do
-    lift $ $(logInfo) [s|Installing cabal|]
-    let cabalFile = [rel|cabal|] :: Path Rel
+    lift $ $(logInfo) "Installing cabal"
+    let cabalFile = [rel|cabal|]
    liftIO $ createDirIfMissing newDirPerms inst
    handleIO (throwE . CopyError . show) $ liftIO $ copyFile
      (path </> cabalFile)
@@ -247,7 +247,7 @@ setGHC ver sghc = do
      SetGHCOnly -> pure file
      SetGHC_XY  -> do
        major' <-
-          (\(mj, mi) -> E.encodeUtf8 $ intToText mj <> [s|.|] <> intToText mi)
+          (\(mj, mi) -> E.encodeUtf8 $ intToText mj <> "." <> intToText mi)
            <$> getGHCMajor ver
        parseRel (toFilePath file <> B.singleton _hyphen <> major')
      SetGHC_XYZ -> parseRel (toFilePath file <> B.singleton _hyphen <> verBS)
@@ -273,11 +273,11 @@ setGHC ver sghc = do
    destdir <- liftIO $ ghcupBaseDir
    case sghc of
      SetGHCOnly -> do
-        let sharedir     = [rel|share|] :: Path Rel
+        let sharedir     = [rel|share|]
        let fullsharedir = ghcdir </> sharedir
        whenM (liftIO $ doesDirectoryExist fullsharedir) $ do
          let fullF   = destdir </> sharedir
-          let targetF = [s|./ghc/|] <> verBS <> [s|/|] <> toFilePath sharedir
+          let targetF = "./ghc/" <> verBS <> "/" <> toFilePath sharedir
          $(logDebug) [i|rm -f #{fullF}|]
          liftIO $ hideError doesNotExistErrorType $ deleteFile fullF
          $(logDebug) [i|ln -s #{targetF} #{fullF}|]
@@ -335,12 +335,12 @@ listVersions av lt criteria = case lt of
      fromSrc    <- ghcSrcInstalled v
      pure ListResult { lVer = v, lTag = tags, lTool = t, .. }
    Cabal -> do
-      lSet       <- fmap (== v) $ cabalSet
-      lInstalled <- cabalInstalled v
+      lSet <- fmap (== v) $ cabalSet
+      let lInstalled = lSet
      pure ListResult { lVer = v, lTag = tags, lTool = t, fromSrc = False, .. }
    GHCup -> do
      let lSet       = prettyPVP ghcUpVer == prettyVer v
-      let lInstalled = True
+      let lInstalled = lSet
      pure ListResult { lVer = v, lTag = tags, lTool = t, fromSrc = False, .. }


@@ -393,7 +393,7 @@ rmGHCVer ver = do
        $   ghcupBaseDir
        >>= hideError doesNotExistErrorType
        .   deleteFile
-        .   (</> ([rel|share|] :: Path Rel))
+        .   (</> [rel|share|])
    else throwE (NotInstalled GHC ver)


@@ -404,19 +404,18 @@ rmGHCVer ver = do
    ------------------


-getDebugInfo :: (MonadLogger m, MonadCatch m, MonadReader Settings m, MonadIO m)
+getDebugInfo :: (MonadLogger m, MonadCatch m, MonadIO m)
             => Excepts
                  '[NoCompatiblePlatform , NoCompatibleArch , DistroNotFound]
                  m
                  DebugInfo
 getDebugInfo = do
-  diBaseDir   <- liftIO $ ghcupBaseDir
-  diBinDir    <- liftIO $ ghcupBinDir
-  diGHCDir    <- liftIO $ ghcupGHCBaseDir
-  diCacheDir  <- liftIO $ ghcupCacheDir
-  diURLSource <- lift $ getUrlSource
-  diArch      <- lE getArchitecture
-  diPlatform  <- liftE $ getPlatform
+  diBaseDir  <- liftIO $ ghcupBaseDir
+  diBinDir   <- liftIO $ ghcupBinDir
+  diGHCDir   <- liftIO $ ghcupGHCBaseDir
+  diCacheDir <- liftIO $ ghcupCacheDir
+  diArch     <- lE getArchitecture
+  diPlatform <- liftE $ getPlatform
  pure $ DebugInfo { .. }


@@ -464,15 +463,19 @@ compileGHC dls tver bver jobs mbuildConfig = do
  tmpUnpack <- lift mkGhcupTmpDir
  liftE $ unpackToDir tmpUnpack dl

-  bghc <- parseRel ([s|ghc-|] <> verToBS bver)
+  bghc <- parseRel ("ghc-" <> verToBS bver)
  let workdir = maybe id (flip (</>)) (view dlSubdir dlInfo) $ tmpUnpack
  ghcdir <- liftIO $ ghcupGHCDir tver

-  catchAllE
-      (\es ->
-        liftIO (hideError doesNotExistErrorType $ deleteDirRecursive ghcdir)
-          >> throwE (BuildFailed workdir es)
-      )
+  -- Be careful about cleanup. We must catch both pure exceptions
+  -- as well as async ones.
+  flip onException
+       (liftIO $ hideError doesNotExistErrorType $ deleteDirRecursive ghcdir)
+    $ catchAllE
+        (\es ->
+          liftIO (hideError doesNotExistErrorType $ deleteDirRecursive ghcdir)
+            >> throwE (BuildFailed workdir es)
+        )
    $ compile bghc ghcdir workdir
  markSrcBuilt ghcdir workdir

@@ -501,27 +504,29 @@ GhcWithLlvmCodeGen = YES|]
               ()
  compile bghc ghcdir workdir = do
    lift $ $(logInfo) [i|configuring build|]
+
+    -- force ld.bfd for build (others seem to misbehave, like lld from FreeBSD)
+    newEnv <- addToCurrentEnv [("LD", "ld.bfd")]
+
    if
      | tver >= [vver|8.8.0|] -> do
        spaths   <- catMaybes . fmap parseAbs <$> liftIO getSearchPath
        bghcPath <- (liftIO $ searchPath spaths bghc) !? NoDownload
-        newEnv   <- addToCurrentEnv [([s|GHC|], toFilePath bghcPath)]
-        lEM $ liftIO $ execLogged [s|./configure|]
-                                  False
-                                  [[s|--prefix=|] <> toFilePath ghcdir]
-                                  ([rel|ghc-configure.log|] :: Path Rel)
-                                  (Just workdir)
-                                  (Just newEnv)
+        lEM $ liftIO $ execLogged
+          "./configure"
+          False
+          ["--prefix=" <> toFilePath ghcdir]
+          [rel|ghc-conf|]
+          (Just workdir)
+          (Just (("GHC", toFilePath bghcPath) : newEnv))
      | otherwise -> do
        lEM $ liftIO $ execLogged
-          [s|./configure|]
+          "./configure"
          False
-          [ [s|--prefix=|] <> toFilePath ghcdir
-          , [s|--with-ghc=|] <> toFilePath bghc
-          ]
-          ([rel|ghc-configure.log|] :: Path Rel)
+          ["--prefix=" <> toFilePath ghcdir, "--with-ghc=" <> toFilePath bghc]
+          [rel|ghc-conf|]
          (Just workdir)
-          Nothing
+          (Just newEnv)

    case mbuildConfig of
      Just bc -> liftIOException
@@ -534,26 +539,17 @@ GhcWithLlvmCodeGen = YES|]
    lift
      $ $(logInfo)
          [i|Building (this may take a while)... Run 'tail -f ~/.ghcup/logs/ghc-make.log' to see the progress.|]
-    lEM $ liftIO $ execLogged [s|make|]
-                              True
-                              (maybe [] (\j -> [[s|-j|] <> fS (show j)]) jobs)
-                              ([rel|ghc-make.log|] :: Path Rel)
-                              (Just workdir)
-                              Nothing
+    lEM $ liftIO $ make (maybe [] (\j -> ["-j" <> fS (show j)]) jobs)
+                        (Just workdir)

    lift $ $(logInfo) [i|Installing...|]
-    lEM $ liftIO $ execLogged [s|make|]
-                              True
-                              [[s|install|]]
-                              ([rel|ghc-make.log|] :: Path Rel)
-                              (Just workdir)
-                              Nothing
+    lEM $ liftIO $ make ["install"] (Just workdir)

  markSrcBuilt ghcdir workdir = do
    let dest = (ghcdir </> ghcUpSrcBuiltFile)
    liftIO $ copyFile (build_mk workdir) dest Overwrite

-  build_mk workdir = workdir </> ([rel|mk/build.mk|] :: Path Rel)
+  build_mk workdir = workdir </> [rel|mk/build.mk|]


 compileCabal :: ( MonadReader Settings m
@@ -607,16 +603,16 @@ compileCabal dls tver bver jobs = do
    let v' = verToBS bver
    cabal_bin <- liftIO $ ghcupBinDir
    newEnv    <- lift $ addToCurrentEnv
-      [ ([s|GHC|]    , [s|ghc-|] <> v')
-      , ([s|GHC_PKG|], [s|ghc-pkg-|] <> v')
-      , ([s|GHC_VER|], v')
-      , ([s|PREFIX|] , toFilePath cabal_bin)
+      [ ("GHC"    , "ghc-" <> v')
+      , ("GHC_PKG", "ghc-pkg-" <> v')
+      , ("GHC_VER", v')
+      , ("PREFIX" , toFilePath cabal_bin)
      ]

-    lEM $ liftIO $ execLogged [s|./bootstrap.sh|]
+    lEM $ liftIO $ execLogged "./bootstrap.sh"
                              False
-                              (maybe [] (\j -> [[s|-j|], fS (show j)]) jobs)
-                              ([rel|cabal-bootstrap.log|] :: Path Rel)
+                              (maybe [] (\j -> ["-j", fS (show j)]) jobs)
+                              [rel|cabal-bootstrap|]
                              (Just workdir)
                              (Just newEnv)

@@ -651,10 +647,10 @@ upgradeGHCup :: ( MonadMask m
                  Version
 upgradeGHCup dls mtarget = do
  lift $ $(logInfo) [i|Upgrading GHCup...|]
-  let latestVer = head $ getTagged dls GHCup Latest
+  let latestVer = fromJust $ getLatest dls GHCup
  dli <- liftE $ getDownloadInfo dls GHCup latestVer Nothing
  tmp <- lift withGHCupTmpDir
-  let fn = [rel|ghcup|] :: Path Rel
+  let fn = [rel|ghcup|]
  p <- liftE $ download dli tmp (Just fn)
  case mtarget of
    Nothing -> do
--- a/lib/GHCup/Download.hs
+++ b/lib/GHCup/Download.hs
@@ -1,10 +1,11 @@
 {-# LANGUAGE DataKinds             #-}
 {-# LANGUAGE DeriveGeneric         #-}
 {-# LANGUAGE FlexibleContexts      #-}
+{-# LANGUAGE OverloadedStrings     #-}
 {-# LANGUAGE QuasiQuotes           #-}
 {-# LANGUAGE TemplateHaskell       #-}
-{-# LANGUAGE TypeFamilies          #-}
 {-# LANGUAGE TypeApplications      #-}
+{-# LANGUAGE TypeFamilies          #-}


 module GHCup.Download where
@@ -18,7 +19,6 @@ import           GHCup.Types.Optics
 import           GHCup.Utils
 import           GHCup.Utils.File
 import           GHCup.Utils.Prelude
-import           GHCup.Utils.String.QQ

 import           Control.Applicative
 import           Control.Exception.Safe
@@ -43,7 +43,7 @@ import           Data.Time.Format
 import           Data.Versions
 import           GHC.IO.Exception
 import           HPath
-import           HPath.IO
+import           HPath.IO                      as HIO
 import           Haskus.Utils.Variant.Excepts
 import           Network.Http.Client     hiding ( URL )
 import           OpenSSL.Digest
@@ -93,21 +93,20 @@ getDownloads :: ( FromJSONKey Tool
                , FromJSON VersionInfo
                , MonadIO m
                , MonadCatch m
-                , MonadReader Settings m
                , MonadLogger m
                , MonadThrow m
                , MonadFail m
                )
-             => Excepts '[JSONError , DownloadFailed] m GHCupDownloads
-getDownloads = do
-  urlSource <- lift getUrlSource
+             => URLSource
+             -> Excepts '[JSONError , DownloadFailed] m GHCupDownloads
+getDownloads urlSource = do
  lift $ $(logDebug) [i|Receiving download info from: #{urlSource}|]
  case urlSource of
    GHCupURL -> do
-      bs <- reThrowAll DownloadFailed $ dl ghcupURL
+      bs <- reThrowAll DownloadFailed $ smartDl ghcupURL
      lE' JSONDecodeError $ eitherDecode' bs
    (OwnSource url) -> do
-      bs <- reThrowAll DownloadFailed $ dl url
+      bs <- reThrowAll DownloadFailed $ downloadBS url
      lE' JSONDecodeError $ eitherDecode' bs
    (OwnSpec av) -> pure $ av

@@ -121,24 +120,24 @@ getDownloads = do
  -- than the local file.
  --
  -- Always save the local file with the mod time of the remote file.
-  dl :: forall m1
-      . (MonadCatch m1, MonadIO m1, MonadFail m1, MonadLogger m1)
-     => URI
-     -> Excepts
-          '[ FileDoesNotExistError
-           , HTTPStatusError
-           , URIParseError
-           , UnsupportedScheme
-           , NoLocationHeader
-           , TooManyRedirs
-           ]
-          m1
-          L.ByteString
-  dl uri' = do
+  smartDl :: forall m1
+           . (MonadCatch m1, MonadIO m1, MonadFail m1, MonadLogger m1)
+          => URI
+          -> Excepts
+               '[ FileDoesNotExistError
+                , HTTPStatusError
+                , URIParseError
+                , UnsupportedScheme
+                , NoLocationHeader
+                , TooManyRedirs
+                ]
+               m1
+               L.ByteString
+  smartDl uri' = do
    let path = view pathL' uri'
-    json_file <- (liftIO $ ghcupCacheDir)
-      >>= \cacheDir -> (cacheDir </>) <$> urlBaseName path
-    e <- liftIO $ doesFileExist json_file
+    cacheDir  <- liftIO $ ghcupCacheDir
+    json_file <- (cacheDir </>) <$> urlBaseName path
+    e         <- liftIO $ doesFileExist json_file
    if e
      then do
        accessTime <-
@@ -165,6 +164,7 @@ getDownloads = do
          else -- access in less than 5 minutes, re-use file
               liftIO $ readFile json_file
      else do
+        liftIO $ createDirIfMissing newDirPerms cacheDir
        getModTime >>= \case
          Just modTime -> do
            bs <- liftE $ downloadBS uri'
@@ -190,7 +190,7 @@ getDownloads = do

  parseModifiedHeader :: (M.Map (CI ByteString) ByteString) -> Maybe UTCTime
  parseModifiedHeader headers =
-    (M.lookup (CI.mk [s|Last-Modified|]) headers) >>= \h -> parseTimeM
+    (M.lookup (CI.mk "Last-Modified") headers) >>= \h -> parseTimeM
      True
      defaultTimeLocale
      "%a, %d %b %Y %H:%M:%S %Z"
@@ -204,11 +204,7 @@ getDownloads = do



-getDownloadInfo :: ( MonadLogger m
-                   , MonadCatch m
-                   , MonadIO m
-                   , MonadReader Settings m
-                   )
+getDownloadInfo :: (MonadLogger m, MonadCatch m, MonadIO m)
                => GHCupDownloads
                -> Tool
                -> Version
@@ -275,9 +271,9 @@ download :: ( MonadMask m
         -> Maybe (Path Rel)  -- ^ optional filename
         -> Excepts '[DigestError , DownloadFailed] m (Path Abs)
 download dli dest mfn
-  | scheme == [s|https|] = dl
-  | scheme == [s|http|] = dl
-  | scheme == [s|file|] = cp
+  | scheme == "https" = dl
+  | scheme == "http"  = dl
+  | scheme == "file"  = cp
  | otherwise = throwE $ DownloadFailed (variantFromValue UnsupportedScheme)

 where
@@ -303,8 +299,14 @@ download dli dest mfn
    -- download
    fd       <- liftIO $ createRegularFileFd newFilePerms destFile
    let stepper = fdWrite fd
-    flip finally (liftIO $ closeFd fd)
-      $ reThrowAll DownloadFailed
+    flip onException
+         (liftIO $ hideError doesNotExistErrorType $ deleteFile destFile)
+      $ flip finally (liftIO $ closeFd fd)
+      $ catchAllE
+          (\e ->
+            (liftIO $ hideError doesNotExistErrorType $ deleteFile destFile)
+              >> (throwE . DownloadFailed $ e)
+          )
      $ downloadInternal True https host fullPath port stepper

    liftE $ checkDigest dli destFile
@@ -368,11 +370,11 @@ downloadBS :: (MonadCatch m, MonadIO m)
                m
                L.ByteString
 downloadBS uri'
-  | scheme == [s|https|]
+  | scheme == "https"
  = dl True
-  | scheme == [s|http|]
+  | scheme == "http"
  = dl False
-  | scheme == [s|file|]
+  | scheme == "file"
  = liftIOException doesNotExistErrorType (FileDoesNotExistError path)
    $ (liftIO $ RD.readFile path)
  | otherwise
@@ -445,7 +447,7 @@ downloadInternal = go (5 :: Int)
          let scode = getStatusCode r
          if
            | scode >= 200 && scode < 300 -> downloadStream r i' >> pure Nothing
-            | scode >= 300 && scode < 400 -> case getHeader r [s|Location|] of
+            | scode >= 300 && scode < 400 -> case getHeader r "Location" of
              Just r' -> pure $ Just $ r'
              Nothing -> throwE NoLocationHeader
            | otherwise -> throwE $ HTTPStatusError scode
@@ -458,7 +460,7 @@ downloadInternal = go (5 :: Int)
      Left e -> throwE e

    downloadStream r i' = do
-      let size = case getHeader r [s|Content-Length|] of
+      let size = case getHeader r "Content-Length" of
            Just x' -> case decimal $ E.decodeUtf8 x' of
              Left  _       -> 0
              Right (r', _) -> r'
@@ -490,9 +492,9 @@ getHead :: (MonadCatch m, MonadIO m)
              ]
             m
             (M.Map (CI ByteString) ByteString)
-getHead uri' | scheme == [s|https|] = head' True
-             | scheme == [s|http|] = head' False
-             | otherwise           = throwE UnsupportedScheme
+getHead uri' | scheme == "https" = head' True
+             | scheme == "http"  = head' False
+             | otherwise         = throwE UnsupportedScheme

 where
  scheme = view (uriSchemeL' % schemeBSL') uri'
@@ -540,7 +542,7 @@ headInternal = go (5 :: Int)
            | scode >= 200 && scode < 300 -> do
              let headers = getHeaderMap r
              pure $ Right $ headers
-            | scode >= 300 && scode < 400 -> case getHeader r [s|Location|] of
+            | scode >= 300 && scode < 400 -> case getHeader r "Location" of
              Just r' -> pure $ Left $ r'
              Nothing -> throwE NoLocationHeader
            | otherwise -> throwE $ HTTPStatusError scode
@@ -583,19 +585,17 @@ uriToQuadruple URI {..} = do
      ?? UnsupportedScheme

  https <- if
-    | scheme == [s|https|] -> pure True
-    | scheme == [s|http|] -> pure False
-    | otherwise           -> throwE UnsupportedScheme
+    | scheme == "https" -> pure True
+    | scheme == "http"  -> pure False
+    | otherwise         -> throwE UnsupportedScheme

-  let
-    queryBS =
-      BS.intercalate [s|&|]
-        . fmap (\(x, y) -> encodeQuery x <> [s|=|] <> encodeQuery y)
-        $ (queryPairs uriQuery)
-    port =
-      preview (_Just % authorityPortL' % _Just % portNumberL') uriAuthority
-    fullpath =
-      if BS.null queryBS then uriPath else uriPath <> [s|?|] <> queryBS
+  let queryBS =
+        BS.intercalate "&"
+          . fmap (\(x, y) -> encodeQuery x <> "=" <> encodeQuery y)
+          $ (queryPairs uriQuery)
+      port =
+        preview (_Just % authorityPortL' % _Just % portNumberL') uriAuthority
+      fullpath = if BS.null queryBS then uriPath else uriPath <> "?" <> queryBS
  pure (https, host, fullpath, port)
  where encodeQuery = L.toStrict . B.toLazyByteString . urlEncodeQuery

@@ -608,7 +608,7 @@ checkDigest dli file = do
  verify <- lift ask <&> (not . noVerify)
  when verify $ do
    let p' = toFilePath file
-    lift $ $(logInfo) [i|veryfing digest of: #{p'}|]
+    lift $ $(logInfo) [i|verifying digest of: #{p'}|]
    c <- liftIO $ readFile file
    let cDigest = E.decodeUtf8 . toHex . digest (digestByName "sha256") $ c
        eDigest = view dlHash dli
--- a/lib/GHCup/Platform.hs
+++ b/lib/GHCup/Platform.hs
@@ -1,5 +1,7 @@
 {-# LANGUAGE DataKinds             #-}
+{-# LANGUAGE FlexibleContexts      #-}
 {-# LANGUAGE FlexibleInstances     #-}
+{-# LANGUAGE OverloadedStrings     #-}
 {-# LANGUAGE QuasiQuotes           #-}
 {-# LANGUAGE TemplateHaskell       #-}

@@ -21,6 +23,7 @@ import           Control.Monad
 import           Control.Monad.Logger
 import           Control.Monad.Reader
 import           Control.Monad.Trans.Class      ( lift )
+import           Data.ByteString                ( ByteString )
 import           Data.Foldable
 import           Data.Maybe
 import           Data.String.Interpolate
@@ -34,10 +37,10 @@ import           Prelude                 hiding ( abs
                                                , writeFile
                                                )
 import           System.Info
+import           Text.Regex.Posix

 import qualified Data.Text                     as T
 import qualified Data.Text.Encoding            as E
-import qualified Data.Text.ICU                 as ICU

    --------------------------
    --[ Platform detection ]--
@@ -100,16 +103,11 @@ getLinuxDistro = do
        | otherwise                -> UnknownLinux
  pure (distro, parsedVer)
 where
-  hasWord t matches = foldr
-    (\x y ->
-      ( isJust
-        . ICU.find (ICU.regex [ICU.CaseInsensitive] ([s|\b|] <> x <> [s|\b|]))
-        $ t
-        )
-        || y
-    )
-    False
-    (T.pack <$> matches)
+  hasWord t matches = foldr (\x y -> match (regex x) (T.unpack t) || y)
+                            False
+                            matches
+   where
+    regex x = makeRegexOpts compIgnoreCase execBlank ([s|\<|] ++ x ++ [s|\>|])

  os_release :: Path Abs
  os_release = [abs|/etc/os-release|]
@@ -131,8 +129,8 @@ getLinuxDistro = do
  try_lsb_release_cmd :: IO (Text, Maybe Text)
  try_lsb_release_cmd = do
    (Just _) <- findExecutable lsb_release_cmd
-    name     <- fmap _stdOut $ executeOut lsb_release_cmd [[s|-si|]] Nothing
-    ver      <- fmap _stdOut $ executeOut lsb_release_cmd [[s|-sr|]] Nothing
+    name     <- fmap _stdOut $ executeOut lsb_release_cmd ["-si"] Nothing
+    ver      <- fmap _stdOut $ executeOut lsb_release_cmd ["-sr"] Nothing
    pure (E.decodeUtf8 name, Just $ E.decodeUtf8 ver)

  try_lsb_release :: IO (Text, Maybe Text)
@@ -144,21 +142,24 @@ getLinuxDistro = do
  try_redhat_release :: IO (Text, Maybe Text)
  try_redhat_release = do
    t <- fmap lBS2sT $ readFile redhat_release
+    let nameRegex n =
+          makeRegexOpts compIgnoreCase
+                        execBlank
+                        (([s|\<|] <> fS n <> [s|\>|] :: ByteString)) :: Regex
+    let verRegex =
+          makeRegexOpts compIgnoreCase
+                        execBlank
+                        ([s|\<([0-9])+(.([0-9])+)*\>|] :: ByteString) :: Regex
    let nameRe n =
-          join
-            . fmap (ICU.group 0)
-            . ICU.find
-                (ICU.regex [ICU.CaseInsensitive] ([s|\b|] <> fS n <> [s|\b|]))
-            $ t
-        verRe =
-          join
-            . fmap (ICU.group 0)
-            . ICU.find
-                (ICU.regex [ICU.CaseInsensitive] [s|\b(\d)+(.(\d)+)*\b|])
-            $ t
+          fromEmpty . match (nameRegex n) $ T.unpack t :: Maybe String
+        verRe = fromEmpty . match verRegex $ T.unpack t :: Maybe String
    (Just name) <- pure
      (nameRe "CentOS" <|> nameRe "Fedora" <|> nameRe "Red Hat")
-    pure (name, verRe)
+    pure (T.pack name, fmap T.pack verRe)
+   where
+    fromEmpty :: String -> Maybe String
+    fromEmpty "" = Nothing
+    fromEmpty s' = Just s'

  try_debian_version :: IO (Text, Maybe Text)
  try_debian_version = do
--- a/lib/GHCup/Types.hs
+++ b/lib/GHCup/Types.hs
@@ -104,21 +104,19 @@ data URLSource = GHCupURL


 data Settings = Settings
-  { cache     :: Bool
-  , urlSource :: URLSource
-  , noVerify  :: Bool
+  { cache    :: Bool
+  , noVerify :: Bool
  }
  deriving Show


 data DebugInfo = DebugInfo
-  { diBaseDir   :: Path Abs
-  , diBinDir    :: Path Abs
-  , diGHCDir    :: Path Abs
-  , diCacheDir  :: Path Abs
-  , diURLSource :: URLSource
-  , diArch      :: Architecture
-  , diPlatform  :: PlatformResult
+  { diBaseDir  :: Path Abs
+  , diBinDir   :: Path Abs
+  , diGHCDir   :: Path Abs
+  , diCacheDir :: Path Abs
+  , diArch     :: Architecture
+  , diPlatform :: PlatformResult
  }
  deriving Show

@@ -141,4 +139,3 @@ data PlatformRequest = PlatformRequest
  , _rVersion  :: Maybe Versioning
  }
  deriving (Eq, Show)
-
--- a/lib/GHCup/Types/JSON.hs
+++ b/lib/GHCup/Types/JSON.hs
@@ -5,6 +5,7 @@
 {-# LANGUAGE FlexibleContexts      #-}
 {-# LANGUAGE FlexibleInstances     #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE OverloadedStrings     #-}
 {-# LANGUAGE QuasiQuotes           #-}
 {-# LANGUAGE TemplateHaskell       #-}
 {-# LANGUAGE TypeFamilies          #-}
@@ -13,7 +14,6 @@ module GHCup.Types.JSON where

 import           GHCup.Types
 import           GHCup.Utils.Prelude
-import           GHCup.Utils.String.QQ

 import           Data.Aeson
 import           Data.Aeson.TH
@@ -138,7 +138,7 @@ instance FromJSONKey Tool where
 instance ToJSON (Path Rel) where
  toJSON p = case and . fmap isAscii . BS.unpack $ fp of
    True  -> toJSON . E.decodeUtf8 $ fp
-    False -> String [s|/not/a/valid/path|]
+    False -> String "/not/a/valid/path"
    where fp = toFilePath p

 instance FromJSON (Path Rel) where
--- a/lib/GHCup/Utils.hs
+++ b/lib/GHCup/Utils.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE DataKinds             #-}
 {-# LANGUAGE FlexibleContexts      #-}
+{-# LANGUAGE OverloadedStrings     #-}
 {-# LANGUAGE QuasiQuotes           #-}
 {-# LANGUAGE TemplateHaskell       #-}

@@ -17,7 +18,6 @@ import           GHCup.Types.JSON               ( )
 import           GHCup.Utils.Dirs
 import           GHCup.Utils.File
 import           GHCup.Utils.Prelude
-import           GHCup.Utils.String.QQ

 import           Control.Applicative
 import           Control.Exception.Safe
@@ -44,7 +44,9 @@ import           Prelude                 hiding ( abs
                                                )
 import           Safe
 import           System.IO.Error
-import           System.Posix.FilePath          ( takeFileName )
+import           System.Posix.FilePath          ( getSearchPath
+                                                , takeFileName
+                                                )
 import           System.Posix.Files.ByteString  ( readSymbolicLink )
 import           URI.ByteString

@@ -70,14 +72,14 @@ import qualified Data.Text.Encoding            as E
 ghcLinkDestination :: ByteString -- ^ the tool, such as 'ghc', 'haddock' etc.
                   -> Version
                   -> ByteString
-ghcLinkDestination tool ver = [s|../ghc/|] <> verToBS ver <> [s|/bin/|] <> tool
+ghcLinkDestination tool ver = "../ghc/" <> verToBS ver <> "/bin/" <> tool


 -- | Extract the version part of the result of `ghcLinkDestination`.
 ghcLinkVersion :: MonadThrow m => ByteString -> m Version
 ghcLinkVersion = either (throwM . ParseError) pure . parseOnly parser
 where
-  parser    = string [s|../ghc/|] *> verParser <* string [s|/bin/ghc|]
+  parser    = string "../ghc/" *> verParser <* string "/bin/ghc"
  verParser = many1' (notWord8 _slash) >>= \t ->
    case version $ E.decodeUtf8 $ B.pack t of
      Left  e -> fail $ show e
@@ -90,7 +92,7 @@ rmMinorSymlinks ver = do
  bindir <- liftIO $ ghcupBinDir
  files  <- liftIO $ getDirsFiles' bindir
  let myfiles =
-        filter (\x -> ([s|-|] <> verToBS ver) `B.isSuffixOf` toFilePath x) files
+        filter (\x -> ("-" <> verToBS ver) `B.isSuffixOf` toFilePath x) files
  forM_ myfiles $ \f -> do
    let fullF = (bindir </> f)
    $(logDebug) [i|rm -f #{toFilePath fullF}|]
@@ -117,12 +119,12 @@ rmPlain ver = do
 rmMajorSymlinks :: (MonadLogger m, MonadIO m) => Version -> m ()
 rmMajorSymlinks ver = do
  (mj, mi) <- liftIO $ getGHCMajor ver
-  let v' = E.encodeUtf8 $ intToText mj <> [s|.|] <> intToText mi
+  let v' = E.encodeUtf8 $ intToText mj <> "." <> intToText mi

  bindir <- liftIO ghcupBinDir

  files  <- liftIO $ getDirsFiles' bindir
-  let myfiles = filter (\x -> ([s|-|] <> v') `B.isSuffixOf` toFilePath x) files
+  let myfiles = filter (\x -> ("-" <> v') `B.isSuffixOf` toFilePath x) files
  forM_ myfiles $ \f -> do
    let fullF = (bindir </> f)
    $(logDebug) [i|rm -f #{toFilePath fullF}|]
@@ -157,7 +159,7 @@ ghcSrcInstalled ver = do

 ghcSet :: (MonadIO m, MonadThrow m) => m (Maybe Version)
 ghcSet = do
-  ghcBin <- (</> ([rel|ghc|] :: Path Rel)) <$> liftIO ghcupBinDir
+  ghcBin <- (</> [rel|ghc|]) <$> liftIO ghcupBinDir

  -- link destination is of the form ../ghc/<ver>/bin/ghc
  liftIO $ handleIO' NoSuchThing (\_ -> pure $ Nothing) $ do
@@ -172,8 +174,8 @@ cabalInstalled ver = do

 cabalSet :: (MonadIO m, MonadThrow m) => m Version
 cabalSet = do
-  cabalbin <- (</> ([rel|cabal|] :: Path Rel)) <$> liftIO ghcupBinDir
-  mc       <- liftIO $ executeOut cabalbin [[s|--numeric-version|]] Nothing
+  cabalbin <- (</> [rel|cabal|]) <$> liftIO ghcupBinDir
+  mc       <- liftIO $ executeOut cabalbin ["--numeric-version"] Nothing
  let reportedVer = fst . B.spanEnd (== _lf) . _stdOut $ mc
  case version (E.decodeUtf8 reportedVer) of
    Left  e -> throwM e
@@ -235,15 +237,15 @@ unpackToDir dest av = do

  -- extract, depending on file extension
  if
-    | [s|.tar.gz|] `B.isSuffixOf` fn -> liftIO
+    | ".tar.gz" `B.isSuffixOf` fn -> liftIO
      (untar . GZip.decompress =<< readFile av)
-    | [s|.tar.xz|] `B.isSuffixOf` fn -> do
+    | ".tar.xz" `B.isSuffixOf` fn -> do
      filecontents <- liftIO $ readFile av
      let decompressed = Lzma.decompress filecontents
      liftIO $ untar decompressed
-    | [s|.tar.bz2|] `B.isSuffixOf` fn -> liftIO
+    | ".tar.bz2" `B.isSuffixOf` fn -> liftIO
      (untar . BZip.decompress =<< readFile av)
-    | [s|.tar|] `B.isSuffixOf` fn -> liftIO (untar =<< readFile av)
+    | ".tar" `B.isSuffixOf` fn -> liftIO (untar =<< readFile av)
    | otherwise -> throwE $ UnknownArchive fn


@@ -277,9 +279,6 @@ getRecommended av tool = headOf folded $ getTagged av tool Recommended
    -----------------------


-getUrlSource :: MonadReader Settings m => m URLSource
-getUrlSource = ask <&> urlSource
-
 getCache :: MonadReader Settings m => m Bool
 getCache = ask <&> cache

@@ -316,7 +315,7 @@ ghcToolFiles ver = do
  -- figure out the <ver> suffix, because this might not be `Version` for
  -- alpha/rc releases, but x.y.a.somedate.
  (Just symver) <-
-    (B.stripPrefix [s|ghc-|] . takeFileName)
+    (B.stripPrefix "ghc-" . takeFileName)
      <$> (liftIO $ readSymbolicLink $ toFilePath (bindir </> [rel|ghc|]))
  when (B.null symver)
       (throwIO $ userError $ "Fatal: ghc symlink target is broken")
@@ -328,3 +327,12 @@ ghcToolFiles ver = do
 -- this GHC was built from source. It contains the build config.
 ghcUpSrcBuiltFile :: Path Rel
 ghcUpSrcBuiltFile = [rel|.ghcup_src_built|]
+
+
+-- | Calls gmake if it exists in PATH, otherwise make.
+make :: [ByteString] -> Maybe (Path Abs) -> IO (Either ProcessError ())
+make args workdir = do
+  spaths    <- catMaybes . fmap parseAbs <$> getSearchPath
+  has_gmake <- isJust <$> searchPath spaths [rel|gmake|]
+  let mymake = if has_gmake then "gmake" else "make"
+  execLogged mymake True args [rel|ghc-make|] workdir Nothing
--- a/lib/GHCup/Utils/Dirs.hs
+++ b/lib/GHCup/Utils/Dirs.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE OverloadedStrings     #-}
 {-# LANGUAGE QuasiQuotes           #-}

 module GHCup.Utils.Dirs where
@@ -5,7 +6,6 @@ module GHCup.Utils.Dirs where

 import           GHCup.Types.JSON               ( )
 import           GHCup.Utils.Prelude
-import           GHCup.Utils.String.QQ

 import           Control.Applicative
 import           Control.Exception.Safe
@@ -39,14 +39,14 @@ import qualified System.Posix.User             as PU

 ghcupBaseDir :: IO (Path Abs)
 ghcupBaseDir = do
-  getEnv [s|GHCUP_INSTALL_BASE_PREFIX|] >>= \case
+  getEnv "GHCUP_INSTALL_BASE_PREFIX" >>= \case
    Just r  -> parseAbs r
    Nothing -> do
      home <- liftIO getHomeDirectory
-      pure (home </> ([rel|.ghcup|] :: Path Rel))
+      pure (home </> [rel|.ghcup|])

 ghcupGHCBaseDir :: IO (Path Abs)
-ghcupGHCBaseDir = ghcupBaseDir <&> (</> ([rel|ghc|] :: Path Rel))
+ghcupGHCBaseDir = ghcupBaseDir <&> (</> [rel|ghc|])

 ghcupGHCDir :: Version -> IO (Path Abs)
 ghcupGHCDir ver = do
@@ -56,19 +56,19 @@ ghcupGHCDir ver = do


 ghcupBinDir :: IO (Path Abs)
-ghcupBinDir = ghcupBaseDir <&> (</> ([rel|bin|] :: Path Rel))
+ghcupBinDir = ghcupBaseDir <&> (</> [rel|bin|])

 ghcupCacheDir :: IO (Path Abs)
-ghcupCacheDir = ghcupBaseDir <&> (</> ([rel|cache|] :: Path Rel))
+ghcupCacheDir = ghcupBaseDir <&> (</> [rel|cache|])

 ghcupLogsDir :: IO (Path Abs)
-ghcupLogsDir = ghcupBaseDir <&> (</> ([rel|logs|] :: Path Rel))
+ghcupLogsDir = ghcupBaseDir <&> (</> [rel|logs|])


 mkGhcupTmpDir :: (MonadThrow m, MonadIO m) => m (Path Abs)
 mkGhcupTmpDir = do
-  tmpdir <- liftIO $ getEnvDefault [s|TMPDIR|] [s|/tmp|]
-  tmp    <- liftIO $ mkdtemp $ (tmpdir FP.</> [s|ghcup-|])
+  tmpdir <- liftIO $ getEnvDefault "TMPDIR" "/tmp"
+  tmp    <- liftIO $ mkdtemp $ (tmpdir FP.</> "ghcup-")
  parseAbs tmp


@@ -83,7 +83,7 @@ withGHCupTmpDir = snd <$> allocate mkGhcupTmpDir deleteDirRecursive

 getHomeDirectory :: IO (Path Abs)
 getHomeDirectory = do
-  e <- getEnv [s|HOME|]
+  e <- getEnv "HOME"
  case e of
    Just fp -> parseAbs fp
    Nothing -> do
--- a/lib/GHCup/Utils/File.hs
+++ b/lib/GHCup/Utils/File.hs
@@ -1,19 +1,26 @@
-{-# LANGUAGE QuasiQuotes     #-}
-{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE QuasiQuotes       #-}
+{-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE TemplateHaskell   #-}

 module GHCup.Utils.File where

 import           GHCup.Utils.Dirs
 import           GHCup.Utils.Prelude
+import           GHCup.Utils.String.QQ

+import           Control.Concurrent
+import           Control.Concurrent.MVar
 import           Control.Exception.Safe
 import           Control.Monad
-import           Data.ByteString
+import           Data.ByteString                ( ByteString )
 import           Data.ByteString.Unsafe         ( unsafeUseAsCStringLen )
 import           Data.Char
 import           Data.Foldable
 import           Data.Functor
+import           Data.IORef
 import           Data.Maybe
+import           Data.Word8
+import           GHC.Conc                hiding ( threadWaitRead )
 import           GHC.Foreign                    ( peekCStringLen )
 import           GHC.IO.Encoding                ( getLocaleEncoding )
 import           GHC.IO.Exception
@@ -23,7 +30,11 @@ import           Optics
 import           Streamly
 import           Streamly.External.ByteString
 import           Streamly.External.ByteString.Lazy
+import           System.Console.Concurrent
+import           System.Console.Pretty
+import           System.Console.Regions
 import           System.IO
+import           System.IO.Error
 import           System.Posix.Directory.ByteString
 import           System.Posix.FD               as FD
 import           System.Posix.FilePath   hiding ( (</>) )
@@ -34,6 +45,9 @@ import           System.Posix.Process           ( ProcessStatus(..) )
 import           System.Posix.Types


+import qualified Control.Exception             as EX
+import qualified Data.Text                     as T
+import qualified Data.Text.Encoding            as E
 import qualified System.Posix.Process.ByteString
                                               as SPPB
 import           Streamly.External.Posix.DirStream
@@ -42,7 +56,16 @@ import qualified Streamly.Internal.Memory.ArrayStream
 import qualified Streamly.FileSystem.Handle    as FH
 import qualified Streamly.Internal.Data.Unfold as SU
 import qualified Streamly.Prelude              as S
+import qualified Data.ByteString               as BS
 import qualified Data.ByteString.Lazy          as L
+import qualified "unix-bytestring" System.Posix.IO.ByteString
+                                               as SPIB
+
+
+data StopThread = StopThread Bool
+  deriving Show
+
+instance Exception StopThread


 data ProcessError = NonZeroExit Int ByteString [ByteString]
@@ -99,7 +122,7 @@ findExecutable ex = do

 -- | Execute the given command and collect the stdout, stderr and the exit code.
 -- The command is run in a subprocess.
-executeOut :: Path b          -- ^ command as filename, e.g. 'ls'
+executeOut :: Path b            -- ^ command as filename, e.g. 'ls'
           -> [ByteString]      -- ^ arguments to the command
           -> Maybe (Path Abs)  -- ^ chdir to this path
           -> IO CapturedProcess
@@ -116,26 +139,101 @@ execLogged :: ByteString       -- ^ thing to execute
           -> Maybe [(ByteString, ByteString)] -- ^ optional environment
           -> IO (Either ProcessError ())
 execLogged exe spath args lfile chdir env = do
-  ldir <- ghcupLogsDir
-  let logfile = ldir </> lfile
+  ldir    <- ghcupLogsDir
+  logfile <- (ldir </>) <$> parseRel (toFilePath lfile <> ".log")
  bracket (createFile (toFilePath logfile) newFilePerms) closeFd action
 where
  action fd = do
-    pid <- SPPB.forkProcess $ do
-      -- dup stdout
-      void $ dupTo fd stdOutput
+    actionWithPipes $ \(stdoutRead, stdoutWrite) -> do
+      -- start the thread that logs to stdout in a region
+      done <- newEmptyMVar
+      tid  <-
+        forkIO
+        $ EX.handle (\(e :: StopThread) -> pure ())
+        $ EX.handle (\(e :: IOException) -> pure ())
+        $ flip finally (putMVar done ())
+        $ printToRegion fd stdoutRead 6

-      -- dup stderr
-      void $ dupTo fd stdError
+      -- fork our subprocess
+      pid <- SPPB.forkProcess $ do
+        void $ dupTo stdoutWrite stdOutput
+        void $ dupTo stdoutWrite stdError
+        closeFd stdoutWrite
+        closeFd stdoutRead

-      -- execute the action
-      maybe (pure ()) (changeWorkingDirectory . toFilePath) chdir
-      SPPB.executeFile exe spath args env
+        -- execute the action
+        maybe (pure ()) (changeWorkingDirectory . toFilePath) chdir
+        SPPB.executeFile exe spath args env
+
+      closeFd stdoutWrite
+
+      -- wait for the subprocess to finish
+      e <- SPPB.getProcessStatus True True pid >>= \case
+        i@(Just (SPPB.Exited _)) -> pure $ toProcessError exe args i
+        i                        -> pure $ toProcessError exe args i
+
+      -- make sure the logging thread stops
+      case e of
+        Left  _ -> EX.throwTo tid (StopThread False)
+        Right _ -> EX.throwTo tid (StopThread True)
+      takeMVar done
+
+      closeFd stdoutRead
+      pure e
+
+  -- Reads fdIn and logs the output in a continous scrolling area
+  -- of 'size' terminal lines. Also writes to a log file.
+  printToRegion fileFd fdIn size = do
+    ref <- newIORef ([] :: [ByteString])
+    displayConsoleRegions $ do
+      rs <- sequence . replicate size . openConsoleRegion $ Linear
+      EX.handle
+          (\(StopThread b) -> do
+            when b (forM_ rs closeConsoleRegion)
+            EX.throw (StopThread b)
+          )
+        $ readForever
+            (\bs -> do
+              modifyIORef' ref (swapRegs bs)
+              regs <- readIORef ref
+              forM (zip regs rs) $ \(bs, r) -> do
+                setConsoleRegion r $ do
+                  w <- consoleWidth
+                  return
+                    . T.pack
+                    . color Blue
+                    . T.unpack
+                    . E.decodeUtf8
+                    . trim w
+                    . (\b -> "[ " <> toFilePath lfile <> " ] " <> b)
+                    $ bs
+                SPIB.fdWrite fileFd (bs <> "\n")
+            )
+            fdIn


-    SPPB.getProcessStatus True True pid >>= \case
-      i@(Just (SPPB.Exited _)) -> pure $ toProcessError exe args i
-      i                         -> pure $ toProcessError exe args i
+   where
+    swapRegs bs regs | length regs < size = regs ++ [bs]
+                     | otherwise          = tail regs ++ [bs]
+
+    -- trim output line to terminal width
+    trim w bs | BS.length bs > w && w > 5 = BS.take (w - 4) bs <> "..."
+              | otherwise                 = bs
+
+    -- read an entire line from the file descriptor (removes the newline char)
+    readLine fd' = do
+      threadWaitRead fd'
+      bs <- SPIB.fdRead fd' 1
+      if
+        | bs == "\n" -> pure ""
+        | bs == ""   -> pure ""
+        | otherwise  -> fmap (bs <>) $ readLine fd'
+
+    readForever action' fd' = do
+      bs <- readLine fd'
+      if not $ BS.null bs
+        then action' bs >> readForever action' fd'
+        else readForever action' fd'


 -- | Capture the stdout and stderr of the given action, which
@@ -176,10 +274,13 @@ captureOutStreams action =
                                 }
        _ -> throwIO $ userError $ ("No such PID " ++ show pid)

- where
-  actionWithPipes a =
-    createPipe >>= \(p1, p2) -> (flip finally) (cleanup [p1, p2]) $ a (p1, p2)
-  cleanup fds = for_ fds $ \fd -> handleIO (\_ -> pure ()) $ closeFd fd
+
+actionWithPipes :: ((Fd, Fd) -> IO b) -> IO b
+actionWithPipes a =
+  createPipe >>= \(p1, p2) -> (flip finally) (cleanup [p1, p2]) $ a (p1, p2)
+
+cleanup :: [Fd] -> IO ()
+cleanup fds = for_ fds $ \fd -> handleIO (\_ -> pure ()) $ closeFd fd



--- a/lib/GHCup/Version.hs
+++ b/lib/GHCup/Version.hs
@@ -8,4 +8,4 @@ import           GHCup.Utils.Version.QQ
 import           Data.Versions

 ghcUpVer :: PVP
-ghcUpVer = [pver|0.1.0|]
+ghcUpVer = [pver|0.0.0|]
--- a/stack.yaml
+++ b/stack.yaml
@@ -0,0 +1,39 @@
+resolver: lts-14.27
+packages:
+    - .
+extra-deps:
+    - IfElse-0.85@sha256:6939b94acc6a55f545f63a168a349dd2fbe4b9a7cca73bf60282db5cc6aa47d2
+    - ascii-string-1.0.1.3
+    - brotli-0.0.0.0@sha256:448061ceabdcaa752bbaf208f255bbb7e90bbcf8ea8a913d26ffa7887636823b
+    - brotli-streams-0.0.0.0@sha256:c75a1d5d33420cbc9399c315e9b50a1976a5370f4fa8a40c71e11d011c2fedd6
+    - case-insensitive-1.2.1.0
+    - data-default-instances-base-0.1.0.1@sha256:985a13d7103e45a65f06f277b735ef025636014f0d29dd6de998bc7628e09be9
+    - fusion-plugin-types-0.1.0@sha256:0f11bbc445ab8ae3dbbb3d5d2ea198bdb1ac020518b7f4f7579035dc89182438
+    - generics-sop-0.5.0.0
+    - haskus-utils-data-1.2@sha256:48f62aa23d84b94edd0338379d3b3d74a34d3c2dbabf8c448a774a89ca70ea5d
+    - haskus-utils-types-1.5
+    - haskus-utils-variant-3.0
+    - hpath-0.11.0
+    - hpath-directory-0.13.2
+    - hpath-filepath-0.10.4
+    - hpath-io-0.13.1
+    - hpath-posix-0.13.1
+    - http-io-streams-0.1.2.0
+    - indexed-profunctors-0.1@sha256:ddf618d0d4c58319c1e735e746bc69a1021f13b6f475dc9614b80af03432e6d4
+    - language-bash-0.9.0
+    - optics-0.2
+    - optics-core-0.2@sha256:cfdf39871553769b59fcc54863a3521d262ea25d8d05d0f41ab87296c560cfa6
+    - optics-extra-0.2@sha256:211ce1dfd1b3ffd95c1158d8c8beb53cbd17c4d477169e226b1831607f6789eb
+    - optics-th-0.2@sha256:b4f6c5a3f134c697837190ed6da969dd284aefe79e43c3ef793093b607bb83b9
+    - optics-vl-0.2
+    - optparse-applicative-0.15.1.0
+    - pretty-terminal-0.1.0.0
+    - sop-core-0.5.0.0@sha256:8734ab38b8c84837094eec657da0b58942e481e20166131f34cf6c7fe9787b07
+    - streamly-0.7.1
+    - streamly-bytestring-0.1.2
+    - streamly-posix-0.1.0.0
+    - strict-base-0.4.0.0
+    - string-interpolate-0.2.0.0
+    - table-layout-0.8.0.5
+    - tar-bytestring-0.6.3.0
+    - time-1.9.3
Author	SHA1	Message	Date
Julian Ospald	1810bb27a8	Experimental nice thing	2020-03-24 18:05:12 +01:00
Julian Ospald	3ff6be5435	Update freeze file	2020-03-21 22:28:22 +01:00
Julian Ospald	0963081fd8	Use OverloadedStrings instead of TH	2020-03-21 22:19:37 +01:00
Julian Ospald	af42598a27	Update tar-bytestring lower bound Otherwise some tarballs like ghc-8.0.2 ones don't unpack properly.	2020-03-21 20:11:30 +01:00
Julian Ospald	e6037b9eb5	Update README	2020-03-21 20:11:18 +01:00
Julian Ospald	e58e1c1954	Force LD=ld.bfd for ghc compilation	2020-03-18 17:31:17 +01:00
Julian Ospald	c7a831a280	Improve error handling in download When download fails, delete the partial file, so it doesn't corrupt the cache.	2020-03-17 23:21:38 +01:00
Julian Ospald	e77ed1a26c	Fix printing of list results on FreeBSD	2020-03-17 22:58:52 +01:00
Julian Ospald	c0c70f5c9b	Abstract over make So on FreeBSD we get gmake.	2020-03-17 22:43:45 +01:00
Julian Ospald	fee16758de	Move platform faking option into install subcommand	2020-03-17 22:43:00 +01:00
Julian Ospald	f8448cf02b	Make sure directories exist	2020-03-17 19:16:21 +01:00
Julian Ospald	35b6359c1b	Improve error handling	2020-03-17 18:40:25 +01:00
Julian Ospald	9c7d17800d	Create ~/.ghcup dir on start	2020-03-17 18:39:51 +01:00
Julian Ospald	ee570c024c	Improve logging messages	2020-03-17 18:39:41 +01:00
Julian Ospald	fcb7129251	Improve platform parser	2020-03-17 18:39:20 +01:00
Julian Ospald	8a1bd45ffe	Remove URLSource from Settings	2020-03-17 18:39:01 +01:00
Julian Ospald	f5a2db6719	[WIP] OS fake option	2020-03-17 02:00:28 +01:00
Julian Ospald	2c99070d89	Set version to 0.0.0	2020-03-17 02:00:28 +01:00
Julian Ospald	93aac16fc5	Spelling	2020-03-17 02:00:28 +01:00
Julian Ospald	775c541895	Minor refactor	2020-03-16 10:49:34 +01:00
Julian Ospald	b0eba1a77a	Use regex-posix instead of text-icu This will make static linking easier.	2020-03-16 10:49:04 +01:00
Julian Ospald	8aa2be5898	Don't build with brotli	2020-03-16 10:47:55 +01:00
Julian Ospald	951a7173ae	Remove unnecessary type annotations	2020-03-16 10:47:09 +01:00
Julian Ospald	b7f49b1c94	Check for new ghcup version on start	2020-03-09 22:21:22 +01:00
Julian Ospald	dcd6812fb7	Freeze cabal index state	2020-03-09 20:50:15 +01:00
Julian Ospald	167826dfce	Add stack support (building)	2020-03-09 20:49:56 +01:00
Julian Ospald	03ee8915fb	Rename dl function	2020-03-09 20:49:10 +01:00