GNU bug report logs - #34780
OpenMPI Java support

Previous Next

Full log

View this message in rfc822 format

From: Ricardo Wurmus <rekado <at> elephly.net>
To: Ludovic Courtès <ludovic.courtes <at> inria.fr>
Cc: ericbavier <at> centurylink.net, 34780 <at> debbugs.gnu.org
Subject: [bug#34780] [PATCH] gnu: openmpi: Add Java support.
Date: Mon, 18 Mar 2019 15:06:24 +0100

Ludovic Courtès <ludovic.courtes <at> inria.fr> writes:

> Hi Ricardo,
>
> Ricardo Wurmus <rekado <at> elephly.net> skribis:
>
>> * gnu/packages/mpi.scm (openmpi)[native-inputs]: Add openjdk11.
>> [outputs]: Add "java".
>> [arguments]: Add "--enable-mpi-java" to configure flags; add build phases
>> "set-JAVA_HOME" and "move-java".
>
> Nice.
>
> I’m uncomfortable adding OpenJDK as an input to OpenMPI though, because
> that puts more stress on the build times and potentially on platform
> support as well.

I understad.

> 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.

-- 
Ricardo

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.