From 6b306f0849bc628bb2ec39f16c31eabdd0b15e12 Mon Sep 17 00:00:00 2001
From: "Pavel \"LEdoian\" Turinsky" <ledoian@matfyz.cz>
Date: Mon, 21 Nov 2022 21:57:41 +0100
Subject: [PATCH] ensure_venv v2

---
 make/lib.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/make/lib.sh b/make/lib.sh
index 135f859e..195b6647 100644
--- a/make/lib.sh
+++ b/make/lib.sh
@@ -26,6 +26,11 @@ test -e '.git' || die "Make skript spuštěn ve špatné složce, spusť ho z ko
 function ensure_venv {
 	test -f "$VENV_PATH/bin/activate" || $VENV "$VENV_PATH"
 	. "$VENV_PATH/bin/activate"
+	# To ale není všechno Horste – ten venv nemusí fungovat, chceme to ověřit a případně spadnout.
+	local SPRAVNA_CESTA="$(readlink -f "$env/bin/python")"
+	local SKUTECNA_CESTA="$(readlink -f "$(which python)")"
+	test "$SPRAVNA_CESTA" != "$SKUTECNA_CESTA" || die "Venv asi nefunguje. Prosím smaž si ho a zkus to znovu."
+	python -c 'print()' > /dev/null || die "Python ve venvu je rozbitý. Prosím smaž venv a zkus to znovu."
 }
 
 function gimli_only {