Skip to content

Commit f5d3d48

Browse files
committed
Add missing dependencies
1 parent a5a57f0 commit f5d3d48

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

src/info.rkt

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,10 @@
2222
"web-server-lib"
2323
("egg-herbie" #:version "2.0")
2424
("rival" #:version "1.7")
25-
("fpbench" #:version "2.0.3")))
25+
("fpbench" #:version "2.0.3")
26+
"vdt-herbie"
27+
"avx-herbie"
28+
"fdlibm-herbie"))
2629

2730
(define build-deps
2831
'("rackunit-lib"))

0 commit comments

Comments
 (0)