pact-service: Add z3, and allow overriding server location, enableACME and forceSSL

Author: dfordivam

pact-server/service.nix

@@ -1,5 +1,7 @@
 {
     hostName,
+    location,
+    enableHttps,
     nginxPort,
     pactPort,
     pactDataDir,
@@ -35,6 +37,7 @@ in {pkgs, lib, ...}: {
     description = "Pact Server";
     after = [ "network.target" ];
     wantedBy = [ "multi-user.target" ];
+    path = [ pkgs.z3 ];
 
     preStart = ''
       export PATH=$PATH:${pkgs.coreutils}/bin
@@ -60,10 +63,10 @@ in {pkgs, lib, ...}: {
     else [ 22 80 443 nginxPort ];
 
   services.nginx.virtualHosts."${hostName}" = {
-    enableACME = true;
-    forceSSL = true;
-    locations."/" = {
-      proxyPass = "http://localhost:${toString pactPort}";
+    enableACME = enableHttps;
+    forceSSL = enableHttps;
+    locations."${location}" = {
+      proxyPass = "http://localhost:${toString pactPort}/";
       extraConfig = ''
         # Restrict transaction size:
         client_max_body_size 1m;