Fix regeneration of multi-file dependencies
[hcoop/domtool2.git] / lib / easy_domain.dtl
CommitLineData
6bb366c5
AC
1{{The most common kinds of domain configuration}}
2
6eeb3bf9 3val default_node : (node) = "mire";
60695e99 4val web_node : (web_node) = "mire";
15e529d6
AC
5
6val webAt =
ae272cb5
AC
7 \ n : (web_node) ->
8 \ host : (host) ->
9 \\ config : Vhost -> begin
cfedb922 10 dns (dnsA (literal host) (ip_of_node (web_node_to_node n)));
15e529d6 11
ae272cb5
AC
12 vhost host where
13 WebPlaces = [web_place_default n]
14 with
15 config
16 end
17 end;
15e529d6
AC
18
19val web = webAt web_node;
6bb366c5 20
2e87719c 21val webAtIp =
ae272cb5
AC
22 \ ip : (your_ip) ->
23 \ host : (host) ->
24 \\ config : Vhost -> begin
cfedb922 25 dns (dnsA (literal host) (your_ip_to_ip ip));
2e87719c 26
ae272cb5
AC
27 vhost host where
28 WebPlaces = [web_place web_node ip]
29 with
30 config
31 end
32 end;
2e87719c 33
a356587a 34val addDefaultAlias = begin
d4e42f2a 35 mailbox <- Mailbox;
a356587a 36 defaultAlias mailbox
d4e42f2a
AC
37end;
38
39val addWww = begin
40 web "www" with
41 serverAliasDefault;
42 www : [Vhost] <- WWW;
43 www
44 end
45end;
46
a356587a 47val dom =
ae272cb5
AC
48 \ d : (your_domain) ->
49 \\ config : Domain ->
50 domain d with
51 dns (dnsNS "ns1.hcoop.net");
52 dns (dnsNS "ns3.hcoop.net");
6bb366c5 53
cfedb922 54 dns (dnsA default (ip_of_node (web_node_to_node web_node)));
6eeb3bf9 55
b3cab94c
AC
56 hmail : bool <- HandleMail;
57 if hmail then
58 handleMail
59 else
60 Skip
61 end;
62
63 amx : bool <- AddMX;
64 if amx then
65 dns (dnsMX 1 "deleuze.hcoop.net")
66 else
67 Skip
68 end;
6bb366c5 69
ae272cb5
AC
70 createWWW : bool <- CreateWWW;
71 if createWWW then
72 addWww
73 else
74 Skip
75 end;
d4e42f2a 76
ae272cb5
AC
77 defAl : bool <- DefaultAlias;
78 if defAl then
79 addDefaultAlias
80 else
81 Skip
82 end;
d4e42f2a 83
ae272cb5
AC
84 config
85 end;
6b718954 86
8c142ff5 87val nameserver = \host -> dns (dnsNS host);
cfedb922
AC
88val dnsIP = \from -> \to -> dns (dnsA (literal from) to);
89val dnsIPv6 = \from -> \to -> dns (dnsAAAA (literal from) to);
8c142ff5 90val dnsMail = \num -> \host -> dns (dnsMX num host);
cfedb922
AC
91val dnsAlias = \from -> \to -> dns (dnsCNAME (literal from) to);
92val dnsDefault = \to -> dns (dnsA default to);
93val dnsDefaultv6 = \to -> dns (dnsAAAA default to);
63ac3b82
AC
94val dnsText = \from -> \to -> dns (dnsTXT (srv_literal from) to);
95val dnsDefaultText = \to -> dns (dnsTXT srv_default to);
6b65a0a6 96