Skip to content

Commit d3075c3

Browse files
committed
try to get build working again
1 parent efddf9d commit d3075c3

File tree

2 files changed

+1
-5
lines changed

2 files changed

+1
-5
lines changed

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ update:
1414
raco pkg update --name herbie --deps search-auto src/
1515

1616
egglog:
17-
cargo build --release --manifest-path=src/egglog/egg-smol/Cargo.toml
17+
cd src/egglog/egg-smol && cargo build --release
1818

1919
distribution: minimal-distribution
2020
cp -r bench herbie-compiled/

src/egglog/run-egglog.rkt

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -13,14 +13,10 @@
1313

1414
(define egg-iters 5)
1515
(define ground-truth-iters 0)
16-
(define compute-accuracy-iters 0)
1716
(define egg-node-limit 20000)
1817
(define egg-match-limit 1000)
19-
(define HIGH-COST 100000000)
2018
;; Number of egraphs to run (independent samples)
2119
(define egg-num-egraphs 2)
22-
;; local error threshold for search
23-
(define ERROR-THRESHOLD 0.0)
2420

2521

2622
;; var-intervals is a hash from variable names to

0 commit comments

Comments
 (0)