GDMD picking up wrong GDC
WebFreak001
d.forum at webfreak.org
Sun May 7 13:41:43 UTC 2023
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`?
More information about the D.gnu
mailing list