this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Christiano F. Haesbaert <haesbaert@haesbaert.org>"
3authors: "Christiano F. Haesbaert <haesbaert@haesbaert.org>"
4license: "ISC"
5homepage: "https://github.com/mirage/charrua"
6bug-reports: "https://github.com/mirage/charrua/issues"
7dev-repo: "git+https://github.com/mirage/charrua.git"
8doc: "https://mirage.github.io/charrua/api"
9
10build: [
11 ["dune" "subst"] {dev}
12 ["dune" "build" "-p" name "-j" jobs]
13 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
14]
15
16depends: [
17 "dune" {>= "1.0"}
18 "ppx_sexp_conv"
19 "menhir" {build}
20 "charrua" {>= "1.0.0" & < "1.1.0"}
21 "ocaml" {>= "4.04.2"}
22 "cstruct" {>= "3.0.1"}
23 "sexplib"
24 "ipaddr" {>= "3.0.0"}
25 "macaddr"
26 "cstruct-unix" {with-test}
27]
28synopsis: "DHCP server"
29description: """
30Charrua-server consists of a single `Dhcp_server` module used for constructing DHCP
31servers.
32
33[dhcp](https://github.com/mirage/mirage-skeleton/tree/master/applications/dhcp)
34is a Mirage DHCP unikernel server based on charrua, included as a part of the MirageOS unikernel example and starting-point repository.
35
36#### Features
37
38* `Dhcp_server` supports a stripped down ISC dhcpd.conf, so you can probably just
39 use your old `dhcpd.conf`. It also supports manual configuration building in
40 OCaml.
41* Logic/sequencing is agnostic of IO and platform, so it can run on Unix as a
42 process, as a Mirage unikernel or anything else.
43* All DHCP options are supported at the time of this writing.
44* Code is purely applicative.
45* It's in OCaml, so it's pretty cool.
46
47The name `charrua` is a reference to the, now extinct, semi-nomadic people of
48southern South America.
49"""
50url {
51 src:
52 "https://github.com/mirage/charrua/releases/download/v1.0.0/charrua-v1.0.0.tbz"
53 checksum: [
54 "sha256=c318158366541be647cec9df9f3090879818f3257d274e13f466ed14311870b5"
55 "sha512=567889744d741572666952c6c4e02754da25dee4b32a9879b11a185aaefbf80e3aa08120cc2d1b141047a98c8f36e33b3a74b98055de529fa9743da016b1a63f"
56 ]
57}