Add in-env.sh

AccelerateHS · Aug 30, 2023 · 42f7554 · 42f7554
1 parent 3ffa85c
commit 42f7554
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/in-env.sh 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" "$@"