Closed LordAro closed 1 year ago
Hello,
Thank you for this contribution!
Even though we indeed can’t use the GitHub merge feature anymore, a PR would be nicer: it helps us make sure we’re good wrt the CLA and having a ready-to-cherry-pick commit allows us to preserve credits to your work. ;-) Plus a PR still makes code review more convenient.
There's a few tests that fail when libadalang & friends are built in
prod
mode:All of which are failing due to looking for binaries/etc in the wrong folder (
dev
instead ofprod
). e.g.:Here's my patch for fixing this (can PR if you want, but I don't think you use them from the GH side?) : Reexports the driver's build_mode into an environment variable, which is then inserted as appropriate into the relevant tests.