Add missing dependencies

herbie-fp · Oct 10, 2024 · f5d3d48 · f5d3d48
1 parent a5a57f0
commit f5d3d48
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/info.rkt b/src/info.rkt
@@ -22,7 +22,10 @@
     "web-server-lib"
     ("egg-herbie" #:version "2.0")
     ("rival" #:version "1.7")
-    ("fpbench" #:version "2.0.3")))
+    ("fpbench" #:version "2.0.3")
+    "vdt-herbie"
+    "avx-herbie"
+    "fdlibm-herbie"))
 
 (define build-deps
   '("rackunit-lib"))