9 Commits

Author SHA1 Message Date
Vinzent "Jellix" Saranen
d922439249 Fixed CI build
Well, I hope it's fixed. We were still checking out the wrong (old) version of SI_Units.
2020-10-17 02:14:15 +02:00
Vinzent "Jellix" Saranen
99f75f7e45 Remove sudo. 2020-07-10 21:39:25 +02:00
Vinzent "Jellix" Saranen
b611d24bf9 Use fixed (latest) version of SI_Units 2020-07-10 20:49:31 +02:00
Vinzent "Jellix" Saranen
6f9777996d sudo gprinstall
gprinstall fails to install in /usr/lib, let's give sudo a try
2020-07-10 18:39:57 +02:00
Vinzent "Jellix" Saranen
604780249b Take bleeding edge of SI_Units 2020-07-10 18:31:57 +02:00
Vinzent "Jellix" Saranen
1c82060888 * Use 'git diff --no-index' instead of 'diff'. 2020-06-11 13:06:35 +02:00
Vinzent "Jellix" Saranen
349b1cba1f * Disabled the now unnecessary reinstall of SI_Units library. 2020-06-10 13:19:24 +02:00
Vinzent "Jellix" Saranen
944c3b3a00 Test scripts (#14)
* New set of regression tests (with static fake projects).
2020-06-06 21:34:57 +02:00
Vinzent "Jellix" Saranen
7a25e84f94 Build scripts (#12)
* Added a set of build scripts.
  Things to do:
    Install GNATColl for the currently disabled images.
    Add proper tests.
2020-06-05 00:32:52 +02:00