Merge pull request #5235 from IntersectMBO/nm/srp-scripts

Add scripts for adding and updating srp's in cabal.project

Author: neilmayhew

scripts/add-srp.sh

@@ -0,0 +1,41 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+# Add a source-repository-package stanza to cabal.project
+#
+# Usage: add-srp URL REF [SUBDIRS]
+#
+# URL is the URL of the repo
+# REF can be any reference (eg a branch name or tag)
+# SUBDIRS is a list of subdirectories for the `subdir` field
+
+URL=$1
+REF=$2
+SUBDIRS=("${@:3}")
+
+if grep -q -e "^ *location:.*$URL" cabal.project
+then
+  echo "There's already an srp for $URL in cabal.project" >&2
+  exit 1
+fi
+
+PREFETCH=$(nix-prefetch-git --quiet "$URL" "$REF")
+
+cat <<EOF >>cabal.project
+
+source-repository-package
+  type: git
+  location: $URL
+  --sha256: $(jq -r .hash <<<"$PREFETCH")
+  tag: $(jq -r .rev <<<"$PREFETCH")
+EOF
+
+if (( ${#SUBDIRS[@]} > 0 ))
+then
+  echo '  subdir:'
+  for SUBDIR in "${SUBDIRS[@]}"
+  do
+    echo "    $SUBDIR"
+  done
+fi >>cabal.project

scripts/update-srp.sh

@@ -0,0 +1,29 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+# Update a source-repository-package stanza in cabal.project
+#
+# Usage: update-srp REPO REF
+#
+# REPO can be any regex that matches the repo URL
+# REF can be any reference (eg a branch name or tag)
+
+REPO=$1
+REF=$2
+
+URL=$(sed -n -e "\#location:.*$REPO#s#^ *location: *##p" cabal.project)
+
+if [[ -z $URL ]]
+then
+  echo "There's no srp for $REPO in cabal.project" >&2
+  exit 1
+fi
+
+PREFETCH=$(nix-prefetch-git --quiet "$URL" "$REF")
+
+sed -i -e "
+  \#location:.*$REPO#,/^$/{
+    s#tag:.*#tag: $(jq -r .rev <<<"$PREFETCH")#
+    s#--sha256:.*#--sha256: $(jq -r .hash <<<"$PREFETCH")#
+  }" cabal.project