Skip to content

Commit aa1b46e

Browse files
smorimotosmorimoto
committed
dune: enable generate_opam_files option
Signed-off-by: Sora Morimoto <sora@morimoto.io>
1 parent 519c576 commit aa1b46e

File tree

6 files changed

+150
-67
lines changed

6 files changed

+150
-67
lines changed

‎dune-project

Lines changed: 67 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,69 @@
11
(lang dune 2.7)
2+
23
(name tcpip)
3-
(formatting disabled)
4+
5+
(license ISC)
6+
(authors
7+
"Anil Madhavapeddy"
8+
"Balraj Singh"
9+
"David Scott"
10+
"Gabor Pali"
11+
"Hannes Mehnert"
12+
"Haris Rotsos"
13+
"Kia"
14+
"Luke Dunstan"
15+
"Magnus Skjegstad"
16+
"Mindy Preston"
17+
"Nicolas Ojeda Bar"
18+
"Pablo Polvorin"
19+
"Richard Mortier"
20+
"Thomas Gazagnaire"
21+
"Thomas Leonard"
22+
"Tim Cuthbertson"
23+
"Vincent Bernardoff"
24+
"lnmx"
25+
"pqwy")
26+
(maintainers "anil@recoil.org")
27+
(source (github mirage/mirage-tcpip))
28+
29+
(generate_opam_files)
30+
31+
(package
32+
(name tcpip)
33+
(synopsis "OCaml TCP/IP networking stack, used in MirageOS")
34+
(description "`mirage-tcpip` provides a networking stack for the [Mirage operating system](https://mirage.io). It provides implementations for the following module types (which correspond with the similarly-named protocols): IP (via the IPv4 and IPv6 modules), ICMP, UDP, TCP")
35+
(tags ("org:mirage"))
36+
(depends
37+
(ocaml (>= 4.08.0))
38+
(arp (>= 3.0.0))
39+
(cmdliner (>= 1.1.0))
40+
(cstruct (>= 6.0.0))
41+
cstruct-lwt
42+
duration
43+
(ethernet (>= 3.0.0))
44+
(fmt (>= 0.8.7))
45+
(ipaddr (>= 5.6.0))
46+
ipaddr-cstruct
47+
(logs (>= 0.6.0))
48+
(lru (>= 0.3.0))
49+
(lwt (>= 4.0.0))
50+
lwt-dllist
51+
(macaddr (>= 4.0.0))
52+
macaddr-cstruct
53+
metrics
54+
(mirage-clock (>= 3.0.0))
55+
(mirage-crypto-rng-mirage (>= 1.0.0))
56+
(mirage-flow (>= 4.0.0))
57+
(mirage-net (>= 3.0.0))
58+
(mirage-time (>= 2.0.0))
59+
(randomconv (>= 0.2.0))
60+
(bisect_ppx (and :dev (> 2.5.0)))
61+
(alcotest (and :with-test (>= 1.5.0)))
62+
(mirage-clock-unix (and :with-test (>= 3.0.0)))
63+
(mirage-crypto-rng (and :with-test (>= 1.0.0)))
64+
(mirage-vnetif (and :with-test (>= 0.6.2)))
65+
(pcap-format :with-test))
66+
(conflicts
67+
ocaml-freestanding
68+
(mirage-xen (< 6.0.0))
69+
(result (< 1.5))))

‎src/stack-direct/dune

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,5 +3,5 @@
33
(public_name tcpip.stack-direct)
44
(instrumentation
55
(backend bisect_ppx))
6-
(libraries logs ipaddr lwt fmt mirage-time mirage-crypto-rng-mirage mirage-net
7-
ethernet arp.mirage tcpip.icmpv4 tcpip.udp tcpip.tcp))
6+
(libraries logs ipaddr lwt fmt mirage-time mirage-crypto-rng-mirage
7+
mirage-net ethernet arp.mirage tcpip.icmpv4 tcpip.udp tcpip.tcp))

‎src/stack-unix/dune

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,8 @@
3737
(wrapped false)
3838
(instrumentation
3939
(backend bisect_ppx))
40-
(libraries lwt.unix ipaddr.unix cstruct-lwt fmt tcpip tcp_socket_options logs))
40+
(libraries lwt.unix ipaddr.unix cstruct-lwt fmt tcpip tcp_socket_options
41+
logs))
4142

