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}"