[SIRIUS] Fixes for the toolchain

This commit is contained in:
Mathieu Taillefumier 2024-08-29 15:15:45 +02:00 committed by Matthias Krack
parent 66b22d5e26
commit eee1fbd3fb
2 changed files with 2 additions and 2 deletions

View file

@ -6,7 +6,7 @@
[ "${BASH_SOURCE[0]}" ] && SCRIPT_NAME="${BASH_SOURCE[0]}" || SCRIPT_NAME=$0
SCRIPT_DIR="$(cd "$(dirname "$SCRIPT_NAME")/.." && pwd -P)"
pugixml_ver="1.14.0"
pugixml_ver="1.14"
pugixml_sha256="2f10e276870c64b1db6809050a75e11a897a8d7456c4be5c6b2e35a11168a015"
source "${SCRIPT_DIR}"/common_vars.sh
source "${SCRIPT_DIR}"/tool_kit.sh

View file

@ -7,7 +7,7 @@
SCRIPT_DIR="$(cd "$(dirname "$SCRIPT_NAME")/.." && pwd -P)"
sirius_ver="7.6.0"
sirius_sha256="9ae01935578532c84f1d0d673dbbcdd490e26be22efa6c4acf7129f9dc1a0c60"
sirius_sha256="e424206fecb35bb2082b5c87f0865a9536040e984b88b041e6f7d531f8a65b20"
source "${SCRIPT_DIR}"/common_vars.sh
source "${SCRIPT_DIR}"/tool_kit.sh