RC1 internal test release

RELEASING.md

@@ -1,10 +1,11 @@
 ## Checklist for releasing a new version
 
 1. [ ] Update version in `Alire.Version`.
+1. [ ] Update version in `alire.toml`.
 1. [ ] Create test release in own fork.
   - To verify builds succeed.
   - As the Windows build can rarely fail, this provides a backup .exe
-1. [ ] Create new index version branches if necessary.
+1. [ ] In repo `alire-index`: create new index version branches if necessary.
   - Edit index/index.toml to match.
 1. [ ] Ensure the index version is the default branch in the community repos:
   - alire-index

alire.toml

@@ -1,7 +1,7 @@
 name = "alr"
 description = "Command-line tool from the Alire project"
 
-version = "1.3.0-dev"
+version = "2.0-rc1"
 
 authors = ["Alejandro R. Mosteo", "Fabien Chouteau", "Pierre-Marie de Rodat"]
 maintainers = ["[email protected]", "[email protected]"]
@@ -77,7 +77,7 @@ commit = "9a9c660f9c6f27f5ef75417e7fac7061dff14d78"
 
 [pins.semantic_versioning]
 url    = "https://github.com/alire-project/semantic_versioning"
-commit = "2f23fc5f6b4855b836b599adf292fed9c0ed4144"
+commit = "cc2148cf9c8934fb557b5ae49a3f7947194fa7ee"
 
 [pins.simple_logging]
 url    = "https://github.com/alire-project/simple_logging"

doc/catalog-format-spec.md

@@ -463,9 +463,9 @@ static, i.e. they cannot depend on the context.
         *monorepo*).
 
       - `binary`: optional (defauts to false) boolean used to design the origin
-        as binary. Binary origins are not compiled and can use dynamic
+        as binary. Binary origins are not compiled and can optionally use dynamic
         expressions to narrow down the platform to which they apply. An origin
-        using a dynamic expression is implicitly tagged as binary; see the
+        using a dynamic expression must be tagged as binary; see the
         example below.
 
    Examples of origin tables:
@@ -497,6 +497,7 @@ static, i.e. they cannot depend on the context.
    [origin."case(os)".linux."case(host-arch)".x86-64]
    url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-x86_64-linux-12.1.0-1.tar.gz"
    hashes = ["sha256:df1f36b306359d528799b1de8629a793523347a90c9d4b72efd23c62a7279555"]
