From 4662d2497f85c486a0130a6d7ba7c2411d6c95bc Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Tue, 24 Dec 2019 08:52:09 +0100 Subject: [PATCH 1/4] gnatcoll.toml: wrap lines on 80 columns --- index/gn/gnatcoll.toml | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/index/gn/gnatcoll.toml b/index/gn/gnatcoll.toml index e95ace81..e76e091f 100644 --- a/index/gn/gnatcoll.toml +++ b/index/gn/gnatcoll.toml @@ -27,7 +27,10 @@ maintainers-logins = ["pmderodat"] [2018] origin = "http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a99" archive-name = "gnatcoll-core-gpl-2018-20180524-src.tar.gz" -origin-hashes = ["sha512:bf6082573dc537836ea8506a2c9a75dc7837440c35c5b02a52add52e38290d99e90a9706690591f8899b8b4935824b195f230b3aa1c4da10911e3caf954c04ac"] +origin-hashes = ["""\ + sha512:bf6082573dc537836ea8506a2c9a75dc7837440c35c5b02a52add52e38290d99e90\ + a9706690591f8899b8b4935824b195f230b3aa1c4da10911e3caf954c04ac\ +"""] project-files = ["gnatcoll-core-gpl-2018-src/gnatcoll.gpr"] [2018.available.'case(compiler)'] @@ -35,9 +38,13 @@ project-files = ["gnatcoll-core-gpl-2018-src/gnatcoll.gpr"] '...' = false [2019] -origin = "https://community.download.adacore.com/v1/99ea2dc09e018deb14f15c00e8c4b7b21f94c94f?filename=" +origin = """https://community.download.adacore.com/v1/\ + 99ea2dc09e018deb14f15c00e8c4b7b21f94c94f?filename=""" archive-name = "gnatcoll-core-2019-20190515-24AD8-src.tar.gz" -origin-hashes = ["sha512:9b2101448b96ac46cebada1fe3cb7b583cbf296f9b7d627771e83c56c78ce72c50ede5474f64f16feba252a18fd46b473901820766902b0c68d63beaf55a884a"] +origin-hashes = ["""\ + sha512:9b2101448b96ac46cebada1fe3cb7b583cbf296f9b7d627771e83c56c78ce72c50e\ + de5474f64f16feba252a18fd46b473901820766902b0c68d63beaf55a884a\ +"""] project-files = ["gnatcoll.gpr"] [2019.available.'case(compiler)'] From 235927f0f9a658cc5cea918318fb8b9f0b06eb84 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Wed, 25 Dec 2019 09:56:23 +0100 Subject: [PATCH 2/4] Add gnatcoll_iconv --- index/gn/gnatcoll_iconv.toml | 47 ++++++++++++++++++++++++++++++++++++ 1 file changed, 47 insertions(+) create mode 100644 index/gn/gnatcoll_iconv.toml diff --git a/index/gn/gnatcoll_iconv.toml b/index/gn/gnatcoll_iconv.toml new file mode 100644 index 00000000..5750a7c5 --- /dev/null +++ b/index/gn/gnatcoll_iconv.toml @@ -0,0 +1,47 @@ +[general] +description = "GNAT Components Collection - Bindings to libiconv" +licenses = ["GPL 3.0"] +authors = ["AdaCore"] +maintainers = ["derodat@adacore.com"] +maintainers-logins = ["pmderodat"] + +project-files = ["iconv/gnatcoll_iconv.gpr"] + + [general.gpr-externals] + BUILD = ["DEBUG", "PROD"] + LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + GNATCOLL_VERSION = "" + GNATCOLL_OS = ["windows", "unix", "osx"] + GNATCOLL_ICONV_OPT = "" + + [general.gpr-set-externals] + BUILD = "PROD" + LIBRARY_TYPE = "static-pic" + GNATCOLL_ICONV_OPT = "" + + [general.gpr-set-externals.'case(os)'] + linux = { GNATCOLL_OS = "unix" } + macos = { GNATCOLL_OS = "osx" } + windows = { GNATCOLL_OS = "windows" } + +[2019] +origin = """https://community.download.adacore.com/v1/\ + 964ece4f78755a2fb3c1c84cec2c375cda66bd98?filename=""" +archive-name = "gnatcoll-bindings-2019-20190430-1928C-src.tar.gz" +origin-hashes = ["""\ + sha512:6db1d35a1cdf5188001084750f7aa32b193768f8c3dfb6d7db8a8314c745fc054b0\ + a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48\ +"""] + + [2019.available.'case(compiler)'] + 'gnat-fsf-9-0' = true + 'gnat-fsf-9-1' = true + 'gnat-fsf-9-2-or-newer' = true + 'gnat-community-2019' = true + '...' = false + + [2019.depends-on] + gnatcoll = "^2019" + + [2019.gpr-set-externals] + GNATCOLL_VERSION = "2019" From 0d16d420ada828a21126fed8dac834e625c962dc Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Wed, 25 Dec 2019 11:13:56 +0100 Subject: [PATCH 3/4] Add libgmp --- index/li/libgmp.toml | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 index/li/libgmp.toml diff --git a/index/li/libgmp.toml b/index/li/libgmp.toml new file mode 100644 index 00000000..9a869566 --- /dev/null +++ b/index/li/libgmp.toml @@ -0,0 +1,10 @@ +[general] +description = "Multiprecision arithmetic library development files" +licenses = [] +maintainers = ["derodat@adacore.com"] +maintainers-logins = ["pmderodat"] + +['6.1.0'] + ['6.1.0'.origin.'case(distribution)'] + 'debian|ubuntu' = "native:libgmp-dev" + '...' = "" From 156a12a905f25f0ed74d32eaefe400d19df49f87 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Wed, 25 Dec 2019 09:57:38 +0100 Subject: [PATCH 4/4] Add gnatcoll_gmp --- index/gn/gnatcoll_gmp.toml | 40 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 index/gn/gnatcoll_gmp.toml diff --git a/index/gn/gnatcoll_gmp.toml b/index/gn/gnatcoll_gmp.toml new file mode 100644 index 00000000..e4c0c690 --- /dev/null +++ b/index/gn/gnatcoll_gmp.toml @@ -0,0 +1,40 @@ +[general] +description = "GNAT Components Collection - Bindings to GMP" +licenses = ["GPL 3.0"] +authors = ["AdaCore"] +maintainers = ["derodat@adacore.com"] +maintainers-logins = ["pmderodat"] + +project-files = ["gmp/gnatcoll_gmp.gpr"] + + [general.gpr-externals] + BUILD = ["DEBUG", "PROD"] + LIBRARY_TYPE = ["relocatable", "static", "static-pic"] + GNATCOLL_VERSION = "" + + [general.gpr-set-externals] + BUILD = "PROD" + LIBRARY_TYPE = "static-pic" + +[2019] +origin = """https://community.download.adacore.com/v1/\ + 964ece4f78755a2fb3c1c84cec2c375cda66bd98?filename=""" +archive-name = "gnatcoll-bindings-2019-20190430-1928C-src.tar.gz" +origin-hashes = ["""\ + sha512:6db1d35a1cdf5188001084750f7aa32b193768f8c3dfb6d7db8a8314c745fc054b0\ + a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48\ +"""] + + [2019.available.'case(compiler)'] + 'gnat-fsf-9-0' = true + 'gnat-fsf-9-1' = true + 'gnat-fsf-9-2-or-newer' = true + 'gnat-community-2019' = true + '...' = false + + [2019.depends-on] + gnatcoll = "^2019" + libgmp = "^6.1" + + [2019.gpr-set-externals] + GNATCOLL_VERSION = "2019"