Commit Graph

398 Commits

Author SHA1 Message Date
Alejandro R Mosteo fdcf29ffd6 ANSI-Ada v0.1 (#115) 2020-05-18 17:54:26 +02:00
Alejandro R Mosteo 79328d12ac Clarify CI check environment (#112)
By adding an empty tag we don't need to show a fake docker on the platforms that are natively checked (windows/macos).
2020-05-11 14:57:51 +02:00
Glen Cornell e0c67512d9 socketcan v1.0 (#114) 2020-05-11 14:37:31 +02:00
Alejandro R Mosteo 5976d7a24d Fix obsolete AdaCore CDN links (#108) 2020-04-24 10:38:55 +02:00
Alejandro R Mosteo b63a28b415 Install msys2's tar before Windows checks (#109) 2020-04-22 12:11:24 +02:00
Alejandro R Mosteo 8989c3eb3e Show detected system crate after installation test (#107) 2020-04-21 20:18:21 +02:00
Alejandro R Mosteo b55434ab92 Index make as a system crate (#106)
Instead of as a detectable tool
2020-04-20 17:32:19 +02:00
Alejandro R Mosteo 9b6b0e15eb New package version in debian stable (#104)
Fix also table syntax
2020-04-07 16:38:10 +02:00
Fabien Chouteau 51faf2f6ec ada_voxel_space_demo: add release v1.0.1 (#99) 2020-04-07 14:15:32 +02:00
Alejandro R Mosteo 66c8fb650d Enable sdlada on MacOS (#105) 2020-04-07 13:58:12 +02:00
Alejandro R Mosteo 9c10a433e4 Deal with externals in crate builder check (#103)
* Simpler changed files detection

* Fixes for crates with system dependencies

* Checks for external crates

* Detect need to update system repositories
2020-04-07 12:48:35 +02:00
JK 2511123b69 update basalt to 0.2.0 (#97) 2020-03-10 21:34:04 +01:00
Alejandro R Mosteo 2b91cef7d2 Workflow to test submitted crate builds (#96) 2020-03-10 21:30:19 +01:00
Alejandro R. Mosteo 1be5c6ca63 Mark Ada system libs as available for FSF GNAT only 2020-02-18 19:05:45 +01:00
Alejandro R. Mosteo 1054e88110 Improved some system crates 2020-02-18 16:10:19 +01:00
Alejandro R. Mosteo 16f7cfd8cd Merge remote-tracking branch 'alire/devel-0.1' into devel-0.2 2020-02-18 09:10:15 +01:00
Alejandro R. Mosteo 3e97de622a Migrated native crates to new system externals 2020-02-18 09:06:39 +01:00
Alejandro R. Mosteo 4f580bb3d5 Placeholder crate for the Ada Web Server 2020-02-17 18:45:23 +01:00
Alejandro R. Mosteo d438d5e98a Template for unavailable package
This can be used to keep track of crates that some projects depend on,
but which still are not available through Alire.
2020-02-17 18:43:55 +01:00
Alejandro R. Mosteo 67fcd64c25 Refactored output-version -> version-output 2020-02-17 18:16:52 +01:00
Alejandro R. Mosteo 74ce906f57 Use gnat as dependency instead of env enum 2020-02-17 17:44:49 +01:00
Alejandro R. Mosteo 6eaeef1578 Externally detected tool by version output
Modified: gnat, make
2020-02-17 17:44:43 +01:00
Alejandro R. Mosteo a14e0cf7cc Bump version for new external syntax 2020-02-17 17:44:11 +01:00
Maxim Reznik d02c240799 Add Ada Modeling framework, SOAP and Servlet server (#88) 2020-02-17 17:19:15 +01:00
Alejandro R. Mosteo 16550dea34 Add Zip-Ada from Gautier de Montmollin 2020-02-17 15:15:14 +01:00
Alejandro R. Mosteo 0daa2eb750 Add Mathpaqs from Gautier de Montmollin 2020-02-14 16:23:31 +01:00
Alejandro R. Mosteo 220ad648fd Add excel_writer from Gautier de Montmollin 2020-02-14 16:19:27 +01:00
Stephane Carrez 8a8bde008e Add Ada Keystore 1.1.0 (#92)
* Add Ada Keystore 1.1.0, add tags and description
2020-02-11 17:27:24 +01:00
Stephane Carrez 2916a566bd Utilada version 2.1.0 (#91)
* Add crate for Ada LZMA library thin binding

* Add crate for Ada Utility Library version 2.0.0
The library is split in several parts so that we can avoid
depending on LZMA, Curl and XML/Ada.  Still missing the HTTP
support with AWS.

* Update to use the git archive with a hash
Use better descriptions for the projects
Avoid copying the Alire GNAT projects and use them in-place

* Update to use the git archive with a hash and the GNAT alire project in-place

* Fix the index version

* Integrate new version 2.1.0, add tags and long description

* Update to add tags, descriptions and new version 2.1.0

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
2020-02-11 17:24:03 +01:00
Vinzent "Jellix" Saranen 2f1909ffd3 Add Saatana v2.0.0 (formerly known as 'security' by HeisenbugLtd) (#90)
* Added "security" library (Heisenbug)

* A collection of formally verified cryptographic algorithms

* Update security.heisenbug.toml

* Fixing: "Tag string not valid"

* SHA256 doesn't seem to be supported?

Try SHA512 instead...

* + Update to v1.0.1

* * Rename to comply with naming convention

* Moved file to proper directory after rename

* - Removed file from old (wrong) location

* - Removed 1.0.0 from version list

1.0.0 is broken, anyway.

* * Fixed typo

For some reason, I put test-phelix as executable name whereas it should have been test_phelix.

* * Heisenbug's Security library has been renamed to Saatana.
2020-02-11 17:03:38 +01:00
Fabien Chouteau be87449d1b Add Ada Bar Codes 2020-01-28 11:51:11 +01:00
Fabien Chouteau cb879c3bb5 Add Generic Image Decoder 2020-01-28 11:51:11 +01:00
Fabien Chouteau 6ef869fbab Add Ada PDF Writer 2020-01-28 11:51:11 +01:00
Fabien Chouteau a79718f471 Add GESTE v1.1.0 2020-01-28 11:45:58 +01:00
Fabien Chouteau ba62d654b7 Add pygamer_bsp and pygamer_simulator 2020-01-28 11:45:58 +01:00
Fabien Chouteau 998d773fe0 Add samd51_hal 2020-01-28 11:45:58 +01:00
Fabien Chouteau e054bc3a70 Add Cortex-M 2020-01-28 11:45:58 +01:00
Fabien Chouteau ad4e6b39d3 Add HAL 2020-01-28 11:45:58 +01:00
Fabien Chouteau c5cdea1884 Add VirtAPU 2020-01-28 11:45:58 +01:00
Maxim Reznik c22267ea83 Add Matreshka XML, SQL, Servlet and FastCGI parts. 2020-01-19 12:48:23 +01:00
Maxim Reznik 39abf9797a Add Matreshka League 18.1 crate 2020-01-13 14:41:29 +01:00
Alejandro R Mosteo e600a0a149 Stephane Carrez's contributions 2020-01-07 19:22:30 +01:00
Stephane Carrez 1aeec6d734 Add crates for Ada Server Faces implementing JSR 252, 314, 344
- serverfaces is the core library which is built on top of servletada
- serverfaces_unit is a library to help in writing unit tests
2020-01-07 19:05:29 +01:00
Stephane Carrez 7acbd4beea Add crates for Servlet libraries implementing JSR 154 and 315
- servletada is the core library (independent of the web server)
- servletada_aws is the servlet support with AWS
- servletada_unit is a library to help in writing servlet unit tests
2020-01-07 19:05:29 +01:00
Stephane Carrez e22c94940c Add crate for Security Library with client/server security framework and OAuth2 support 2020-01-07 19:05:29 +01:00
Stephane Carrez 7484d91e22 Add crate for Ada Expression Library which implements JSR 245 2020-01-07 19:05:29 +01:00
Stephane Carrez b944f73d46 Use the .alire/wikiada.gpr project in place and use the git archive with a hash 2020-01-07 19:03:56 +01:00
Stephane Carrez 0461827b35 Ignore the removal of config.gpr when the file does not exist 2020-01-07 19:03:56 +01:00
Stephane Carrez f0b0e29f85 Add Ada Wiki Engine 1.2.0 crate
This adds the 'wikiada' crate to the index.  This library provides
a small Wiki parser, renderer and generator engine.  It uses 'utilada' crate.
2020-01-07 19:03:56 +01:00
Stephane Carrez 248b150188 Update to use the git archive with a hash and use the Alire GNAT project in-place 2020-01-07 19:03:22 +01:00