Option giving the project root directory

[andreasabel]

I think it would be good if one could override the current working directory with a flag, similar to make -C <root-dir>. I'd want this e.g. for executing an non-installed agda living in source tree /agda-root/ from some wd /bar/.

/bar/$ cabal run --project-root=/agda-root agda -- someFile.agda

The name of this option could be bikeshed, e.g. --project-root, --projectdir, --directory (good old make).
We already have option --project-file, but there are projects that do not have such a file (just a .cabal file).

[cydparser]

I've implemented this in PR #8454

Please feel free to discuss/bikeshed in the PR.

[Mikolaj]

Could I ask for help reviewing the PR fixing this issue (#8454)? Even a cursory look and a comment whether this might fix your use case (bonus points for checking out and confirming) would be very much appreciated.

[Mikolaj]

A new proposal dropped at #8454. Could you kindly voice your opinion?

[andreasabel]

PR #8454 has not addressed the OP, at least with the latest cabal (3.12.1.0) cabal run --project-root=... does not work:

$ cabal run --project-root=$HOME/play/haskell/cabal-clean
Error: cabal: unrecognized 'run' option
`--project-root=/Users/abel/play/haskell/cabal-clean'

[andreasabel]

Sorry, the option name is --project-dir, and that works (since 3.12).
Thanks!