Docker tweaks

pavpanchekha · pavpanchekha · commit c6c9dc4a5a58 · 2021-07-09T17:36:12.000-06:00
diff --git a/.dockerignore b/.dockerignore
@@ -1,7 +1,6 @@
 .git
-graphs
-ml-toy
+.github
+.gitignore
+reports
 papers
-herbie/compile/tc*
-herbie/compile/nr*
-rebuild-paper.sh
+egg-herbie/target
diff --git a/src/info.rkt b/src/info.rkt
@@ -29,7 +29,7 @@
     "profile-lib"
     "rackunit-lib"
     "web-server-lib"
-    ("egg-herbie" #:version "1.5")
+    ("egg-herbie" #:version "1.4")
     ("regraph" #:version "1.4")
     ("rival" #:version "1.4")
     ("fpbench" #:version "2.0.1")))
