From 14648e484f4148cb8ae96a75701ed5eb1d138865 Mon Sep 17 00:00:00 2001 From: Claude Date: Wed, 10 Jun 2026 04:06:41 +0000 Subject: [PATCH] Fix alire.toml: drop invalid SPDX license expression 'Proprietary TBD' is not a valid SPDX expression and Alire 2.x rejects it (LicenseRef- custom ids are also rejected by the pinned version), aborting manifest load before build. licenses is optional, so omit it until a license is chosen. Verified locally with alr 2.0.2 + GNAT 14.2.1: 'alr build' succeeds and all five test executables pass. (gnat_sockets/spark_lemmas remain declared but unused -> a non-fatal incomplete-solution warning; build still exits 0.) --- mafiabot_core/alire.toml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/mafiabot_core/alire.toml b/mafiabot_core/alire.toml index 9677e5f..6287368 100644 --- a/mafiabot_core/alire.toml +++ b/mafiabot_core/alire.toml @@ -4,7 +4,9 @@ description = "Sovereign cognitive architecture" authors = ["Shoggoth Sect 0.R"] maintainers = ["hahahaha "] maintainers-logins = ["sybad"] -licenses = "Proprietary TBD" +# licenses: omitted -- proprietary/TBD. Alire requires a valid SPDX expression +# here, and neither "Proprietary TBD" nor a LicenseRef- custom id is accepted by +# the pinned Alire, so the (optional) field is left out until a license is chosen. [[depends-on]] gnat_sockets = "^1.0.0"