On Thursday, 4 May 2023 at 14:58:48 UTC, Iain Buclaw wrote:
On Thursday, 4 May 2023 at 13:05:07 UTC, WebFreak001 wrote:
In GitHub Actions I installed `sudo apt install gdc-12` now
inside Ubuntu 22.04, however `gdc` still seemed to be a small
extra package that's symlinking gdc to gdc-11.
Now gdmd is picking up GDC 11 instead of GDC 12, causing
issues in the build.
Is there a way to tell gdmd to use GDC 12? Right now I hacked
around this by doing
I imagine what you're seeing is gdmd using the correct version
of the compiler, just not the one you wanted.
https://github.com/D-Programming-GDC/gdmd/blob/master/dmd-script#L71-L76
I have multiple GDCs installed through apt, how do I make gdmd
pick the higher one (`gdc-12`) and not just `gdc`?
