Improve bindist install script

Test HLS and cabal better. Test profiling.

.github/workflows/bindists.yaml

@@ -60,6 +60,12 @@ jobs:
           - image: fedora:latest
             installCmd: dnf install -y
             toolRequirements: which gcc g++ gmp gmp-devel make ncurses ncurses-compat-libs xz perl
+          - image: linuxmintd/mint19.3-amd64
+            installCmd: apt-get update && apt-get install -y
+            toolRequirements: build-essential curl libffi-dev libffi6 libgmp-dev libgmp10 libncurses-dev libncurses5 libtinfo5
+          - image: linuxmintd/mint20.2-amd64
+            installCmd: apt-get update && apt-get install -y
+            toolRequirements: build-essential curl libffi-dev libffi7 libgmp-dev libgmp10 libncurses-dev libncurses5 libtinfo5
     container:
       image: ${{ matrix.image }}
     steps:

.github/workflows/install-bindist.sh

@@ -12,15 +12,29 @@ which ghcup | grep foobarbaz
 
 ghcup -v --url-source=file:$METADATA_FILE install $TOOL --set $VERSION
 
+cat <<EOF > main.hs
+{- cabal:
+build-depends: base
+-}
+
+main = print $ 1 + 1
+EOF
+
 case $TOOL in
 	hls)
 		haskell-language-server-wrapper --version
+		haskell-language-server-wrapper typecheck main.hs
 		;;
     ghc)
 		ghc --version
-		echo 'main = print $ 1 + 1' > main.hs
-		ghc main.hs
-		[[ $(./main) -eq 2 ]]
+		ghc --info
+		ghc -prof main.hs
+		[[ $(./main +RTS -s) -eq 2 ]]
+		;;
+    cabal)
+		cabal --version
+		cabal update
+		[[ $(cabal --verbose=0 run --enable-profiling ./main.hs -- +RTS -s) -eq 2 ]]
 		;;
     *)
 		$TOOL --version