From d8cb7d6d0faa6e3e6750d8179ed1c4e4f60688c2 Mon Sep 17 00:00:00 2001 From: Daniel Kroening 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; + } + } +} +