egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Check $EGGCC_ROOT for repo root instead of always assuming cwd #549

Closed rtjoa closed 4 months ago

rtjoa commented 4 months ago

@oflatt I'm not aware of a general way to do this, and we want to be relative to the repo dir, rather than the binary. I think approaches like this are common when there are version-controlled util binaries (this, or having people update $PATH).

Also note that this doesn't break any current workflow, which all must be from the repo root. For context, this change is so I can set up some scripts that run from another location.