From 96ae9d92627b1fe20cc9dfb2128763f2c1510282 Mon Sep 17 00:00:00 2001 From: Simon Wright Date: Fri, 19 Aug 2022 18:20:50 +0100 Subject: [PATCH] ews 1.11.0 (#615) * Adding EWS 1.11.0. * Fixed CI build error. --- index/ew/ews/ews-1.11.0.toml | 39 ++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 index/ew/ews/ews-1.11.0.toml diff --git a/index/ew/ews/ews-1.11.0.toml b/index/ew/ews/ews-1.11.0.toml new file mode 100644 index 00000000..6d697360 --- /dev/null +++ b/index/ew/ews/ews-1.11.0.toml @@ -0,0 +1,39 @@ +description = "Embedded Web Server" +long-description = """ + +EWS is a web server construction kit, designed for embedded +applications using the GNAT Ada compiler. + +The project is hosted at https://github.com/simonjwright/ews. + +""" +name = "ews" +version = "1.11.0" +authors = ["Simon Wright "] +licenses = "GPL-3.0-or-later WITH GCC-exception-3.1" +maintainers = ["Simon Wright "] +maintainers-logins = ["simonjwright"] +project-files = ["ews.gpr"] +tags = ["web", "server"] +website = "https://github.com/simonjwright/ews" + +[[depends-on]] +xmlada = "any" + +[gpr-externals] +LIBRARY_TYPE = ["relocatable", "static"] + +[[actions]] +type = "post-build" +command = ["gprbuild", "-P", "generator/ews_generator.gpr"] + +[environment.PATH] +append="${CRATE_ROOT}/bin" + +[configuration] +disabled = true + +[origin] +commit = "17517ec52b96488d433ec1d49946d74441d57a1e" +url = "git+https://github.com/simonjwright/ews.git" +