diff --git a/index/li/libadalang2xml/libadalang2xml-1.0.2.toml b/index/li/libadalang2xml/libadalang2xml-1.0.2.toml new file mode 100644 index 000000000..76735d17f --- /dev/null +++ b/index/li/libadalang2xml/libadalang2xml-1.0.2.toml @@ -0,0 +1,94 @@ +name = "libadalang2xml" +description = "Generates XML for Ada source, using libadalang." +long-description = """ +Libadalang2XML is a tool to extract syntatic aspects of Ada source code into XML. + +The Ada source is initially read using [Libadalang](https://github.com/AdaCore/libadalang). The resulting tree is then traversed, and its structure output in an XML form. + +The [document type definition](https://en.wikipedia.org/wiki/Document_type_definition) isn't explicit; it's simply derived from the tree elements created by Libadalang. Note that Libadalang includes much more semantic information than the surface structure generated by this tool, but nevertheless there's enough there to --- for example --- create a scriptable body for a package spec. + +## Building on macOS ## + +Using the standard `langkit_support`, `libadalang` crates, you **must** build with `LIBRARY_TYPE` set to `relocatable`. + +You can obtain versions of those crates adjusted to not require those features, which can therefore build the (default) static libraries, by visiting https://github.com/simonjwright/alire-index.mac. + +## Example ## + +As an example of the output, this code +``` ada +package Demo is + procedure Square (X : in out Integer); +end Demo; +``` +generates +``` xml + + + + + + + Demo + + + + + + + procedure + + Square + + + + + + + X + + + + in out + + + Integer + + + + + + + + + + Demo + + + + + +``` +""" +version = "1.0.2" + +authors = ["Simon Wright"] +maintainers = ["Simon Wright "] +maintainers-logins = ["simonjwright"] +licenses = "GPL-3.0-or-later" +website = "https://github.com/simonjwright/libadalang2xml" +tags = ["ada", "xml"] + +executables = ["libadalang2xml"] + +[build-switches] +development.contracts = "yes" +"*".ada_version = "ada2022" + +[[depends-on]] +libadalang = "*" + +[origin] +commit = "99ee1dd171cd66736f38e770a751a15ad7ffc334" +url = "git+https://github.com/simonjwright/libadalang2xml.git" +