+   binary = true
    ```
 
  - `available`: optional dynamic boolean expression.  If it evaluates to

src/alire/alire-index.ads

@@ -44,7 +44,7 @@ package Alire.Index is
      and then Branch_String (Branch_String'Last) /= '-'
      and then (for some C of Branch_String => C = '-');
 
-   Community_Branch : constant String := "stable-1.2.1";
+   Community_Branch : constant String := "stable-1.3.0";
    --  The branch used for the community index. Must be updated when new index
    --  features are introduced.
 

src/alire/alire-index_features.ads

@@ -0,0 +1,16 @@
+with Semantic_Versioning;
+
+package Alire.Index_Features is
+
+   --  For easier lockstep updates, we keep track of features that we will
+   --  enable in future index versions.
+
+   subtype Min_Version is Semantic_Versioning.Version;
+
+   use type Min_Version;
+
+   Explicit_Binary_Origin : constant Min_Version := +"1.3.0";
+   --  Require that binary origins are explicitly marked as such instead of
+   --  relying on dynamic expressions.
+
+end Alire.Index_Features;

src/alire/alire-loading.ads

@@ -0,0 +1,25 @@
+with Semantic_Versioning;
+
+package Alire.Loading with Preelaborate is
+
+   --  Auxiliary type to pass info around while loading things from disk
+   --  (currently only indexes...)
+
+   type Kinds is (None, Index);
+
+   type Metadata (Kind : Kinds := None) is record
+      case Kind is
+         when Index =>
+            Version : Semantic_Versioning.Version;
+         when None =>
+            null;
+      end case;
+   end record;
+
+   function For_Index (Version : Semantic_Versioning.Version)
+                       return Metadata
+   is (Kind => Index, Version => Version);
+
+   function No_Metadata return Metadata is (Kind => None);
+
+end Alire.Loading;

src/alire/alire-origins.adb

@@ -2,12 +2,16 @@ with Ada.Directories;
 
 with AAA.Strings;
 
+with Alire.Index_Features;
+with Alire.Loading;
 with Alire.Platforms.Current;
 with Alire.Root;
 with Alire.URI;
 with Alire.Utils.TTY;
 with Alire.VFS;
 
+with Semantic_Versioning;
+
 package body Alire.Origins is
 
    ----------
@@ -494,6 +498,42 @@ package body Alire.Origins is
             & Keys.Archive_Name & "'");
    end From_TOML;
 
+   ----------------------
+   -- Binary_From_TOML --
+   ----------------------
+   --  This wrapper is used to make sure that a conditional archive is
+   --  explicitly marked as binary.
+   function Binary_From_TOML (From : TOML_Adapters.Key_Queue)
+                              return Conditional_Archives.Tree
+   is
+      use TOML;
+      use type Semantic_Versioning.Version;
+      Table   : constant TOML_Adapters.Key_Queue :=
+                  From.Descend (From.Unwrap.Get (Keys.Origin),
+                                Context => "binary_archive_data");
+   begin
+      if From.Metadata.Kind not in Loading.None
+      --  When loading from an `alire.toml` manifest outside of an index,
+      --  we won't have version metadata, but this is okay as it either is a
+      --  user manifest (which does not contain an origin) or it is a manifest
+      --  generated by ourselves for internal use (which always contains the
+      --  binary property when needed).
+        and then
+          From.Metadata.Version >= Index_Features.Explicit_Binary_Origin
+        and then
+          (not Table.Unwrap.Has (Keys.Binary) or else
+           not Table.Unwrap.Get (Keys.Binary).As_Boolean)
+      then
+         Raise_Checked_Error
+           ("Dynamic origins must explicitly set the `binary=true` property"
+            & " from index version "
+            & TTY.Bold (Index_Features.Explicit_Binary_Origin.Image)
+            & " onwards.");
+      end if;
+
+      return From_TOML (From);
+   end Binary_From_TOML;
+
    ---------------
    -- From_TOML --
    ---------------
@@ -547,7 +587,7 @@ package body Alire.Origins is
                             (Keys.Origin,
                              Table.Unwrap,
                              Context => "binary archive"),
-                        Loader  => From_TOML'Access,
+                        Loader  => Binary_From_TOML'Access,
                         Resolve => True,
                         Strict  => False) with null record)));
 

src/alire/alire-origins.ads

@@ -275,6 +275,7 @@ private
    package Conditional_Archives is
      new Conditional_Trees (Values => Archive_Data,
                             Image  => Binary_Image);
+   --  Conditional origins must be binary in the current implementation
 
    type Conditional_Archive is new Conditional_Archives.Tree with null record;
    package Binary_Loader is new Conditional_Archives.TOML_Load;

src/alire/alire-toml_adapters.adb

@@ -110,12 +110,16 @@ package body Alire.TOML_Adapters is
    -- From --
    ----------
 
-   function From (Value   : TOML.TOML_Value;
-                  Context : String) return Key_Queue
+   function From (Value    : TOML.TOML_Value;
+                  Context  : String;
+                  Metadata : Loading.Metadata := Loading.No_Metadata)
+                  return Key_Queue
    is
    begin
       return This : constant Key_Queue :=
-        (Ada.Finalization.Limited_Controlled with Value => Value)
+        (Ada.Finalization.Limited_Controlled with
+           Value    => Value,
+           Metadata => Metadata)
       do
          Errors.Open (Context);
       end return;
@@ -125,11 +129,14 @@ package body Alire.TOML_Adapters is
    -- From --
    ----------
 
-   function From (Key     : String;
-                  Value   : TOML.TOML_Value;
-                  Context : String) return Key_Queue
+   function From (Key      : String;
+                  Value    : TOML.TOML_Value;
+                  Context  : String;
+                  Metadata : Loading.Metadata := Loading.No_Metadata)
+                  return Key_Queue
    is (From (Create_Table (Key, Value),
-             Context));
+             Context,
+             Metadata));
 
    -------------
    -- Descend --
@@ -138,7 +145,7 @@ package body Alire.TOML_Adapters is
    function Descend (Parent  : Key_Queue;
                      Value   : TOML.TOML_Value;
                      Context : String) return Key_Queue is
-     (From (Value, Context));
+     (From (Value, Context, Parent.Metadata));
 
    ------------------
    -- Merge_Tables --

src/alire/alire-toml_adapters.ads

@@ -3,6 +3,7 @@ private with Ada.Finalization;
 with AAA.Strings; use AAA.Strings;
 
 private with Alire.Errors;
+with Alire.Loading;
 
 with TOML; use all type TOML.Any_Value_Kind;
 
@@ -20,13 +21,18 @@ package Alire.TOML_Adapters with Preelaborate is
    --  Also encapsulates a context that can be used to pinpoint errors better.
    --  Note: all operations on this type use shallow copies!
 
-   function From (Key     : String;
-                  Value   : TOML.TOML_Value;
-                  Context : String) return Key_Queue;
+   function Metadata (This : Key_Queue) return Loading.Metadata;
+
+   function From (Key      : String;
+                  Value    : TOML.TOML_Value;
+                  Context  : String;
+                  Metadata : Loading.Metadata := Loading.No_Metadata)
+                  return Key_Queue;
    --  Convert a key/value pair into a wrapped table as Key_Queue.
 
-   function From (Value   : TOML.TOML_Value;
-                  Context : String)
+   function From (Value    : TOML.TOML_Value;
+                  Context  : String;
+                  Metadata : Loading.Metadata := Loading.No_Metadata)
                   return Key_Queue;
    --  Create a new queue wrapping a TOML value.
 
@@ -178,12 +184,20 @@ private
    use type UString; -- Allows comparisons between strings and unbounded
 
    type Key_Queue is new Ada.Finalization.Limited_Controlled with record
-      Value   : TOML.TOML_Value;
+      Value    : TOML.TOML_Value;
+      Metadata : Loading.Metadata;
    end record;
 
    overriding
    procedure Finalize (This : in out Key_Queue);
 
+   --------------
+   -- Metadata --
+   --------------
+
+   function Metadata (This : Key_Queue) return Loading.Metadata
+   is (This.Metadata);
+
    --------------
    -- Contains --
    --------------
@@ -209,7 +223,7 @@ private
                      Value   : TOML.TOML_Value;
                      Context : String)
                      return Key_Queue is
-      (From (Key, Value, Context));
+      (From (Key, Value, Context, Parent.Metadata));
 
    -------------
    -- Failure --