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