[m-dev.] Determining which grades an installed Mercury compiler supports

Keri Harris keri at gentoo.org
Thu Jul 19 17:26:13 AEST 2018


On 19/07/2018 09:04, Julien Fischer wrote:
> 
> Hi Keri,
> 
> On Thu, 19 Jul 2018, Keri Harris wrote:
> 
>> On 18/07/2018 20:53, Zoltan Somogyi wrote:
>>>
>>>>  Strictly speaking, these issues are more related to bundling Mercury
>>>>  with package manager than being inherent to Mercury itself. But 
>>>> both of
>>>>  these issues make me wonder if there is a more resilient way of
>>>>  determining which grades the compiler supports.
>>>
>>>  We could bake into the compiler the list of the grades that were
>>>  configured
>>>  to be installed at the time the compiler executable was itself created.
>>>  However, that would still be vulnerable to parts of the install 
>>> directory
>>>  being overwritten later.
>>
>> That would certainly work. Another option would be to follow the same 
>> logic as that used for C grades - look for a uniquely identifiable 
>> file belonging to the std library for each non-C grade.
> 
> Commit 697b677 does that for the erlang grade.  I'll fix the
> Java and C# grades shortly.

Thanks for the quick fix for this.


Keri



More information about the developers mailing list