Add scripts for automatically updating K Nighly, opening PR into repo (…

…#503)

* Makefile, include.mk: hardcode the nightly URL used

* scripts/update-k-nightly.sh: script for automatically updating the K nightly release version

* scripts/update-k-nightly-pr.sh: script to also open the PR for you

* scripts/update-k-nightly-pr: upstream branch, not remote

* scripts/update-k-nightly-pr: also specify reviewer to use

Makefile

@@ -11,8 +11,7 @@ kore-exec: $(KORE_EXEC)
 k-frontend:
 	mkdir -p $(BUILD_DIR)
 	rm -rf $(K_DIST_DEFAULT) $(K_NIGHTLY)
-	curl --location --output $(K_NIGHTLY) \
-	    $$(curl 'https://api.github.com/repos/kframework/k/releases' | jq --raw-output '.[${K_NIGHTLY_OFFSET}].assets[].browser_download_url | match(".*nightly.tar.gz").string')
+	curl --location --output $(K_NIGHTLY) $(K_NIGHTLY_URL)
 	mkdir -p $(K_DIST_DEFAULT)
 	tar --extract --file $(K_NIGHTLY) --strip-components 1 --directory $(K_DIST_DEFAULT)
 	$(KRUN) --version

include.mk

@@ -5,7 +5,7 @@ UPSTREAM_BRANCH = origin/master
 
 BUILD_DIR = $(TOP)/.build
 K_NIGHTLY = $(BUILD_DIR)/nightly.tar.gz
-K_NIGHTLY_OFFSET ?= 0
+K_NIGHTLY_URL = https://github.com/kframework/k/releases/download/nightly-4375ba02b/nightly.tar.gz
 K_DIST_DEFAULT = $(BUILD_DIR)/k
 K_DIST ?= $(K_DIST_DEFAULT)
 K_DIST_BIN = $(K_DIST)/bin

scripts/update-k-nightly-pr.sh

@@ -0,0 +1,34 @@
+#!/usr/bin/env bash
+
+set -exuo pipefail
+
+export TOP=${TOP:-$(git rev-parse --show-toplevel)}
+UPSTREAM_REMOTE=${UPSTREAM_REMOTE:-origin}
+UPSTREAM_BRANCH=master
+BRANCH_NAME=update-k-nightly
+
+$TOP/scripts/git-assert-clean.sh
+
+if [[ $(git rev-parse HEAD) != $(git rev-parse $UPSTREAM_BRANCH) ]]; then
+    echo "Must run with $UPSTREAM_BRANCH checked out!!!"
+    exit 1
+fi
+
+$TOP/scripts/update-k-nightly.sh
+
+if $TOP/scripts/git-assert-clean.sh; then
+    echo "No update..."
+    exit 0
+fi
+
+git checkout -B "$BRANCH_NAME" "$UPSTREAM_REMOTE/$UPSTREAM_BRANCH"
+
+git add $TOP/include.mk
+
+git commit --message 'include.mk: update K nightly version'
+
+hub pull-request --push --force --head "$BRANCH_NAME" --base "$UPSTREAM_BRANCH" --reviewer ehildenb --file - <<MSG
+Update K Nightly version used for integration testing
+
+PR generated by '$0'
+MSG

scripts/update-k-nightly.sh

@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+
+set -exuo pipefail
+
+export TOP=${TOP:-$(git rev-parse --show-toplevel)}
+
+new_nightly="$(curl 'https://api.github.com/repos/kframework/k/releases' | jq --raw-output '.[0].assets[].browser_download_url | match(".*nightly.tar.gz").string')"
+
+sed -i '/K_NIGHTLY_URL.*/c\'"K_NIGHTLY_URL = $new_nightly" "$TOP/include.mk"