Add a opam-release script for the release process

Author: dinosaure

opam/opam-release.sh

@@ -0,0 +1,53 @@
+#!/bin/sh
+
+if [ ! -d "./opam" ]; then
+	echo "ERROR: missing ./opam. Run this from the root of a Solo5 repository."
+	exit 1
+fi
+
+GIT_VERSION=$(git -C . describe --dirty --tags --always)
+DEV=
+
+if ! echo "$GIT_VERSION" | egrep -q '^v[0-9]+.[0-9]+.[0-9]+$'; then
+	echo "WARNING: Not a clean Git release: $GIT_VERSION"
+	echo "WARNING: This is almost certainly not what you want."
+	DEV=~dev
+fi
+
+TARBALL="esperanto-${GIT_VERSION}.tar.gz"
+if [ ! -f ${TARBALL} ]; then
+	echo "ERROR: Release tarball ${TARBALL} not found."
+	echo "ERROR: Did you run 'make distrib'?"
+	exit 1
+fi
+
+echo "Using tarball: ${TARBALL}"
+CHECKSUM="$(sha512sum ${TARBALL} | cut -d' ' -f1)"
+OPAM_VERSION=$(echo -n "${GIT_VERSION}" | cut -d- -f1 | tr -d v)
+[ -n "${DEV}" ] && OPAM_VERSION="${OPAM_VERSION}${DEV}"
+echo "OPAM version: ${OPAM_VERSION}"
+OUTPUT_DIR=./opam/release
+if [ -d ${OUTPUT_DIR} ]; then
+	echo "Deleting existing output directory: ${OUTPUT_DIR}"
+	rm -rf ${OUTPUT_DIR}
+fi
+mkdir -p ${OUTPUT_DIR}/tmp
+cat <<EOM >${OUTPUT_DIR}/tmp/url
+url {
+  src: "https://github.com/dinosaure/esperanto/releases/download/${GIT_VERSION}/${TARBALL}"
+  checksum: "sha512=${CHECKSUM}"
+}
+EOM
+for PKG in '' '-cosmopolitan'; do
+	PKG_DIR=${OUTPUT_DIR}/packages/esperanto${PKG}/esperanto${PKG}.${OPAM_VERSION}
+	mkdir -p ${PKG_DIR} || exit 1
+	cat opam/esperanto${PKG}.opam ${OUTPUT_DIR}/tmp/url \
+		> ${PKG_DIR}/opam || exit 1
+	opam lint ${PKG_DIR}/opam || exit 1
+done
+
+echo "Done. Submit ${OUTPUT_DIR}/packages as a PR to opam-repository."
+echo "Example: cp -r opam/release/packages path/to/opam-repository"
+echo "         cd path/to/opam/repository"
+echo "         git checkout -b esperanto.${OPAM_VERSION}"
+echo "         git add ."