Hi,
Find attached the updated patch. I applied your suggestions.

Nicolò Balzarotti wrote:
>>> -            ;; "-DLLVM_HOST_TRIPLE=${stdenv.hostPlatform.config}"
>>> -            ;; "-DLLVM_DEFAULT_TARGET_TRIPLE=${stdenv.hostPlatform.config}"
>>> -            ;; "-DLLVM_EXPERIMENTAL_TARGETS_TO_BUILD=WebAssembly"
>> Those seems to be taken from nixos, but is there a reason why are those
>> commented?

No clue, this was already there.

>>> build to install
>>>
>>> What does this comment refer to?

Some leftover I forgot to remove.

Cheers,
jB