From b8a708c61f292a848466fe70f09cbd9f34e17f8a Mon Sep 17 00:00:00 2001 From: Mario Fetka Date: Mon, 27 May 2024 19:10:32 +0200 Subject: [PATCH] build archie libs for prospero --- build.sh | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/build.sh b/build.sh index 3e27c4c..366502d 100755 --- a/build.sh +++ b/build.sh @@ -87,6 +87,29 @@ cp Makefile.in Makefile make all_depend cd ${WORLD_ROOT} +echo "" +echo "====================================================================" +echo " Build Archie libs for Prospero ${ARCHIE_ROOT}" +echo "====================================================================" +echo "" +cd ${ARCHIE_ROOT}/lib/libpsarchie/${SYSTYPE} +make +cd ${ARCHIE_ROOT}/lib/libparchie/${SYSTYPE} +make +cd ${ARCHIE_ROOT}/lib/startdb/${SYSTYPE} +make +cd ${ARCHIE_ROOT}/lib/archsearch/${SYSTYPE} +make +cd ${ARCHIE_ROOT}/lib/libarchie/${SYSTYPE} +make +cd ${ARCHIE_ROOT}/lib/archstridx/${SYSTYPE} +make +cd ${ARCHIE_ROOT}/lib/patrie/${SYSTYPE} +make +cd ${ARCHIE_ROOT}/webindex/lib/${SYSTYPE} +make +cd ${WORLD_ROOT} + echo "" echo "====================================================================" echo " Building ${PROSPERO_ROOT}"