From db075620db9e9da77276f0999b9cb09502920ab3 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 6 Jan 2025 21:28:36 +0100
Subject: Add :version command
---
bwrap-files/workdir/entry.sh | 3 +++
1 file changed, 3 insertions(+)
(limited to 'bwrap-files')
diff --git a/bwrap-files/workdir/entry.sh b/bwrap-files/workdir/entry.sh
index 61c09d5..436ba64 100755
--- a/bwrap-files/workdir/entry.sh
+++ b/bwrap-files/workdir/entry.sh
@@ -14,6 +14,9 @@ else
versionargs=()
fi
+# Inform yahb2 about the GHC version we're using
+echo "yahb2-ghci-version=$($ghcup run "${versionargs[@]}" -- ghci --numeric-version)"
+
$ghcup run "${versionargs[@]}" -- ghci Yahb2Defs.hs 2>&1
# vim: set sw=2 ts=8 et:
--
cgit v1.2.3-70-g09d2