ci: Add ghc-exactprint

ci/config.sh

@@ -46,6 +46,19 @@ function extra_package() {
   EXTRA_OPTS="$EXTRA_OPTS --extra-package=$pkg_name==$version"
 }
 
+function extra_git_package() {
+  local pkg_name="$1"
+  local repo_url="$2"
+
+  local f="$(pwd)/extra-$pkg_name.cabal.project"
+  echo "source-repository-package" > $f
+  echo "  type: git" >> $f
+  echo "  url: $repo_url" >> $f
+
+  echo "Adding $pkg_name from $repo_url to extra package set"
+  EXTRA_OPTS="$EXTRA_OPTS --extra-package=$pkg_name --extra-cabal-fragment=$f"
+}
+
 # Mark a package to be declared with build-tool-depends, not build-depends.
 # This is necessary for packages that do not have a library component.
 function build_tool_package() {
@@ -104,12 +117,14 @@ case $version in
     broken  hgeometry                 23938
     broken  hgeometry-combinatorial   23938
     broken  hgeometry-ipe             23938
-    extra_package ghc-exactprint 1.7.0.1
+    extra_git_package ghc-exactprint https://github.com/alanz/ghc-exactprint
+
     ;;
 
   9.9.*)
     #       package                   ticket
-    extra_package ghc-exactprint 1.7.0.1
+    extra_git_package ghc-exactprint https://github.com/alanz/ghc-exactprint
+
     ;;
 
   *)