[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#34780] [PATCH] gnu: openmpi: Add Java support.
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#34780] [PATCH] gnu: openmpi: Add Java support. |
|
Date: |
Tue, 19 Mar 2019 10:43:59 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
Ricardo Wurmus <address@hidden> skribis:
> Ricardo Wurmus <address@hidden> writes:
>
>>> Would it be an option to create a separate “openmpi-java” or would that
>>> create problems down the road?
>>
>> I’ll give that a try. I’m not sure if it’s possible to build the Java
>> parts in isolation, but that would be nice.
>
> This is done in commit fa5a25386620cec4b2543aae24fc9a0776aa3dca (it’s
> called “java-openmpi”).
Great, thank you!
Ludo’.