4243
(library
4344
(name tcpip_stack_socket)
@@ -47,4 +48,4 @@
4748
(instrumentation
4849
(backend bisect_ppx))
4950
(libraries lwt.unix cstruct-lwt ipaddr.unix logs tcpip.ipv4 tcpip.ipv6
50-
tcpip.tcpv4v6-socket tcpip.udpv4v6-socket))
51+
tcpip.tcpv4v6-socket tcpip.udpv4v6-socket))

‎src/tcp/dune

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,6 @@
33
(public_name tcpip.tcp)
44
(instrumentation
55
(backend bisect_ppx))
6-
(libraries logs ipaddr cstruct lwt-dllist tcpip.checksum
7-
tcpip duration randomconv fmt mirage-time mirage-clock
8-
mirage-crypto-rng-mirage mirage-flow metrics))
6+
(libraries logs ipaddr cstruct lwt-dllist tcpip.checksum tcpip duration
7+
randomconv fmt mirage-time mirage-clock mirage-crypto-rng-mirage
8+
mirage-flow metrics))

‎tcpip.opam

Lines changed: 69 additions & 53 deletions
Original file line numberDiff line numberDiff line change
@@ -1,68 +1,84 @@
1+
# This file is generated by dune, edit dune-project instead
12
opam-version: "2.0"
2-
maintainer: "anil@recoil.org"
3-
homepage: "https://github.com/mirage/mirage-tcpip"
4-
dev-repo: "git+https://github.com/mirage/mirage-tcpip.git"
5-
bug-reports: "https://github.com/mirage/mirage-tcpip/issues"
6-
doc: "https://mirage.github.io/mirage-tcpip/"
3+
synopsis: "OCaml TCP/IP networking stack, used in MirageOS"
4+
description:
5+
"`mirage-tcpip` provides a networking stack for the [Mirage operating system](https://mirage.io). It provides implementations for the following module types (which correspond with the similarly-named protocols): IP (via the IPv4 and IPv6 modules), ICMP, UDP, TCP"
6+
maintainer: ["anil@recoil.org"]
77
authors: [
8-
"Anil Madhavapeddy" "Balraj Singh" "Richard Mortier" "Nicolas Ojeda Bar"
9-
"Thomas Gazagnaire" "Vincent Bernardoff" "Magnus Skjegstad" "Mindy Preston"
10-
"Thomas Leonard" "David Scott" "Gabor Pali" "Hannes Mehnert" "Haris Rotsos"
11-
"Kia" "Luke Dunstan" "Pablo Polvorin" "Tim Cuthbertson" "lnmx" "pqwy" ]
8+
"Anil Madhavapeddy"
9+
"Balraj Singh"
10+
"David Scott"
11+
"Gabor Pali"
12+
"Hannes Mehnert"
13+
"Haris Rotsos"
14+
"Kia"
15+
"Luke Dunstan"
16+
"Magnus Skjegstad"
17+
"Mindy Preston"
18+
"Nicolas Ojeda Bar"
19+
"Pablo Polvorin"
20+
"Richard Mortier"
21+
"Thomas Gazagnaire"
22+
"Thomas Leonard"
23+
"Tim Cuthbertson"
24+
"Vincent Bernardoff"
25+
"lnmx"
26+
"pqwy"
27+
]
1228
license: "ISC"
1329
tags: ["org:mirage"]
14-
15-
build: [
16-
["dune" "subst"] {dev}
17-
["dune" "build" "-p" name "-j" jobs]
18-
["dune" "runtest" "-p" name "-j" jobs] {with-test}
19-
]
20-
conflicts: [
21-
"mirage-xen" {< "6.0.0"}
22-
"ocaml-freestanding"
23-
"result" {< "1.5"}
24-
]
30+
homepage: "https://github.com/mirage/mirage-tcpip"
31+
bug-reports: "https://github.com/mirage/mirage-tcpip/issues"
2532
depends: [
26-
"dune" {>= "2.7.0"}
27-
"bisect_ppx" {dev & >= "2.5.0"}
33+
"dune" {>= "2.7"}
2834
"ocaml" {>= "4.08.0"}
35+
"arp" {>= "3.0.0"}
36+
"cmdliner" {>= "1.1.0"}
2937
"cstruct" {>= "6.0.0"}
3038
"cstruct-lwt"
31-
"mirage-net" {>= "3.0.0"}
32-
"mirage-clock" {>= "3.0.0"}
33-
"mirage-crypto-rng-mirage" {>= "1.0.0"}
34-
"mirage-time" {>= "2.0.0"}
35-
"ipaddr" {>= "5.6.0"}
36-
"macaddr" {>="4.0.0"}
37-
"macaddr-cstruct"
39+
"duration"
40+
"ethernet" {>= "3.0.0"}
3841
"fmt" {>= "0.8.7"}
42+
"ipaddr" {>= "5.6.0"}
43+
"ipaddr-cstruct"
44+
"logs" {>= "0.6.0"}
45+
"lru" {>= "0.3.0"}
3946
"lwt" {>= "4.0.0"}
4047
"lwt-dllist"
41-
"logs" {>= "0.6.0"}
42-
"duration"
43-
"randomconv" {>= "0.2.0"}
44-
"ethernet" {>= "3.0.0"}
45-
"arp" {>= "3.0.0"}
48+
"macaddr" {>= "4.0.0"}
49+
"macaddr-cstruct"
50+
"metrics"
51+
"mirage-clock" {>= "3.0.0"}
52+
"mirage-crypto-rng-mirage" {>= "1.0.0"}
4653
"mirage-flow" {>= "4.0.0"}
47-
"mirage-vnetif" {with-test & >= "0.6.2"}
48-
"alcotest" {with-test & >="1.5.0"}
49-
"pcap-format" {with-test}
54+
"mirage-net" {>= "3.0.0"}
55+
"mirage-time" {>= "2.0.0"}
56+
"randomconv" {>= "0.2.0"}
57+
"bisect_ppx" {dev & > "2.5.0"}
58+
"alcotest" {with-test & >= "1.5.0"}
5059
"mirage-clock-unix" {with-test & >= "3.0.0"}
5160
"mirage-crypto-rng" {with-test & >= "1.0.0"}
52-
"ipaddr-cstruct"
53-
"macaddr-cstruct"
54-
"lru" {>= "0.3.0"}
55-
"metrics"
56-
"cmdliner" {>= "1.1.0"}
61+
"mirage-vnetif" {with-test & >= "0.6.2"}
62+
"pcap-format" {with-test}
63+
"odoc" {with-doc}
5764
]
58-
synopsis: "OCaml TCP/IP networking stack, used in MirageOS"
59-
description: """
60-
`mirage-tcpip` provides a networking stack for the [Mirage operating
61-
system](https://mirage.io). It provides implementations for the following module types
62-
(which correspond with the similarly-named protocols):
63-
64-
* IP (via the IPv4 and IPv6 modules)
65-
* ICMP
66-
* UDP
67-
* TCP
68-
"""
65+
conflicts: [
66+
"ocaml-freestanding"
67+
"mirage-xen" {< "6.0.0"}
68+
"result" {< "1.5"}
69+
]
70+
build: [
71+
["dune" "subst"] {dev}
72+
[
73+
"dune"
74+
"build"
75+
"-p"
76+
name
77+
"-j"
78+
jobs
79+
"@install"
80+
"@runtest" {with-test}
81+
"@doc" {with-doc}
82+
]
83+
]
84+
dev-repo: "git+https://github.com/mirage/mirage-tcpip.git"

