From d8cb7d6d0faa6e3e6750d8179ed1c4e4f60688c2 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Fri, 2 May 2025 20:03:01 -0700
Subject: [PATCH] CPROVER on the web

---
 scripts/cprover-web/nginx.conf | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 scripts/cprover-web/nginx.conf

diff --git a/scripts/cprover-web/nginx.conf b/scripts/cprover-web/nginx.conf
new file mode 100644
index 00000000000..18cd39ff606
--- /dev/null
+++ b/scripts/cprover-web/nginx.conf
@@ -0,0 +1,21 @@
+error_log /Users/kroening/cprover-web/error.log;
+pid /Users/kroening/cprover-web/nginx.pid;
+
+events {
+}
+
+http {
+  server {
+    client_body_temp_path /Users/kroening/cprover-web/client_body_temp;
+    proxy_temp_path /Users/kroening/cprover-web/proxy_temp;
+    fastcgi_temp_path /Users/kroening/cprover-web/fastcgi_temp;
+    uwsgi_temp_path /Users/kroening/cprover-web/uwsgi_temp;
+    scgi_temp_path /Users/kroening/cprover-web/scgi_temp;
+    access_log /Users/kroening/cprover-web/access.log;
+    listen 8080;
+    location / {
+        root /Users/kroening/cprover-web;
+    }
+  }
+}
+