hostarm/alire.toml at primary · jquorning/hostarm · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
name = "hostarm"
description = "Local hosting of Ada Reference Manual (ARM)"
version = "26.5.1"

long-description = """
HostARM is a local hosting of
- Ada Reference Manual 2012
- Ada Reference Manual 2022
- Annotated Ada Reference Manual 202Y (Draft 5)

HostARM focuses on user friendliness and more modern look of the manuals.

Benefits
- Search not dependant on external hosts
- Keypress navigation
- Shorter URL: Remove two levels of the URL and no html ending
- Optional stripping of navigation bars
- Optional modernized navigation bar
- Alphabet navigation bar in index

## Installation

HostARM is distributed as an [Alire](https://alire.ada.dev) crate.

```sh
alr install hostarm
```

## Invocation

```sh
nohup hostarm </dev/null >/dev/null 2>&1 &
```
This will start HostARM as a daemon and the manuals are now accessible at
[/localhost:2778/](http://localhost:2778/).
"""

authors = ["Jesper Quorning"]
maintainers = ["Jesper Quorning <jesper.quorning@gmail.com>"]
maintainers-logins = ["jquorning"]
licenses = "MIT"
website = "https://github.com/jquorning/hostarm"
tags = ["arm", "aarm", "reference", "manual"]

executables = ["hostarm"]

[[depends-on]]
gnat = "<15"

# See https://github.com/AdaCore/aws/issues/380
# and https://github.com/alire-project/alire/issues/1710
[depends-on.'case(os)'.windows]
aws = "^23.0.0"
xmlada = "^23.0.0"
gnatcoll = "^23.0.0"

[depends-on.'case(os)'.'...']
aws = "^24.0.0"
xmlada = "^24.0.0"
gnatcoll = "^24.0.0"

[[depends-on]]
resources = "=0.1.0"