Merge pull request #1352 from herbie-fp/release-2.2

Release Herbie 2.2

Author: pavpanchekha

Dockerfile

@@ -4,20 +4,22 @@
 
 # Build image
 # Builds output under /herbie/egg-herbie
-FROM --platform=linux/amd64 rust:1.61.0 AS egg-herbie-builder
+FROM rust:1.88.0 AS egg-herbie-builder
 WORKDIR /herbie
 COPY egg-herbie egg-herbie
 RUN cargo build --release --manifest-path=egg-herbie/Cargo.toml
+RUN cargo install --locked --git https://github.com/egraphs-good/egglog.git --rev 052a330de22d40e9eded19e7f0891c921f7f458c
 
 # Production image
-FROM --platform=linux/amd64 racket/racket:8.13-full AS production
+FROM racket/racket:8.17-full AS production
 LABEL maintainer="Pavel Panchekha <[email protected]>"
 COPY --from=egg-herbie-builder /herbie/egg-herbie /src/egg-herbie
-RUN raco pkg install /src/egg-herbie
+RUN raco pkg install --no-docs /src/egg-herbie
+COPY --from=egg-herbie-builder /usr/local/cargo/bin/egglog /usr/local/bin/egglog
 COPY src /src/herbie
-RUN raco pkg install --auto /src/herbie
+RUN raco pkg install --no-docs --auto /src/herbie
 ENTRYPOINT ["racket", "/src/herbie/main.rkt"]
 EXPOSE 80
 # NOTE --public allows the Docker host to interact with the demo,
 # typical users shouldn't need to use it.
-CMD ["web", "--public", "--port", "80", "--quiet", "--demo"]
+CMD ["web", "--public", "--port", "80", "--quiet", "--demo", "--threads", "2"]

www/doc/2.2/docker.html

@@ -64,6 +64,12 @@ <h2>Running the web interface</h2>
   default; this command uses the <code>-p 8000:80</code> option to
   expose that container port as the host's port 8000.)</p>
 
+  <p>If you want to pass custom flags to the Herbie web server, make
+  sure to also pass the <code>--public</code>
+  and <code>--port=80</code> flags to enable the Dockerized Herbie to
+  talk to your computer. Make sure to access the server using HTTP,
+  not HTTPS.</p>
+
   <p>If you are using the <code>--log</code>
   or <code>--save-session</code> flags for the web shell, you will
   also need to mount the relevant directories into the Docker

www/doc/latest

@@ -1 +1 @@
-2.1
+2.2

www/index.html

@@ -79,6 +79,8 @@ <h3>Contribute</h3>
 
 <h2>Herbie Project News</h2>
 <ol id="news">
+  <li><time>4 Aug</time><a href="doc/2.2/release-notes.html">Herbie 2.2</a> is out today! The star of this release is a new <a href="doc/2.2/platforms.html">platform API</a> for pluggable compilation targets. Try it out!</li>
+  <hr class="yearmark" />
   <li><time>17 Jul</time>Today we are releasing <a href="doc/2.1/release-notes.html">Herbie 2.1</a>! This release makes Herbie's generated code&mdash;and Herbie itself&mdash;faster. Try it out!</li>
   <hr class="yearmark" />
   <li><time>30 Jun</time>We are proud to release <a href="doc/2.0/release-notes.html">Herbie 2.0</a>! This release teaches Herbie to optimize for both accuracy and speed, and includes a complete redesign of Herbie's reports and metrics. Try it out!</li>