You've already forked ada_language_server
mirror of
https://github.com/AdaCore/ada_language_server.git
synced 2026-02-12 12:45:50 -08:00
8dcebce7ec
Add xdiff crate as dependency. Avoid the last commit in `gprbuild` as not compatible with GCC 15.
32 lines
670 B
TOML
32 lines
670 B
TOML
name = "gnatdoc"
|
|
description = "GNAT Documentation Generation Tool"
|
|
version = "24.0.0"
|
|
tags = ["documentation", "tools"]
|
|
|
|
authors = ["AdaCore"]
|
|
maintainers = ["Vadim Godunko <vgodunko@gmail.com>", "Maxim Reznik <reznikmm@gmail.com>"]
|
|
maintainers-logins = ["godunko", "reznikmm"]
|
|
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
|
website = "https://github.com/AdaCore/gnatdoc"
|
|
|
|
project-files = ["gnat/libgnatdoc.gpr"]
|
|
|
|
[[actions]]
|
|
type = "post-fetch"
|
|
command = [
|
|
"sed",
|
|
"-i.bak",
|
|
"-e",
|
|
's/gnatwa/gnatwa", "-Ofast/',
|
|
"gnat/libgnatdoc.gpr"
|
|
]
|
|
|
|
[configuration]
|
|
disabled = true
|
|
|
|
[[depends-on]]
|
|
vss_text = "^24"
|
|
libgpr2 = "^24"
|
|
libadalang = "^24"
|
|
markdown = "^24"
|