‎test/dune

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
(test
22
(name test)
3-
(libraries alcotest mirage-crypto-rng mirage-crypto-rng.unix lwt.unix logs logs.fmt
4-
mirage-flow mirage-vnetif mirage-clock-unix pcap-format duration
5-
mirage-crypto-rng-mirage arp arp.mirage ethernet tcpip.ipv4 tcpip.tcp tcpip.udp
6-
tcpip.stack-direct tcpip.icmpv4 tcpip.udpv4v6-socket tcpip.tcpv4v6-socket
7-
tcpip.icmpv4-socket tcpip.stack-socket tcpip.ipv6 ipaddr-cstruct
8-
macaddr-cstruct tcpip)
3+
(libraries alcotest mirage-crypto-rng mirage-crypto-rng.unix lwt.unix logs
4+
logs.fmt mirage-flow mirage-vnetif mirage-clock-unix pcap-format duration
5+
mirage-crypto-rng-mirage arp arp.mirage ethernet tcpip.ipv4 tcpip.tcp
6+
tcpip.udp tcpip.stack-direct tcpip.icmpv4 tcpip.udpv4v6-socket
7+
tcpip.tcpv4v6-socket tcpip.icmpv4-socket tcpip.stack-socket tcpip.ipv6
8+
ipaddr-cstruct macaddr-cstruct tcpip)
99
(action
1010
(run %{test} -q -e --color=always)))

0 commit comments

Comments
 (0)