pjljvandelaar
pjljvandelaar
We would like to over yices and yicesNL as solvers to the users of TorXakis (see https://github.com/TorXakis/TorXakis/issues/265). However, we are using a feature of smt2.5 which currently is not yet...
Dear Alire developers, Two points 1. When I run `alr exec -- .\bin\dependency_graph_extractor.exe -h` I get the help of `alr exec` not of the dependency_graph_extractor. According to documentation, ``` USAGE...
Dear Alire Developers, When I build the crate https://github.com/TNO/Dependency_Graph_Extractor-Ada on windows, I observe that 1. `alr run --args="-h"` yields ``` Note: Building dependency_graph_extractor/dependency_graph_extractor.gpr... gnatcoll.gpr:254:07: warning: value "windows" is not used...
Dear Alire Developers, `alr help printenv` yields ``` SUMMARY Print the build environment variables USAGE alr printenv [options] OPTIONS --details Print details about the environment variables and their origin --unix...
Dear Alire developers, My crate builds an executable. Yet, running ` alr run --list` yields ``` Crate dependency_graph_extractor does not explicitly declares to build any executable However, the following default...
Hi Alire Developers, I wanted to uninstall version 1.2 to use the development branch. However, I got  and next another pop-up with instructions. I followed the instructions, started a...
Dear Alire developers, We are considering whether we should switch to alire for https://github.com/TNO/Renaissance-Ada/ Unfortunately, the documentation of Alire is not yet finished. We ran in a few problems where...
I have installed alr ``` PS C:\path\to\Rejuvenation-Ada\workshop\tests> alr version Alr version: 1.1.2 Alire Library version: 1.1.2 alr status is (valid) (0 releases indexed) (loaded in 0.675s) config folder is C:\Users\nx011987\.config\alire...
I installed alr on a new windows PC. I got ``` ... Please select the gprbuild version for use with this configuration 1. gprbuild=22.0.1 2. None 3. gprbuild=21.0.2 4. gprbuild=21.0.1...
In my old gpr file, the "-s" flag (recompile if compiler switches have changed since last compilation) was added to the Builder: ``` package Builder is ... end Builder; ```...