Test ran at 2024-11-01 12:40:38.199481+00:00

SOLUTION:
littlefs=0.3.1: Ada/SPARK binding for the LittleFS flash embedded filesystem
Origin: commit d184aefe7ee3f987994b970b9da20f94185f1604 from https://github.com/Fabien-Chouteau/littlefs-ada.git
Properties:
   Author: Fabien Chouteau
   Config type: Assert : Boolean default: 'false'
   Config type: Debug : Boolean default: 'false'
   Config type: Error : Boolean default: 'false'
   Config type: Max_Attr_Size : Integer range 1 .. 1022 default: '1022'
   Config type: Max_File_Size : Integer range 1 .. 2147483647 default: '2147483647'
   Config type: Max_Name_Size : Integer range 1 .. 1022 default: '255'
   Config type: No_Malloc : Boolean default: 'true'
   Config type: Trace : Boolean default: 'false'
   Config type: Warn : Boolean default: 'false'
   Configuration: no modifiers
   Description: Ada/SPARK binding for the LittleFS flash embedded filesystem
   License: BSD-3-Clause
   Maintainer: Fabien Chouteau <chouteau@adacore.com>
   Maintainers_Logins: Fabien-Chouteau
   Name: littlefs
   Tag: embedded
   Tag: filesystem
   Tag: nostd
   Tag: flash
   Version: 0.3.1
   Website: https://github.com/Fabien-Chouteau/littlefs-ada


LOG:
Note: Deploying littlefs=0.3.1...
Note: Building littlefs/littlefs.gpr...
Setup
   [mkdir]        object directory for project Littlefs
   [mkdir]        library directory for project Littlefs
Compile
   [C]            lfs_util.c
   [C]            lfs.c
   [Ada]          littlefs_config.ads
   [Ada]          littlefs.adb
Build Libraries
   [gprlib]       Littlefs.lexch
   [archive]      libLittlefs.a
   [index]        libLittlefs.a
Build finished successfully in 3.59 seconds.

littlefs=0.3.1 successfully retrieved and built.
There are no dependencies.
Found declared GPR file: littlefs.gpr