From f21e304d593ebf3b90beb3aec874292ab9b5eea0 Mon Sep 17 00:00:00 2001 From: John Serock <1468970+serock@users.noreply.github.com> Date: Wed, 20 Dec 2023 10:28:23 -0500 Subject: [PATCH] pla_util 2.1.1 (#935) * pla_util 2.1.1 * Remove header as requested * Remove build-profiles as requested --- index/pl/pla_util/pla_util-2.1.1.toml | 41 +++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 index/pl/pla_util/pla_util-2.1.1.toml diff --git a/index/pl/pla_util/pla_util-2.1.1.toml b/index/pl/pla_util/pla_util-2.1.1.toml new file mode 100644 index 000000000..4ca302fa2 --- /dev/null +++ b/index/pl/pla_util/pla_util-2.1.1.toml @@ -0,0 +1,41 @@ +name = "pla_util" +version = "2.1.1" +description = "A power line adapter utility" +authors = ["John Serock"] +maintainers = ["john.serock@gmail.com"] +maintainers-logins = ["serock"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/serock/pla-util" +tags = ["powerline"] +project-files = ["pla_util.gpr"] +executables = ["pla-util"] + +[available."case(os)"] +"linux" = true +"..." = false + +[[depends-on]] +libpcap = "^1.8.1" + +[configuration] +generate_c = false + +[build-switches] +"*".ada_version = "ada12" +"*".debug_info = ["-g", "-gnateE"] +"*".runtime_checks = ["-gnatE", "-gnato", "-fstack-check", "-fstack-protector-strong"] +"*".contracts = "yes" +development.compile_checks = [ + "-Wall", "-gnatVa", "-gnatwd", "-gnatwh", "-gnatw.h", + "-gnatw.j", "-gnatw.k", "-gnatwl", "-gnatw.l", "-gnatwo", + "-gnatw.o", "-gnatw.q", "-gnatw_q", "-gnatw_r", "-gnatw.s", + "-gnatwt", "-gnatw.u", "-gnatw.w"] +development.optimization = ["-Og"] +development.style_checks = ["-gnaty3aAbBcdefhiIklnoOprsStux"] +validation.optimization = ["-O3", "-gnatn"] +release.optimization = ["-O3", "-gnatn"] + +[origin] +commit = "b456c20d9257315c8c264a5a6006827a5c77684d" +url = "git+https://github.com/serock/pla-util.git" +