Get eggcc repo root from target rather than $EGGCC_ROOT - Githubissues

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Get eggcc repo root from target rather than $EGGCC_ROOT #566

Closed rtjoa closed 4 months ago

oflatt commented 4 months ago

We'll revisit this problem and use Is there any way to include binary or text files in a Rust library?