Commit Graph

805 Commits

Author SHA1 Message Date
Frédéric Praca f9b2878076 cbsg 0.0.1 (#584) 2022-07-28 18:11:53 +02:00
Stephen Merrony 1005eefb35 dg_loada 1.4.3 (#576)
Add Data General Dump_II file restore utility.

* Library for SimH Standard magnetic tape images

Simh_tape is an Ada package for handling magnetic tape images in the
[standard format](http://simh.trailing-edge.com/docs/simh_magtape.pdf) used by 
[SimH](http://simh.trailing-edge.com/) and many other computer simulators and emulators.

* Remove build-switches

* Fix alire.toml

* Delete simh_tapes-0.1.1-dev.toml

* Add Data General Dump_II file restore utility.

* Restrict to non-Windows OSes

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2022-07-28 13:12:01 +02:00
Frédéric Praca 84428d59c7 postgresql external: add Arch support (#583) 2022-07-28 11:03:06 +02:00
Blady-Com ce0a741956 uxstrings support for gnat > 11 (#582) 2022-07-28 10:41:07 +02:00
Fabien Chouteau 4ded60916f gnat, gnatprove 12.1.1 (#550)
* gnatprove-12.1.1

* Update gnatprove-12.1.1.toml

* Update gnatprove-12.1.1.toml

* GNAT and GNATprove 12.1.1

* Update gnat_riscv64_elf-12.1.1.toml

* Update gnat_native-12.1.1.toml

* GNAT FSF 12.1.2

* Update gnat_native-12.1.2.toml
2022-07-27 11:28:24 +02:00
Fabien Chouteau 291704c6c3 aws 21.0.0: enable openssl on Linux/macOS and release builds (#573) 2022-07-25 17:11:52 +02:00
Blady-Com 4cceb704dc macOS support for gmp via external command (#577)
Tested with MacPorts (gmp).
2022-07-25 10:06:13 +02:00
nytpu 058c9d073d getopt 2.0.0 (#574) 2022-07-23 12:00:10 +02:00
Fabien Chouteau 1e8637173e xmlada 21.0.0: fix post-fetch configure (#572)
* xmlada-21.0.0: fix post-fetch configure

Fix configure

* xmlada-22.0.0: fix post-fetch configure
2022-07-22 18:43:36 +02:00
Alejandro R Mosteo 23ba528593 Separate check scripts to their own repository (#567)
* Remove scripts

* Update workflows to use checks repo

* Add explanation about naming of base branch

This only concerns private tests with PRs created against a base branch in
another non-official repo.

* Fix checkout paths

* Move TESTING to a less confusing location
2022-07-21 12:25:39 +02:00
nytpu 41589135c3 lmdb_ada 1.1.0 (#569)
* lmdb_ada 1.0.1

* lmdb_ada 1.0.1 -> 1.1.0
2022-07-20 17:51:28 +02:00
Alejandro R Mosteo 5fe1ac673c wordle 0.1.1, wordlelib 0.1.0 (#561)
* wordlelib 0.1.0

* wordle 0.1.1

* Fix metadata names

* Enable -d (that should be already working but...)

* Remove problematic metadata

* Remove script modification

Co-authored-by: GHA <actions@github.com>
2022-07-20 14:26:13 +02:00
Maxim Reznik d91257541f Spawn repo was moved to AdaCode account. (#571)
I have created an old release there and uploaded files under it.
2022-07-20 09:59:29 +02:00
Fabien Chouteau 7b7c753344 gnatcoll 22.0.0: set build mode to PROD (#570) 2022-07-19 10:37:01 +02:00
Blady-Com c4b895b760 More macOS support for simple_components (#565) 2022-07-18 13:19:58 +02:00
Stephen Merrony bee92953b8 Library for SimH Standard magnetic tape images (#568)
* Library for SimH Standard magnetic tape images

Simh_tape is an Ada package for handling magnetic tape images in the
[standard format](http://simh.trailing-edge.com/docs/simh_magtape.pdf) used by 
[SimH](http://simh.trailing-edge.com/) and many other computer simulators and emulators.

* Remove build-switches

* Fix alire.toml

* Delete simh_tapes-0.1.1-dev.toml

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2022-07-14 17:29:59 +02:00
Maxim Reznik 3dc3a3bf81 Fix templates_parser to work with GCC 12 (#563)
Force `PRJ_BUILD` to `Release` to avoid `-gnatwe` and compilation issue:

```
templates_parser.adb:2093:55: warning: pragma Unreferenced given for "Next_Last" [enabled by default]
```
2022-07-05 09:24:56 +02:00
Blady-Com 128741301c Add automaton generator to Alire. (#566) 2022-07-04 10:43:17 +02:00
onox 6d242cc550 evdev 2.0.1 (#564) 2022-07-01 10:00:30 +02:00
Alejandro R Mosteo fab9b9953e Ensure aliases work within non-interactive shell (#562)
Co-authored-by: GHA <actions@github.com>
2022-06-24 13:51:58 +02:00
Alejandro R Mosteo 63d9347fc2 wordlist 0.1.3 (#560)
* wordlist 0.1.3

* Fix gnat dependency

Co-authored-by: GHA <actions@github.com>
2022-06-23 19:21:27 +02:00
Fabien Chouteau 1452ad5f47 nrf5x_hal 0.1.0: fix dependencies (#551)
* nrf5x-hal-0.1.0: fix dependencies

`~` was intended here and required since `cortex_m=0.4.0` is breaking the builds.

* Update microbit_examples-0.1.0.toml

* Update nrf5x_hal-0.1.0.toml
2022-06-23 11:36:12 +02:00
Alejandro R Mosteo f32a75e445 Update docker images used in test workflow (#558)
Remove Community Edition tests, switch centOS to the rolling stream release
with alr-provided FSF GNAT, add Fedora that was lying unused.

Co-authored-by: GHA <actions@github.com>
2022-06-23 11:34:25 +02:00
Alejandro R Mosteo 69e6ae18f7 Fix detection of compiler crates in test script (#556)
* Be a bit more clever detecting a compiler dependency

* Work around premature closing of pipe

Co-authored-by: GHA <actions@github.com>
2022-06-23 11:33:40 +02:00
Fabien Chouteau 452ab8f14d Fix xmlada 21 on Windows (#559) 2022-06-23 11:21:53 +02:00
Alejandro R Mosteo 27bff3341a Disable git check in testing script (#557)
* Disable git checks for dir ownership

* Document the vulnerabilities requiring the change

Co-authored-by: GHA <actions@github.com>
2022-06-23 11:20:53 +02:00
nytpu ab2fca430f tlsada 2.4.2 (#548) 2022-06-21 19:05:37 +02:00
Simon Wright 245294cf39 gnat_math_extensions 1.1.0 (#547)
* gnat_math_extensions 1.1.0 - first Alire release (the project started
  in 2010).
2022-06-21 17:49:01 +02:00
Alejandro R Mosteo 81259d3622 iterators 0.2.0 (#549) 2022-06-20 13:47:13 +02:00
Gautier de Montmollin a7df70abef Create hac-0.11.0.toml (#555)
* Create hac-0.11.0.toml

* Update hac-0.11.0.toml

Shortened description (<= 72 characters)
2022-06-20 10:27:38 +02:00
Maxim Reznik d8afd1e41a Annex E: garlic and gnatdist (#553) 2022-06-20 10:24:03 +02:00
pjljvandelaar d99d85c4d3 dependency_graph_extractor, rewriters 22.0.0 (#546)
* Dependency Graph Extractor 22.0.0

* Rewriters 22.0.0

First release
2022-06-12 12:07:57 +02:00
Fabien Chouteau af208985b2 littlefs-0.2.0 (#544) 2022-06-11 10:47:26 +02:00
Alejandro R Mosteo bb87191788 aaa 0.2.6 (#541) 2022-06-10 10:22:59 +02:00
pjljvandelaar 6cae5f79c6 rejuvenation 22.0.1 (#542) 2022-06-10 09:49:29 +02:00
Alejandro R Mosteo 61823acf95 Fix debug output and x-compiler detection (#540)
* Enable -d switch in all alr runs

* Enable output of bash line being executed

* Fix x-compiler detection

Co-authored-by: GHA <actions@github.com>
2022-06-09 20:51:03 +02:00
Fabien Chouteau 09f6594b2d cortex_m 0.4.0 (#538) 2022-06-09 11:32:00 +02:00
Alejandro R Mosteo bba08c1366 Build submissions in release mode (#539)
Co-authored-by: GHA <actions@github.com>
2022-06-09 11:03:33 +02:00
Alejandro R Mosteo 6372f28e6c clic 0.2.1 (#536) 2022-06-08 10:20:42 +02:00
Alejandro R Mosteo c0c9eabf68 Fix testing of monorepo crates (#520)
* Use get --dirname to enter the retrieved crate

* Improve log message about deployment dir

Co-authored-by: GHA <actions@github.com>
2022-06-07 18:12:41 +02:00
Alejandro R Mosteo f3462c9a34 minirest 0.2 (#528)
* minirest 0.2

* Update commit
2022-06-07 18:03:07 +02:00
Jeremy Grosser 3c5eedcae8 rp2040_hal, pico_bsp, pico_examples 1.6.0 (#534) 2022-06-07 11:07:42 +02:00
Fabien Chouteau ec765d3114 midi 0.2.0 (#522)
* MIDI 0.2.0

* Update midi-0.2.0.toml

* Update midi-0.2.0.toml
2022-06-07 10:59:53 +02:00
Fabien Chouteau e077b78c84 usb_embedded 0.3.0 (#535) 2022-06-07 10:58:05 +02:00
Blady-Com bb1ef01832 Add J2Ada translator to Alire. (#532)
* Add J2Ada translator to Alire.

* Suppress offending -gnateA switch for old GNAT version.
2022-06-07 10:40:01 +02:00
Alejandro R Mosteo a38d7c12c6 uri_ada 2.0 (#531)
* uri_ada 1.1.0

* Skip 1.1 to 2.0
2022-06-07 10:39:23 +02:00
Alejandro R Mosteo 86437429b1 toml_slicer 0.1.1 (#530)
* toml_slicer 0.1.1

* Update commit
2022-06-07 10:38:00 +02:00
Alejandro R Mosteo 165688ed7f ansiada 1.0 (#527)
* ansiada 0.1.1

* Skip 0.1.1 and go directly to 1.0

* Fix manifest filename
2022-06-07 10:36:42 +02:00
Alejandro R Mosteo e09241a7f5 stopwatch 0.1 (#529)
* stopwatch 0.1

* Update commit

* Enable config
2022-06-07 10:36:28 +02:00
nytpu 6f47f0cf1b getopt 1.2.2, libtls external, linenoise_ada 1.1.1, tlsada 2.4.1, uri_mime 1.3.1 (#524)
* Publish TLSAda v2.3.1 release

* Publish Linenoise_Ada v1.0.1 release

* Publish URI_MIME v1.3.0 release

* Publish Getopt v1.2.1 release

* linenoise 1.0.1 -> 1.0.2

* getopt 1.2.1 -> 1.2.2

* linenoise 1.0.2 -> 1.1.0

* tlsada 2.3.1 -> 2.4.0

* Linenoise 1.1.0 -> 1.1.1

* tlsada 2.4.0 -> 2.4.1

* URI_MIME 1.3.0 -> 1.3.1

* Add libtls external definition

* libtls: shorten overly-long description

* libtls: Remove listing specifying conflicting system packages.
2022-06-06 20:56:47 +02:00