lib: set default php version to php 7.2

[hcoop/domtool2.git] / lib / apache.dtl

diff --git a/lib/apache.dtl b/lib/apache.dtl
index 8b7051c..c4a8ac7 100644 (file)
--- a/lib/apache.dtl
+++ b/lib/apache.dtl
@@ -7,10 +7,11 @@ extern val web_node_to_node : web_node -> node;
 
 extern type web_place;
 extern val web_place_default : web_node -> web_place;
-extern val web_place : web_node -> your_ip -> web_place;
+extern val web_place : web_node -> your_ip -> your_ipv6 -> web_place;
 extern val web_place_to_web_node : web_place -> web_node;
 extern val web_place_to_node : web_place -> node;
 extern val web_place_to_ip : web_place -> ip;
+extern val web_place_to_ipv6 : web_place -> ipv6;
 {{Web places are combinations of web nodes (servers on which you are allowed to
   run web sites) and IP addresses on which those servers should listen for
   requests.}}
@@ -26,13 +27,22 @@ For others, it has only one value, [true].}}
 extern type ssl_cert_path;
 {{Filesystem path to an SSL certificate in your 'cert' list}}
 
+extern type ssl_cacert_path;
+{{Filesystem path to an intermediate CA certificate in your 'cacert' list}}
+
 extern type ssl;
 extern val no_ssl : ssl;
 extern val use_cert : ssl_cert_path -> ssl;
 
 extern type php_version;
-extern val php4 : php_version;
-extern val php5 : php_version;
+extern val php56 : php_version;
+{{FastCGI based php 5.6.}}
+extern val php72 : php_version;
+{{FastCGI based php 7.2.}}
+extern val php73 : php_version;
+{{FastCGI based php 7.3.}}
+
+val fast_php : php_version = php56;
 
 extern val vhost : host -> Vhost => [Domain]
   {WebPlaces : [web_place],
@@ -87,3 +97,7 @@ extern val serverAliasDefault : [Vhost];
   instead of any of their hosts/"subdomains".}}
 
 extern val testNoHtaccess : [Location];
+
+extern val sslCertificateChainFile : ssl_cacert_path -> [Vhost];
+{{Intermediate file to serve as part of the chain of authority for
+  your ssl certificate}}
\ No newline at end of file