Replace the old web server with halvm-web, fixing #87.

GaloisInc · May 23, 2017 · 11f41eb · 11f41eb
1 parent b5e640b
commit 11f41eb
Show file tree

Hide file tree

Showing 6 changed files with 4 additions and 221 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -5,3 +5,6 @@
 [submodule "src/openlibm"]
 	path = src/openlibm
 	url = git://github.com/acw/openlibm
+[submodule "examples/HighLevel/WebServer"]
+	path = examples/HighLevel/WebServer
+	url = https://github.com/GaloisInc/halvm-web.git
diff --git a/examples/HighLevel/WebServer b/examples/HighLevel/WebServer
diff --git a/examples/HighLevel/WebServer/.gitignore b/examples/HighLevel/WebServer/.gitignore
diff --git a/examples/HighLevel/WebServer/Makefile b/examples/HighLevel/WebServer/Makefile
diff --git a/examples/HighLevel/WebServer/WebServer.config b/examples/HighLevel/WebServer/WebServer.config
diff --git a/examples/HighLevel/WebServer/WebServer.hs b/examples/HighLevel/WebServer/WebServer.hs