From 07611c0ac3b49ef3deae963e2b1f0cca2c442b2b Mon Sep 17 00:00:00 2001 From: Mario Fetka Date: Mon, 27 May 2024 16:23:06 +0200 Subject: [PATCH] add tcl-dp to build --- build.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/build.sh b/build.sh index c97d514..3873bd0 100755 --- a/build.sh +++ b/build.sh @@ -5,7 +5,7 @@ ARCHIE_ROOT="${WORLD_ROOT}/archie" PROSPERO_ROOT="${WORLD_ROOT}/prospero" BERKDB_ROOT="${WORLD_ROOT}/berkdb" TCL_ROOT="${WORLD_ROOT}/tcl7.3" -TCLDP_ROOT="${WORLD_ROOT}/tcl-dp" +TCLDP_ROOT="${WORLD_ROOT}/tcl-dp/unix" TK_ROOT="${WORLD_ROOT}/tk3.6" SOLOS=$(uname -s) SOLVER=$(uname -r) @@ -43,3 +43,9 @@ cd ${TK_ROOT} ./configure --prefix=${DISTDIR} make install cd ${WORLD_ROOT} + +cd ${TCLDP_ROOT} +./configure --prefix=${DISTDIR} +make install +cd ${WORLD_ROOT} +