#!/bin/sh # --------------------------------------------------------------------------------------------- # For linux64: # This script rebuilds the ${CHEDDAR_DIR}/lib/linux64/gtkada/static/libgtkada.a library # from the sources of the ${CHEDDAR_DIR}/required_packages/GtkAda/include/gtkada directory. # It assumes that the file src/scripts/compilelinux64.bash is up to date (ie the shell # variables CHEDDAR_DIR and GNAT_DIR are well defined). # --------------------------------------------------------------------------------------------- . src/scripts/compilelinux64.bash cd ${CHEDDAR_DIR}/required_packages/GtkAda/include/gtkada \rm -f *.o ADB_FILES=`ls *.adb` for afile in $ADB_FILES ; do gnatmake $afile done echo " Updating the ${CHEDDAR_DIR}/lib/linux64/gtkada/static/libgtkada.a library" ar r ${CHEDDAR_DIR}/lib/linux64/gtkada/static/libgtkada.a *.o cd ${CHEDDAR_DIR}