Update Ubuntu version for Ur/Web (#9463)

achlipala · web-flow · commit bdd37c180812 · 2024-12-17T10:16:35.000-08:00
* Baseline Ur/Web configuration now works building the Ur/Web compiler and runtime from source

* Update Ur/Web MySQL baseline

* Get current version of Ur/Web cached queries unbroken (and tag myself as maintainer)

* For Ur/Web caching tests, switch to building Ur/Web from source

* Update Ubuntu version for Ur/Web

* Change Ur/Web's Ubuntu version to latest LTS
diff --git a/frameworks/Ur/urweb/README.md b/frameworks/Ur/urweb/README.md
@@ -19,5 +19,3 @@ To compile a standalone executable running on port 8080, run `urweb bench`.  See
 `bench.ur` is the main source file.  `bench.urs` is the signature file describing the module's exported functions.  `bench.urp` is the project file giving compilation directives.
 
 `benchmark_config.json` includes metadata for the framework comparison.
-
-`__init__.py` and `setup.py` are for starting and stopping the Ur/Web server.  `setup_mysql.py` is a variant using MySQL instead of PostgreSQL.
diff --git a/frameworks/Ur/urweb/urweb-cache.dockerfile b/frameworks/Ur/urweb/urweb-cache.dockerfile
@@ -1,4 +1,4 @@
-FROM ubuntu:23.10
+FROM ubuntu:24.04
 
 ADD ./ /urweb
 WORKDIR /urweb
diff --git a/frameworks/Ur/urweb/urweb-mysql-cache.dockerfile b/frameworks/Ur/urweb/urweb-mysql-cache.dockerfile
@@ -1,4 +1,4 @@
-FROM ubuntu:23.10
+FROM ubuntu:24.04
 
 ADD ./ /urweb
 WORKDIR /urweb
diff --git a/frameworks/Ur/urweb/urweb-mysql.dockerfile b/frameworks/Ur/urweb/urweb-mysql.dockerfile
@@ -1,4 +1,4 @@
-FROM ubuntu:23.10
+FROM ubuntu:24.04
 
 ADD ./ /urweb
 WORKDIR /urweb
diff --git a/frameworks/Ur/urweb/urweb.dockerfile b/frameworks/Ur/urweb/urweb.dockerfile
@@ -1,4 +1,4 @@
-FROM ubuntu:23.10
+FROM ubuntu:24.04
 
 ADD ./ /urweb
 WORKDIR /urweb

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-FROM ubuntu:23.10`
	`1`	`+FROM ubuntu:24.04`
`2`	`2`
`3`	`3`	`ADD ./ /urweb`
`4`	`4`	`WORKDIR /urweb`