Skip to content

Commit

Permalink
pla_util 2.1.1 (#935)
Browse files Browse the repository at this point in the history
* pla_util 2.1.1

* Remove header as requested

* Remove build-profiles as requested
  • Loading branch information
serock authored Dec 20, 2023
1 parent b5eb5aa commit f21e304
Showing 1 changed file with 41 additions and 0 deletions.
41 changes: 41 additions & 0 deletions index/pl/pla_util/pla_util-2.1.1.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
name = "pla_util"
version = "2.1.1"
description = "A power line adapter utility"
authors = ["John Serock"]
maintainers = ["[email protected]"]
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"

0 comments on commit f21e304

Please sign in to comment.