From d99568c357b0f70748f504f2759b3ee3ed238a95 Mon Sep 17 00:00:00 2001
From: Mario Fetka <mario.fetka@gmail.com>
Date: Mon, 27 May 2024 17:47:03 +0200
Subject: [PATCH] build prospero

---
 build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 99ecf98..c8dd24a 100755
--- a/build.sh
+++ b/build.sh
@@ -21,6 +21,7 @@ export TCLDP_ROOT=${TCLDP_ROOT}
 export TK_ROOT=${TK_ROOT}
 export SYSTYPE=${SYSTYPE}
 export DISTDIR=${DISTDIR}
+export PATH=${DISTDIR}/bin:${PATH}
 
 mkdir -p ${DISTDIR}/bin
 
@@ -93,6 +94,6 @@ echo "===================================================================="
 echo ""
 cd ${PROSPERO_ROOT}
 ln -sf Makefile.config.${SYSTYPE} Makefile.config
-make
+make all
 cd ${WORLD_ROOT}