From 42f7554cd8c64305398053d0f554e4a2cf80c1bb Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Wed, 30 Aug 2023 23:00:22 +0200
Subject: [PATCH] Add in-env.sh

---
 in-env.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 in-env.sh

diff --git a/in-env.sh b/in-env.sh
new file mode 100755
index 0000000..b805812
--- /dev/null
+++ b/in-env.sh
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+set -euo pipefail
+env_cmd=$(sed -n '/^## Compiling using Cabal/,/^```$/!d ; /^ENV=/p' README.md)
+if [[ "$(echo "$env_cmd" | wc -l)" -ne 1 ]]; then
+  echo >&2 "ENV= line in README.md not found!"
+  exit 1
+fi
+
+eval "$env_cmd"
+env LD_LIBRARY_PATH="$ENV" "$@"