File tree Expand file tree Collapse file tree 7 files changed +1128
-8
lines changed Expand file tree Collapse file tree 7 files changed +1128
-8
lines changed Original file line number Diff line number Diff line change 2626 default : true
2727 override : true
2828 components : rustfmt, clippy
29- - run : cd src/egglog/egg-smol && cargo clippy --tests
30- - run : cd src/egglog/egg-smol && cargo test
31- - run : cd src/egglog/egg-smol && cargo fmt -- --check
32- - run : cd src/egglog/egg-smol && cargo build --release
29+ - run : cd src/egglog/egglog-wrapper && cargo clippy --tests
30+ - run : cd src/egglog/egglog-wrapper && cargo test
31+ - run : cd src/egglog/egglog-wrapper && cargo fmt -- --check
32+ - run : cd src/egglog/egglog-wrapper && cargo build --release
Original file line number Diff line number Diff line change @@ -20,3 +20,6 @@ egg-herbie/pkg
2020* .zo
2121* .dep
2222herbie-compiled /
23+
24+ # Rust
25+ src /egglog /egglog-wrapper /target /
Original file line number Diff line number Diff line change @@ -14,7 +14,7 @@ update:
1414 raco pkg update --name herbie --deps search-auto src/
1515
1616egglog :
17- cargo build --release --manifest-path=src/egglog/egg-smol /Cargo.toml
17+ cargo build --release --manifest-path=src/egglog/egglog-wrapper /Cargo.toml
1818
1919distribution : minimal-distribution
2020 cp -r bench herbie-compiled/
You can’t perform that action at this time.
0 commit comments