Re: GDMD picking up wrong GDC

2023-05-04 Thread Iain Buclaw via D.gnu
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

GDMD picking up wrong GDC

2023-05-04 Thread WebFreak001 via D.gnu
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? Ri