updated build system

2024-12-29 12:04:17 -06:00
parent 5fadb796d1
commit 3190c5f133
6 changed files with 67 additions and 58 deletions
--- a/scripts/env.sh
+++ b/scripts/env.sh
@ -25,8 +25,8 @@ pushd "${PROJECT_SOURCE_DIR}"

 PROJECT_GIT_REV=$(git rev-parse --short HEAD)

+. "${PROJECT_SCRIPTS_DIR}/libraries.sh"
 . "${PROJECT_SCRIPTS_DIR}/versions.sh"
-. "${PROJECT_SCRIPTS_DIR}/options.sh"

 for PROJECT_LIBRARY in "${PROJECT_LIBRARIES[@]}"; do
  ENABLE_NAME=PROJECT_ENABLE_${PROJECT_LIBRARY}