Compare commits

..

1 Commits

Author SHA1 Message Date
Maxim Reznik 95932416f0 Add jupyter_kernel (#169) 2020-10-14 13:23:46 +02:00
247 changed files with 357 additions and 1694 deletions
+5 -16
View File
@@ -19,7 +19,6 @@ jobs:
- ubuntu-latest
- windows-latest
tag:
- arch-rolling
- centos-latest-community-latest
- community-current
- debian-stable
@@ -28,8 +27,6 @@ jobs:
exclude: # inclusions don't allow to add arrays of values to a scenario
- os: ubuntu-latest
tag: ""
- os: macos-latest
tag: arch-rolling
- os: macos-latest
tag: centos-latest-community-latest
- os: macos-latest
@@ -38,8 +35,6 @@ jobs:
tag: debian-stable
- os: macos-latest
tag: ubuntu-lts
- os: windows-latest
tag: arch-rolling
- os: windows-latest
tag: centos-latest-community-latest
- os: windows-latest
@@ -61,23 +56,18 @@ jobs:
- name: Set up GNAT toolchain (FSF)
if: matrix.os == 'ubuntu-latest'
uses: ada-actions/toolchain@ce2020
uses: ada-actions/toolchain@dev
with:
distrib: fsf # faster install?
- name: Set up GNAT toolchain (Community)
if: matrix.os != 'ubuntu-latest'
uses: ada-actions/toolchain@ce2020
uses: ada-actions/toolchain@dev
with:
distrib: community
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@latest-stable
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@latest-devel
- name: Set up `alr`
uses: mosteo/setup-alire@exp
- name: Test crate (Linux)
if: matrix.os == 'ubuntu-latest' # docker testing only for linuxes
@@ -85,11 +75,10 @@ jobs:
with:
image: alire/gnat:${{matrix.tag}}
command: scripts/gh-build-crate.sh
params: -v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr
- name: Set up msys2 (Windows)
if: matrix.os == 'windows-latest'
run: ./alire_install/bin/alr --non-interactive version
run: ./alire/bin/alr --non-interactive version
- name: Install tar from msys2 (Windows) # Git tar in Actions VM does not seem to work)
if: matrix.os == 'windows-latest'
+2 -20
View File
@@ -5,29 +5,11 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
- uses: alire-project/check-author@master
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
- name: Set up stable `alr`
if: contains(github.base_ref, 'stable-')
uses: alire-project/setup-alire@latest-stable
- name: Set up GNAT for devel `alr`
if: contains(github.base_ref, 'devel-')
uses: ada-actions/toolchain@ce2020
with:
distrib: fsf
- name: Set up devel `alr`
if: contains(github.base_ref, 'devel-')
uses: alire-project/setup-alire@latest-devel
- uses: alire-project/setup-alire@dev
- run: alr index --list
- run: alr index --add=. --name=local_index
- run: alr index --update-all
- run: alr search --crates
- run: alr list
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Alex's Ada Assortment (of miscellaneous utilities)"
name = "aaa"
version = "0.1.0"
authors = ["Alejandro R. Mosteo"]
licenses = "LGPL-3.0-only"
licenses = ["LGPL 3.0"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
-26
View File
@@ -1,26 +0,0 @@
name = "aaa"
version = "0.2.1"
description = "Alex's Ada Assortment (of miscellaneous utilities)"
long-description = """
Alex's Ada Assortment of Utilities
- Text formatting (paragraphs, tables).
- Indefinite containers.
- Enumeration validity/conversions of string images.
- On-demand stack backtraces.
- String vectors.
- Simple subprocess spawning.
"""
authors = ["Alejandro R. Mosteo"]
licenses = "LGPL-3.0-only"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
tags = ["miscellanea", "utility"]
website = "https://github.com/mosteo/aaa"
[origin]
commit = "103f0d1954aa1181542baa939bae44ca98bff05f"
url = "git+https://github.com/mosteo/aaa.git"
+1 -1
View File
@@ -11,7 +11,7 @@ maintainers = ["Nicolai Ruckel <nicolai.ruckel@uni-weimar.de>"]
maintainers-logins = [
"NicolaiRuckel", "medsec"
]
licenses = "GPL-3.0-only"
licenses = ["GPL 3.0"]
project-files = ["ada_fuse.gpr"]
[gpr-externals]
+1 -1
View File
@@ -11,7 +11,7 @@ maintainers = ["Nicolai Ruckel <nicolai.ruckel@uni-weimar.de>"]
maintainers-logins = [
"NicolaiRuckel", "medsec"
]
licenses = "GPL-3.0-only"
licenses = ["GPL 3.0"]
project-files = ["ada_fuse.gpr"]
[gpr-externals]
-17
View File
@@ -1,17 +0,0 @@
name = "ada_lua"
description = "An Ada binding for lua"
version = "0.1.0"
authors = ["Nicolas Roche <roche@adacore.com>"]
maintainers = ["Nicolas Roche <roche@adacore.com>"]
maintainers-logins = ["Nikokrock", "Fabien-Chouteau"]
website = "https://github.com/adacore/ada-lua"
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
tags = ["lua", "binding", "script"]
[[depends-on]]
liblua = "~5.3"
[origin]
commit = "0aa4afc28577adf5106d6bd13bed6a086b6e9a8c"
url = "git+https://github.com/AdaCore/ada-lua.git"
+1 -1
View File
@@ -3,7 +3,7 @@ name = "ada_pretty"
version = "1.0.0"
website = "https://github.com/reznikmm/ada-pretty/"
authors = ["Maxim Reznik"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/ada_pretty.gpr"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "TOML parser for Ada "
name = "ada_toml"
version = "0.1.0"
authors = ["AdaCore", "Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
licenses = "BSD-3-Clause"
licenses = ["BSD 3-Clauses"]
maintainers = ["pmderodat@kawie.fr"]
maintainers-logins = ["pmderodat"]
project-files = ["ada_toml.gpr"]
@@ -2,7 +2,7 @@ description = "Voxel Space render engine demo in Ada"
name = "ada_voxel_space_demo"
version = "1.0.0"
executables = ["main"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["ada_voxel_space_demo.gpr"]
@@ -2,7 +2,7 @@ description = "Voxel Space render engine demo in Ada"
name = "ada_voxel_space_demo"
version = "1.0.1"
executables = ["main"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["ada_voxel_space_demo.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ name = "adayaml"
version = "0.2.0"
website = "https://ada.yaml.io/"
authors = ["Felix Krause"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
project-files = ["yaml.gpr", "yaml-utils.gpr"]
+1 -1
View File
@@ -4,7 +4,7 @@ version = "0.3.0"
website = "https://ada.yaml.io/"
authors = ["Felix Krause"]
executables = ["yaml-server"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
project-files = ["yaml.gpr", "yaml-utils.gpr", "yaml-annotation_processor.gpr", "yaml-server.gpr"]
@@ -13,7 +13,7 @@ Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
name = "adl_middleware"
version = "0.1.0"
licenses = "BSD-3-Clause"
licenses = ["BSD 3-Clauses"]
authors=["AdaCore"]
website="https://github.com/AdaCore/Ada_Drivers_Library/"
maintainers = ["chouteau@adacore.com"]
+1 -1
View File
@@ -1,7 +1,7 @@
description = "Ada Database Objects (Core library)"
name = "ado"
version = "2.0.0"
licenses = "Apache-2.0"
licenses = ["Apache 2.0"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/ado.gpr"]
@@ -1,7 +1,7 @@
description = "Ada Database Objects (PostgreSQL)"
name = "ado_postgresql"
version = "2.0.0"
licenses = "Apache-2.0"
licenses = ["Apache 2.0"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/postgresql/ado_postgresql.gpr"]
+1 -1
View File
@@ -1,7 +1,7 @@
description = "Ada Database Objects (SQLite)"
name = "ado_sqlite"
version = "2.0.0"
licenses = "Apache-2.0"
licenses = ["Apache 2.0"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/sqlite/ado_sqlite.gpr"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Ada General Purpose Library with a robotics flavor"
name = "agpl"
version = "1.0.0"
authors = ["alejandro@mosteo.com"]
licenses = "LGPL-3.0-only"
licenses = ["LGPL 3.0"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
-74
View File
@@ -1,74 +0,0 @@
description = "Ada Industrial Control Widgets Library"
long-description = """
This crate provides a library for designing high-quality industrial control
widgets for Ada applications. The software is based on
[GtkAda](https://docs.adacore.com/live/wave/gtkada/html/gtkada_rm/index.html),
Ada bindings to [Gtk+](https://www.gtk.org/), and
[cairo](https://www.cairographics.org/manual/index.html).
The key features of the library are:
* Widgets composed of transparent layers drawn by cairo
* Fully scalable graphics
* Support of time controlled refresh policy for real-time and heavy-duty applications
* Caching graphical operations
* Stream I/O support for serialization and deserialization
* Ready-to-use gauge, meter, oscilloscope widgets
* Editor widget for WYSIWYG design of complex dashboards
For further information, visit the
[AICWL website](http://www.dmitry-kazakov.de/ada/aicwl.htm).
Maintainer's note:
This Alire crate is packaged in a rather minimalistic way to keep dependencies
on external libraries at a minimum. The crate's definition covers the core
functionality of AICWL, though, so it should be sufficient for most needs.
For example, the original distribution has references to
[Simple Components](http://www.dmitry-kazakov.de/ada/components.htm) which are
not strictly necessary for the core functionality of the library.
"""
name = "aicwl"
version = "3.24.1"
authors = ["Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>"]
website = "http://www.dmitry-kazakov.de/ada/aicwl.htm"
# GMGPLaccording to website (http://www.dmitry-kazakov.de/ada/aicwl.htm)
# LGPL according to sourceforge (https://sf.net/projects/aicwl)
licenses = "GPL-2.0-or-later WITH GCC-exception-2.0"
maintainers = ["Vinzent \"Jellix\" Saranen <vinzent@heisenbug.eu>"]
maintainers-logins = ["Jellix"]
project-files = ["sources/aicwl.gpr", # The library itself
"sources/aicwl-editor.gpr" # UI editor component
# Examples and tests omitted here
]
tags = ["widgets", "gauge", "graphics", "ui", "gtk"]
[gpr-externals]
Legacy = ["Ada95", "Ada2005", "Ada2012"] # defaults to "Ada2012"
Development = ["Debug", "Release", "Profile"] # defaults to "Debug"
# Target_OS = ["Windows", "Windows_NT", "Linux", "UNIX", "OSX", "FreeBSD", "auto"]
# arch = ["x86_64", "i686", "armhf", "aarch64", "auto"]
#
# Note: Arch and Target_OS are determined automatically from Project'Target, so
# no need to have them set explicitely.
#
# Object_Dir = [".", "nested"]
#
# Note: Object_Dir works as follows: If it's ".", it will remain so, if it's
# "nested", Object_Dir will become roughly obj/{OS}/{arch}/{Development},
# e.g. "obj/linux/x86_64/debug", all other cases result in Object_Dir
# being unchanged.
# Hence we should leave it as is (the default is "."), trusting Alire to
# set an appropriate one.
[[depends-on]]
gtkada = ">=17"
[origin]
commit = "73939c9ed0be13a994728d1c362b945e5d131f19"
url = "git+https://github.com/HeisenbugLtd/aicwl.git"
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Generator of JUnit-compatible XML reports"
name = "ajunitgen"
version = "1.0.0"
authors = ["Alejandro R. Mosteo"]
licenses = "LGPL-3.0-only"
licenses = ["LGPL 3.0"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -3,7 +3,7 @@ version = "1.0.1"
description = "Generator of JUnit-compatible XML reports"
authors = [ "Alejandro R. Mosteo", ]
licenses = "LGPL-3.0-only"
licenses = [ "LGPL 3.0", ]
maintainers = [ "alejandro@mosteo.com", ]
maintainers-logins = [ "mosteo", ]
+1 -1
View File
@@ -3,7 +3,7 @@ name = "anagram"
version = "1.0.0"
website = "https://github.com/reznikmm/anagram"
authors = ["Maxim Reznik"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/anagram.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ long-description = "# ANSI-Ada\n\n[![Alire indexed](https://img.shields.io/badge
name = "ansiada"
version = "0.1.0"
executables = ["ansi-demo"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
project-files = ["ansi.gpr"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Standalone, portable package for producing dynamically PDF docume
name = "apdf"
version = "5.0.0"
authors = ["Gautier de Montmollin"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["pdf_out_gnat.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ name = "asis"
version = "2017.0.0"
website = "https://www.adacore.com/download/more"
authors = ["AdaCore"]
licenses = "GPL-3.0-only"
licenses = ["GPL 3.0"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
project-files = ["asis.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ name = "asis"
version = "2018.0.0"
website = "https://www.adacore.com/download/more"
authors = ["AdaCore"]
licenses = "GPL-3.0-only"
licenses = ["GPL 3.0"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
project-files = ["asis.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ name = "asis"
version = "2019.0.0"
website = "https://www.adacore.com/download/more"
authors = ["AdaCore"]
licenses = "GPL-3.0-only"
licenses = ["GPL 3.0"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
project-files = ["asis.gpr"]
-15
View File
@@ -1,15 +0,0 @@
name = "atomic"
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
version = "0.1.0"
licenses = "MIT"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
website = "https://github.com/Fabien-Chouteau/atomic"
tags = ["atomic", "spark", "embedded", "nostd"]
[origin]
commit = "1951459d24343b55dc814d257447756a18b149cd"
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
-15
View File
@@ -1,15 +0,0 @@
name = "atomic"
description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
version = "0.2.0"
licenses = "MIT"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
website = "https://github.com/Fabien-Chouteau/atomic"
tags = ["atomic", "spark", "embedded", "nostd"]
[origin]
commit = "e5c679bd6e2a11ea4bc37ad56e4b33907bd11ce2"
url = "git+https://github.com/Fabien-Chouteau/atomic.git"
-17
View File
@@ -1,17 +0,0 @@
description = "Ada unit test framework"
name = "aunit"
version = "21.0.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["lib/gnat/aunit.gpr"]
tags=["unit", "test", "unit-test"]
[gpr-externals]
AUNIT_BUILD_MODE = ["Devel", "Install"]
AUNIT_RUNTIME = ["full", "zfp", "zfp-cross", "ravenscar", "ravenscar-cert", "cert"]
[origin]
url="https://github.com/AdaCore/aunit/archive/v21.0.0.zip"
hashes=['sha512:d6561681375167650aa357b9263a9c810093be8fc4d3fabfd1811dffa81d2b84b7065812bd4ba5a86988b1dc30549e9d72a06c64c5c91646929b96cbec5d4fe8']
-45
View File
@@ -1,45 +0,0 @@
description = "Ada Web Server"
website = "https://github.com/adacore/aws"
name = "aws"
version = "21.0.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["install_dir/share/gpr/aws.gpr"]
tags = ["aws", "web", "server", "http", "https", "soap", "wsdl", "ssl"]
# Since the AWS project doesn't build alone with just gprbuild we build and
# install with the Makefile from post-fetch action.
[[actions]]
type = "post-fetch"
command = ["make", "setup", "build", "install", "ZLIB=false", "DEMOS=false",
"LAL=false", "XMLADA=false", "prefix=install_dir"]
[[depends-on]]
make = "*"
xmlada = "~21.0.0"
gnat = ">=9"
[gpr-externals]
LIBRARY_TYPE = ["static", "relocatable"]
PRJ_BUILD = ["Debug", "Release"]
PRJ_SOCKLIB = ["gnat", "ipv6", "ipv4"]
PRJ_TARGET = ["Windows_NT", "UNIX", "Darwin", "vxworks", "freebsd"]
[gpr-set-externals]
PRJ_LAL="Disabled"
[gpr-set-externals."case(os)".linux]
PRJ_TARGET = "UNIX"
TARGET = "x86_64-linux-gnu"
[gpr-set-externals."case(os)".macos]
PRJ_TARGET = "Darwin"
[gpr-set-externals."case(os)".windows]
PRJ_TARGET = "Windows_NT"
[origin]
url= "https://github.com/AdaCore/aws/releases/download/v21.0.0/aws-21.0.0.zip"
hashes=["sha512:57fddf8f59e39a08822ae2d0640ade3e3e3e9a7c76c06007c7df5a07e3b59cc7c9be001bfaeb10d64db924f343688f6a72deba175315d4d02d913c307070a635"]
+17
View File
@@ -0,0 +1,17 @@
description = "Ada Web Server"
name = "aws"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
[[external]]
hint = "Available through GNAT CE bundles"
kind = "hint"
[external.available."case(toolchain)"]
system = false
[[external]]
kind = "system"
origin = ["libaws3.3.2.2-dev"]
[external.available."case(toolchain)"]
user = false
+1 -1
View File
@@ -1,7 +1,7 @@
description = "XMPP client library in Ada"
name = "axmpp"
version = "1.0.0"
licenses = "BSD-3-Clause"
licenses = ["BSD 3-Clauses"]
authors = ["Alexander Basov", "Vadim Godunko"]
website = "https://github.com/coopht/axmpp"
maintainers = ["Alexander Basov <coopht@gmail.com>", "Max Reznik <reznikmm@gmail.com>"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Generate various types of bar codes on different output formats"
name = "bar_codes"
version = "2.0.0"
authors = ["Gautier de Montmollin"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["bar_codes_gnat.gpr"]
+1 -1
View File
@@ -1,7 +1,7 @@
description = "Collection of formally verified building blocks"
name = "basalt"
version = "0.1.0"
licenses = "AGPL-3.0-only"
licenses = ["AGPL 3.0"]
maintainers = ["kliemann@componolit.com"]
maintainers-logins = ["jklmnn"]
+1 -1
View File
@@ -1,7 +1,7 @@
description = "Collection of formally verified building blocks"
name = "basalt"
version = "0.2.0"
licenses = "AGPL-3.0-only"
licenses = ["AGPL 3.0"]
maintainers = ["kliemann@componolit.com"]
maintainers-logins = ["jklmnn"]
-22
View File
@@ -1,22 +0,0 @@
name = "bbqueue"
description = "DMA friendly lock-free BipBuffer"
version = "0.1.0"
licenses = "MIT"
authors = ["Fabien Chouteau"]
maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
maintainers-logins = ["Fabien-Chouteau"]
tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
long-description = """An Ada/SPARK proved implementation of James Munns'
BBQueue (https://github.com/jamesmunns/bbqueue)"""
[[depends-on]]
atomic = "*"
gnat = ">=10"
[origin]
commit = "3dcd159c39599d490c5ec5a71410ec58ccbbb873"
url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Convenience subprograms to interact with C strings"
name = "c_strings"
version = "1.0.0"
authors = ["Alejandro R. Mosteo"]
licenses = "LGPL-3.0-only"
licenses = ["LGPL 3.0"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)"
long-description = "# cortex-m\nAda drivers for the peripherals of ARM Cortex-M micro-controllers (NVIC,\nSysTick, etc.)\n\nThis crate is a snapshot of the `Cortex-M` support in [Ada Drivers\nLibrary](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).\nAny bug report, issue, contribution must be adressed to the [Ada Drivers\nLibrary](https://github.com/AdaCore/Ada_Drivers_Library/) repo.\n"
name = "cortex_m"
version = "0.1.0"
licenses = "BSD-3-Clause"
licenses = ["BSD 3-Clauses"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["cortex_m0.gpr", "cortex_m4.gpr", "cortex_m4f.gpr", "cortex_m7.gpr"]
+1 -1
View File
@@ -14,7 +14,7 @@ Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
name = "cortex_m"
version = "0.2.0"
licenses = "BSD-3-Clause"
licenses = ["BSD 3-Clauses"]
authors=["AdaCore"]
website="https://github.com/AdaCore/Ada_Drivers_Library/"
maintainers = ["chouteau@adacore.com"]
-33
View File
@@ -1,33 +0,0 @@
description = "Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)"
long-description = '''# cortex-m
Ada drivers for the peripherals of ARM Cortex-M micro-controllers
(NVIC,\nSysTick, etc.)
This crate is a snapshot of the `Cortex-M` support in [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).
Any bug report, issue, contribution must be adressed to the [Ada Drivers
Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
'''
name = "cortex_m"
version = "0.3.0"
licenses = "BSD-3-Clause"
authors=["AdaCore"]
website="https://github.com/AdaCore/Ada_Drivers_Library/"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["cortex_m0.gpr", "cortex_m4.gpr", "cortex_m4f.gpr", "cortex_m7.gpr"]
tags = ["embedded", "arm", "nostd"]
auto-gpr-with=false # User has to select only one project file
[[depends-on]]
hal = "^0.1.0"
[origin]
commit = "2ed1d3d3324385f9f2183cfb9f562bb215d7a509"
url = "git+https://github.com/Fabien-Chouteau/cortex-m.git"
-15
View File
@@ -1,15 +0,0 @@
name = "curl"
description = "Command-line tool for transferring data with URL syntax"
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"..." = ["curl"]
[[external]]
kind = "version-output"
version-command = ["curl", "--version"]
version-regexp = '^curl ([\d\.?]+).*'
-17
View File
@@ -1,17 +0,0 @@
name = "dcf"
description = "Ada 2012 library for document container files, a Zip-based format"
long-description = "An Ada 2012 library for document container files, a Zip-based archive format standardized in ISO/IEC 21320-1:2015"
version = "2.0.2"
website = "https://github.com/onox/dcf-ada"
licenses = "MIT"
tags = ["zip", "document", "container"]
authors = ["onox", "Gautier de Montmollin"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
[origin]
hashes = [
"sha512:9ba2652fb7ac8b2768a8c3f9b56a0f643572411f56c29b1bed3f426042750657d3edfe5fc203176f9a3a6ef1e4c82a6b883c102f5f810209afdccb303d48258f",
]
url = "https://github.com/onox/dcf-ada/releases/download/v2.0.2/dcf-2.0.2.tgz"
-15
View File
@@ -1,15 +0,0 @@
name = "dotenv"
description = "Loads environment variables from .env for Ada projects."
version = "1.0.0"
authors = ["Heziode"]
maintainers = ["Heziode <heziode@protonmail.com>"]
maintainers-logins = ["Heziode"]
licenses = "BSD-2-Clause"
website = "https://github.com/Heziode/ada-dotenv"
tags = ["dotenv", "env", "environment", "variables", "config", "settings"]
[origin]
commit = "a19c7797b88954d90e3b11bc003eca0d262f3a39"
url = "git+https://github.com/Heziode/ada-dotenv.git"
@@ -1,14 +1,14 @@
description = "Apollo 11 lunar lander simulator"
name = "eagle_lander"
version = "1.2.0"
licenses = "GPL-3.0-only"
licenses = ["GPL 3.0"]
maintainers = ["fabien.choutea@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["eagle_lander.gpr"]
tags = ["simulator", "game", "gtk"]
[[depends-on]]
gtkada = "^21"
gtkada = "^17"
[origin]
url = "https://github.com/Fabien-Chouteau/eagle-lander/releases/download/v1.2/eagle_lander-1.2.zip"
+1 -1
View File
@@ -1,7 +1,7 @@
description = "Expression Language Library (JSR245)"
name = "elada"
version = "1.7.0"
licenses = "Apache-2.0"
licenses = ["Apache 2.0"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/elada.gpr"]
@@ -13,7 +13,7 @@ Library](https://github.com/AdaCore/Ada_Drivers_Library/) repo.
name = "embedded_components"
version = "0.1.0"
licenses = "BSD-3-Clause"
licenses = ["BSD 3-Clauses"]
authors=["AdaCore"]
website="https://github.com/AdaCore/Ada_Drivers_Library/"
maintainers = ["chouteau@adacore.com"]
@@ -2,7 +2,7 @@ description = "Produce Excel spreadsheets"
name = "excel_writer"
version = "17.0.1"
authors = ["Gautier de Montmollin"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo", "zertovitch"]
project-files = ["excel_out_gnat.gpr"]
+1 -1
View File
@@ -5,7 +5,7 @@ name = "geste"
version = "1.0.0"
website = "https://github.com/Fabien-Chouteau/GESTE"
authors = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
licenses = "BSD-3-Clause"
licenses = ["BSD 3-Clauses"]
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["geste.gpr"]
+1 -1
View File
@@ -5,7 +5,7 @@ name = "geste"
version = "1.1.0"
website = "https://github.com/Fabien-Chouteau/GESTE"
authors = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
licenses = "BSD-3-Clause"
licenses = ["BSD 3-Clauses"]
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["geste.gpr"]
@@ -3,7 +3,7 @@ name = "geste_examples"
version = "1.0.0"
website = "https://github.com/Fabien-Chouteau/GESTE-examples"
authors = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
licenses = "BSD-3-Clause"
licenses = ["BSD 3-Clauses"]
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["platformer/platformer.gpr", "RPG/RPG.gpr", "racing/racing.gpr"]
@@ -3,7 +3,7 @@ name = "geste_examples"
version = "1.0.1"
website = "https://github.com/Fabien-Chouteau/GESTE-examples"
authors = ["Fabien Chouteau <fabien.chouteau@gmail.com>"]
licenses = "BSD-3-Clause"
licenses = ["BSD 3-Clauses"]
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["platformer/platformer.gpr", "RPG/RPG.gpr", "racing/racing.gpr"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Decoding a broad variety of image formats"
name = "gid"
version = "9.0.0"
authors = ["Gautier de Montmollin"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["gid.gpr"]
+1 -1
View File
@@ -1,6 +1,6 @@
description = "OpenGL Utility Toolkit"
name = "glut"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -1,6 +1,6 @@
description = "GNAT is a compiler for the Ada programming language"
name = "gnat"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+34
View File
@@ -0,0 +1,34 @@
description = "GNAT Components Collection - Core packages"
name = "gnatcoll"
version = "2018.0.0"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
project-files = ["gnatcoll-core-gpl-2018-src/gnatcoll.gpr"]
[[depends-on]]
gnat = "^2018"
[gpr-externals]
BUILD = ["DEBUG", "PROD"]
GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
GNATCOLL_OS = ["windows", "unix", "osx"]
LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[gpr-set-externals]
BUILD = "PROD"
LIBRARY_TYPE = "static-pic"
[gpr-set-externals."case(os)".linux]
GNATCOLL_OS = "unix"
[gpr-set-externals."case(os)".macos]
GNATCOLL_OS = "osx"
[gpr-set-externals."case(os)".windows]
GNATCOLL_OS = "windows"
[origin]
url = "https://community.download.adacore.com/v1/213105933eb2deb4d08f6b5beab518ad6c70fbac?filename="
archive-name = "gnatcoll-core-gpl-2018-20180524-src.tar.gz"
hashes = ["sha512:bf6082573dc537836ea8506a2c9a75dc7837440c35c5b02a52add52e38290d99e90a9706690591f8899b8b4935824b195f230b3aa1c4da10911e3caf954c04ac"]
+34
View File
@@ -0,0 +1,34 @@
description = "GNAT Components Collection - Core packages"
name = "gnatcoll"
version = "2019.0.0"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
project-files = ["gnatcoll.gpr"]
[[depends-on]]
gnat = "^2019"
[gpr-externals]
BUILD = ["DEBUG", "PROD"]
GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
GNATCOLL_OS = ["windows", "unix", "osx"]
LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[gpr-set-externals]
BUILD = "PROD"
LIBRARY_TYPE = "static-pic"
[gpr-set-externals."case(os)".linux]
GNATCOLL_OS = "unix"
[gpr-set-externals."case(os)".macos]
GNATCOLL_OS = "osx"
[gpr-set-externals."case(os)".windows]
GNATCOLL_OS = "windows"
[origin]
url = "https://community.download.adacore.com/v1/99ea2dc09e018deb14f15c00e8c4b7b21f94c94f?filename="
archive-name = "gnatcoll-core-2019-20190515-24AD8-src.tar.gz"
hashes = ["sha512:9b2101448b96ac46cebada1fe3cb7b583cbf296f9b7d627771e83c56c78ce72c50ede5474f64f16feba252a18fd46b473901820766902b0c68d63beaf55a884a"]
-34
View File
@@ -1,34 +0,0 @@
name = "gnatcoll"
version = "21.0.0"
description = "GNAT Components Collection - Core packages"
website = "https://github.com/adacore/gnatcoll-core"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["gnatcoll.gpr"]
tags = ["gnatcoll", "json", "email", "refcount", "projects", "gpr", "vfs"]
[gpr-externals]
GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
GNATCOLL_OS = ["windows", "unix", "osx"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[gpr-set-externals."case(os)".linux]
GNATCOLL_OS = "unix"
[gpr-set-externals."case(os)".macos]
GNATCOLL_OS = "osx"
[gpr-set-externals."case(os)".windows]
GNATCOLL_OS = "windows"
[gpr-set-externals]
GNATCOLL_VERSION = "21.0.0"
[[depends-on]]
libgpr = "~21.0.0"
[origin]
url= "https://github.com/AdaCore/gnatcoll-core/archive/v21.0.0/gnatcoll-core-21.0.0.zip"
hashes=['sha512:6c0439a39495070c58af1eecd04b450d3f7fae8dfca21ce2200035893467c07b04ec037aeef84b5b1499fe683b9cadeb5425e7373b9d6204d1ed1deb5616d291']
+11
View File
@@ -0,0 +1,11 @@
description = "GNAT Components Collection - Core packages"
name = "gnatcoll"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libgnatcoll16.1.0-dev", "libgnatcoll17-dev", "libgnatcoll18-dev"]
@@ -0,0 +1,28 @@
description = "GNAT Components Collection - Bindings to GMP"
name = "gnatcoll_gmp"
version = "2019.0.0"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
project-files = ["gmp/gnatcoll_gmp.gpr"]
[[depends-on]]
gnat = ">=9.0"
gnatcoll = "^2019"
libgmp = "^6.1"
[gpr-externals]
GNATCOLL_VERSION = ""
BUILD = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[gpr-set-externals]
BUILD = "PROD"
GNATCOLL_VERSION = "2019"
LIBRARY_TYPE = "static-pic"
[origin]
url = "https://community.download.adacore.com/v1/964ece4f78755a2fb3c1c84cec2c375cda66bd98?filename="
archive-name = "gnatcoll-bindings-2019-20190430-1928C-src.tar.gz"
hashes = ["sha512:6db1d35a1cdf5188001084750f7aa32b193768f8c3dfb6d7db8a8314c745fc054b0a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48"]
@@ -1,22 +0,0 @@
name = "gnatcoll_gmp"
version = "21.0.0"
description = "GNAT Components Collection - gomp binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["gmp/gnatcoll_gmp.gpr"]
tags = ["gnatcoll", "bindings", "gmp", "arbitrary", "precision", "arithmetic"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
libgmp = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -0,0 +1,38 @@
description = "GNAT Components Collection - Bindings to libiconv"
name = "gnatcoll_iconv"
version = "2019.0.0"
authors = ["AdaCore"]
licenses = ["GPL 3.0"]
maintainers = ["derodat@adacore.com"]
maintainers-logins = ["pmderodat"]
project-files = ["iconv/gnatcoll_iconv.gpr"]
[[depends-on]]
gnat = ">=9.0"
gnatcoll = "^2019"
[gpr-externals]
GNATCOLL_ICONV_OPT = ""
GNATCOLL_VERSION = ""
BUILD = ["DEBUG", "PROD"]
GNATCOLL_OS = ["windows", "unix", "osx"]
LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
[gpr-set-externals]
BUILD = "PROD"
GNATCOLL_ICONV_OPT = ""
GNATCOLL_VERSION = "2019"
LIBRARY_TYPE = "static-pic"
[gpr-set-externals."case(os)".linux]
GNATCOLL_OS = "unix"
[gpr-set-externals."case(os)".macos]
GNATCOLL_OS = "osx"
[gpr-set-externals."case(os)".windows]
GNATCOLL_OS = "windows"
[origin]
url = "https://community.download.adacore.com/v1/964ece4f78755a2fb3c1c84cec2c375cda66bd98?filename="
archive-name = "gnatcoll-bindings-2019-20190430-1928C-src.tar.gz"
hashes = ["sha512:6db1d35a1cdf5188001084750f7aa32b193768f8c3dfb6d7db8a8314c745fc054b0a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48"]
@@ -1,29 +0,0 @@
name = "gnatcoll_iconv"
version = "21.0.0"
description = "GNAT Components Collection - iconv binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["iconv/gnatcoll_iconv.gpr"]
tags = ["gnatcoll", "bindings", "iconv", "i18n"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
# GNATCOLL_ICONV_OPT should be empty on linux but gprbuild consider empty
# environement variable as not being set. So we use a harmless linker option to
# have a non-empty GNATCOLL_ICONV_OPT.
[gpr-set-externals."case(os)".linux]
GNATCOLL_ICONV_OPT = "-v"
[[depends-on]]
gnatcoll = "~21.0.0"
[depends-on."case(os)".windows]
libiconv = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,22 +0,0 @@
name = "gnatcoll_lzma"
version = "21.0.0"
description = "GNAT Components Collection - lzma binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["lzma/gnatcoll_lzma.gpr"]
tags = ["gnatcoll", "bindings", "lzma", "compression", "7z", "7zip"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
liblzma = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,22 +0,0 @@
name = "gnatcoll_omp"
version = "21.0.0"
description = "GNAT Components Collection - gomp binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["omp/gnatcoll_omp.gpr"]
tags = ["gnatcoll", "bindings", "openmp", "libgomp"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
libgomp = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,23 +0,0 @@
name = "gnatcoll_postgres"
version = "21.0.0"
description = "GNAT Components Collection - postgres"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["postgres/gnatcoll_postgres.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "postgres", "postgresql", "database"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
gnatcoll_sql = "~21.0.0"
postgresql = "*"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -1,30 +0,0 @@
name = "gnatcoll_python"
version = "21.0.0"
description = "GNAT Components Collection - python2 binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["python/gnatcoll_python.gpr"]
tags = ["gnatcoll", "bindings", "python", "python2"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[environment.'case(distribution)']
"debian|ubuntu" = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/usr/include/python2.7/" }
msys2 = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/include/python2.7/" }
[available.'case(distribution)']
'debian|ubuntu|msys2' = true
'...' = false
[[depends-on]]
gnatcoll = "~21.0.0"
libpython2dev = "^2"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,30 +0,0 @@
name = "gnatcoll_python3"
version = "21.0.0"
description = "GNAT Components Collection - python3 binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["python3/gnatcoll_python.gpr"]
tags = ["gnatcoll", "bindings", "python", "python3"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[environment.'case(distribution)']
"debian|ubuntu" = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/usr/include/python3.7/:${DISTRIB_ROOT}/usr/include/python3.8/"}
msys2 = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/include/python3.8/" }
[available.'case(distribution)']
'debian|ubuntu|msys2' = true
'...' = false
[[depends-on]]
gnatcoll = "~21.0.0"
libpython3dev = "^3"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,22 +0,0 @@
name = "gnatcoll_readline"
version = "21.0.0"
description = "GNAT Components Collection - readline binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["readline/gnatcoll_readline.gpr"]
tags = ["gnatcoll", "bindings", "readline", "cli"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
libreadline = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,21 +0,0 @@
name = "gnatcoll_sql"
version = "21.0.0"
description = "GNAT Components Collection - sql"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["sql/gnatcoll_sql.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "sql", "database"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -1,22 +0,0 @@
name = "gnatcoll_sqlite"
version = "21.0.0"
description = "GNAT Components Collection - sqlite"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["sqlite/gnatcoll_sqlite.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "sqlite", "sql", "database"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
gnatcoll_sql = "~21.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -1,25 +0,0 @@
name = "gnatcoll_syslog"
version = "21.0.0"
description = "GNAT Components Collection - syslog binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["syslog/gnatcoll_syslog.gpr"]
tags = ["gnatcoll", "bindings", "syslog", "logging"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[available.'case(os)']
'windows' = false
'...' = true
[[depends-on]]
gnatcoll = "~21.0.0"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
@@ -1,24 +0,0 @@
name = "gnatcoll_xref"
version = "21.0.0"
description = "GNAT Components Collection - xref"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["xref/gnatcoll_xref.gpr"]
tags = ["gnatcoll", "database", "xref", "ali"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
gnatcoll_iconv = "~21.0.0"
gnatcoll_sql = "~21.0.0"
gnatcoll_sqlite = "~21.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']
@@ -1,22 +0,0 @@
name = "gnatcoll_zlib"
version = "21.0.0"
description = "GNAT Components Collection - zlib binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["zlib/gnatcoll_zlib.gpr"]
tags = ["gnatcoll", "bindings", "zlib", "compression", "zip", "deflate"]
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~21.0.0"
zlib = "*"
[origin]
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v21.0.0/gnatcoll-bindings-21.0.0.zip"
hashes=['sha512:0278508bd697f1334d2b3efb62ae731fda105d07eae02c5e260f7183c561a38d69bf087f9562fd2df3269d87b8732625d7a9a00c130259edc1a6614bf115910d']
-45
View File
@@ -1,45 +0,0 @@
description = "An Ada graphical toolkit based on Gtk+"
website = "https://github.com/adacore/gtkada"
name = "gtkada"
version = "21.0.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["install_dir/lib/gnat/gtkada.gpr"]
tags = ["gtk", "gui"]
# Add msys in the OS list in config.sub
[[actions]]
type = "post-fetch"
command = ["sed", "-i", "s/| -mingw32\\*/| -mingw32\\* | -msys\\*/g", "config.sub"]
[[actions]]
type = "post-fetch"
command = ["bash", "configure", "--with-GL=no"]
# Since the GTKAda project doesn't build alone with just gprbuild we build and
# install with the Makefile from post-fetch action.
[[actions]]
type = "post-fetch"
command = ["make", "all", "install", "prefix=install_dir"]
[[depends-on]]
make = "*"
pkg_config = "*"
libgtk3 = "^3"
[depends-on.'case(os)'.windows]
winpthreads = "*"
[gpr-externals]
LIBRARY_TYPE = ["static", "static-pic", "relocatable"]
[environment.'case(distribution)']
msys2.C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/include"
msys2.LIBRARY_PATH.append = "${DISTRIB_ROOT}/mingw64/x86_64-w64-mingw32/lib"
[origin]
url="https://github.com/AdaCore/gtkada/archive/v21.0.0/gtkada-21.0.0.zip"
hashes=["sha512:3c1373c0a1168ae875398a0b5a1941234f6620ac114088980b83558c984c4566b87796fb4098de371af206ca6a4ae0fb4c6390119c5606a9f6a5b142916ce8d8"]
+13
View File
@@ -0,0 +1,13 @@
description = "Ada binding for the GTK+ GUI"
name = "gtkada"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
[[external]]
kind = "system"
available."case(toolchain)".user = false
[external.origin."case(distribution)"]
debian = ["libgtkada18-dev"]
ubuntu = ["libgtkada16.1.0-dev", "libgtkada19-dev"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Hardware Abstraction Layer (HAL)"
long-description = "\n# hal\nHardware Abstraction Layer: interfaces definitions to abstract access to common\nhardware devices and protocols\n\nThis crate is a snapshot of the `hal` in [Ada Drivers\nLibrary](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/hal/src).\nAny bug report, issue, contribution must be adressed to the [Ada Drivers\nLibrary](https://github.com/AdaCore/Ada_Drivers_Library/) repo.\n"
name = "hal"
version = "0.1.0"
licenses = "BSD-3-Clause"
licenses = ["BSD 3-Clauses"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["hal.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ name = "hangman"
version = "1.0.0"
authors = ["Jon Hollan, Mark Hoffman, & Brandon Ball"]
executables = ["hangmain"]
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -1,7 +1,7 @@
description = "\"Hello, world!\" demonstration project"
name = "hello"
version = "1.0.0"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -1,7 +1,7 @@
description = "\"Hello, world!\" demonstration project"
name = "hello"
version = "1.0.1"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -2,7 +2,7 @@ description = "Ada wrapper for the fast Stachniss' Hungarian solver"
name = "hungarian"
version = "1.0.0"
authors = ["alejandro@mosteo.com"]
licenses = "LGPL-3.0-only"
licenses = ["LGPL 3.0"]
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -1 +1 @@
version = "0.5"
version = "0.4"
-20
View File
@@ -1,20 +0,0 @@
name = "iterators"
description = "Functional iterators a la Rust"
version = "0.1.0"
authors = ["Alejandro R. Mosteo"]
maintainers = ["Alejandro R. Mosteo <alejandro@mosteo.com>"]
maintainers-logins = ["mosteo"]
website = "https://github.com/mosteo/iterators"
licenses = "LGPL-3.0-only"
tags = ["iterators", "functional"]
[[depends-on]]
aaa = "~0.2.1"
gnat = ">=10"
[origin]
commit = "b3abe21ddb9a35e5bdbff6a1656dc8dcbb79a6fc"
url = "git+https://github.com/mosteo/iterators.git"
@@ -12,7 +12,7 @@ name = "jupyter_kernel"
version = "1.0.0"
website = "https://github.com/reznikmm/jupyter/"
authors = ["Max Reznik"]
licenses = "BSD-3-Clause"
licenses = ["BSD 3-Clauses"]
maintainers = ["Max Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/jupyter_ada_kernel.gpr", "gnat/jupyter_ada_driver.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ name = "jwt"
version = "1.0.0"
website = "https://github.com/reznikmm/jwt"
authors = ["Maxim Reznik"]
licenses = "MIT"
licenses = ["MIT"]
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
project-files = ["gnat/jwt.gpr"]
+1 -1
View File
@@ -3,7 +3,7 @@ long-description = "\n[![Build Status](https://img.shields.io/jenkins/s/https/je
name = "keystoreada"
version = "1.1.0"
authors = ["Stephane.Carrez@gmail.com"]
licenses = "Apache-2.0"
licenses = ["Apache 2.0"]
maintainers = ["Stephane.Carrez@gmail.com"]
maintainers-logins = ["stcarrez"]
project-files = [".alire/keystoreada.gpr"]
@@ -1,23 +0,0 @@
name = "lal_highlight"
description = "Simple code highlighters based on Libadalang"
version = "21.0.0"
authors = ["AdaCore"]
maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
maintainers-logins = ["pmderodat"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
website = "https://github.com/AdaCore/libadalang"
tags = ["libadalang", "static-analysis"]
project-files = ["highlight.gpr"]
executables = ["highlight", "ada2web"]
[origin]
url = "https://github.com/AdaCore/libadalang/releases/download/v21.0.0/highlight-21.0.0.tar.gz"
archive-name = "highlight-21.0.0.tar.gz"
hashes = ["sha512:357f237b90559b05bab454b6dafda2949d663b87db2704f2c23cc3e3d3400a8a60609382a7f5489419b19b2a38195e25cfa030e7cf4a7887df1566222014ef98"]
[[depends-on]]
gnatcoll_iconv = "^21"
[[depends-on]]
libadalang = "^21"
@@ -1,22 +0,0 @@
name = "langkit_support"
description = "Runtime support library for Langkit-generated libraries"
version = "21.0.0"
authors = ["AdaCore"]
maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
maintainers-logins = ["pmderodat"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
website = "https://github.com/AdaCore/langkit"
[gpr-set-externals."case(toolchain)".system]
LIBRARY_TYPE = "relocatable"
[origin]
url = "https://github.com/AdaCore/langkit/releases/download/v21.0.0/langkit_support-21.0.0.tar.gz"
archive-name = "langkit_support-21.0.0.tar.gz"
hashes = ["sha512:b52319d5b7fac6b8866b618105edc4c4a4a98d785a61b6e8c3096921b117bea9629854ebdcd956eb005604cdc78686cd4577d27121cdb41339ee73bb4222168b"]
[[depends-on]]
gnatcoll = "^21"
[[depends-on]]
gnatcoll_iconv = "^21"
@@ -1,24 +0,0 @@
name = "libadalang"
description = "Ada semantic analysis library"
version = "21.0.0"
authors = ["AdaCore"]
maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
maintainers-logins = ["pmderodat"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
website = "https://github.com/AdaCore/libadalang"
tags = ["libadalang", "static-analysis"]
[origin]
url = "https://github.com/AdaCore/libadalang/releases/download/v21.0.0/libadalang-21.0.0.tar.gz"
archive-name = "libadalang-21.0.0.tar.gz"
hashes = ["sha512:955d25549416658815862829499b7f02008990922a32102afacefc760e835c8b054129c60e41dbcc6035d7e917c9450c71cc5edf79f3707b8073e5245800c110"]
[[depends-on]]
gnatcoll = "^21"
[[depends-on]]
gnatcoll_gmp = "^21"
[[depends-on]]
gnatcoll_iconv = "^21"
[[depends-on]]
langkit_support = "^21"
+1 -1
View File
@@ -1,6 +1,6 @@
description = "Oracle Instant Client"
name = "libclntsh"
licenses = []
website = "https://www.oracle.com/database/technologies/instant-client/downloads.html"
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
@@ -1,6 +1,6 @@
description = "Firebird DB client library"
name = "libfbclient"
licenses = []
maintainers = ["Maxim Reznik <reznikmm@gmail.com>"]
maintainers-logins = ["reznikmm"]
+1 -1
View File
@@ -1,6 +1,6 @@
name = "libfuse"
description = "Interface for userspace programs to export a filesystem"
licenses = "LGPL-2.1-only"
licenses = ["LGPL 2.1"]
maintainers = ["nicolai.ruckel@uni-weimar.de"]
maintainers-logins = ["NicolaiRuckel"]
+1 -1
View File
@@ -1,6 +1,6 @@
description = "Portable library for OpenGL, window and input"
name = "libglfw3"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -1,6 +1,6 @@
description = "The GNU Multiple Precision Arithmetic Library"
name = "libgmp"
licenses = "LGPL-3.0-only"
licenses = ["LGPL 3.0"]
maintainers = ["derodat@adacore.com", "chouteau@adacore.com"]
maintainers-logins = ["pmderodat", "Fabien-Chouteau"]
+1 -1
View File
@@ -1,6 +1,6 @@
description = "GNU TLS library"
name = "libgnutls"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
-11
View File
@@ -1,11 +0,0 @@
description = "GNU OpenMP library"
name = "libgomp"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libgomp1"]
msys2=["mingw-w64-x86_64-gcc"]
-23
View File
@@ -1,23 +0,0 @@
name = "libgpr"
version = "21.0.0"
description = "GNAT Project File Library"
authors = ["AdaCore"]
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["gpr/gpr.gpr"]
[[actions.'case(os)'.macos]]
type = "post-fetch"
command = ["sed", "-i", "", "s/st_mtim/st_mtimespec/", "gpr/src/gpr_imports.c"]
[gpr-externals]
GPR_BUILD = ["debug", "production", "coverage", "profiling"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
xmlada = "~21.0.0"
[origin]
url="https://github.com/AdaCore/gprbuild/archive/v21.0.0/gprbuild-21.0.0.zip"
hashes=['sha512:49263e36e5431356f60630129c8fbebf7dcdca7083fd47b2ee1a4fa80e84cb09748f2d8bc660b68850ad62634b9c8ba57b287b4934d0c908becd1a52b8b7e1fc']
@@ -1,6 +1,6 @@
description = "Drawing of ASCII graphs"
name = "libgraph_easy_perl"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
+1 -1
View File
@@ -1,6 +1,6 @@
description = "The GNU Scientific Library (GSL)"
name = "libgsl"
licenses = []
maintainers = ["alejandro@mosteo.com"]
maintainers-logins = ["mosteo"]
-12
View File
@@ -1,12 +0,0 @@
description = "GObject-based multi-platform GUI toolkit (v3)"
name = "libgtk3"
licenses = "LGPL-3.0-only"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libgtk-3-dev"]
arch = ["gtk3"]
msys2 = ["mingw-w64-x86_64-gtk3"]

Some files were not shown because too many files have changed in this diff Show More