[Pkg-openmpi-maintainers] Bug#846965: openmpi: Still FTBFS on hurd-i386 (Re: Bug#846965 closed by Alastair McKinstry <mckinstry at debian.org> (Bug#846965: fixed in openmpi 2.0.2~git.20161225-3))
Samuel Thibault
sthibault at debian.org
Mon Dec 12 15:48:55 UTC 2016
Samuel Thibault, on Sun 11 Dec 2016 18:06:04 +0100, wrote:
> Samuel Thibault, on Tue 06 Dec 2016 00:36:40 +0100, wrote:
> > Debian Bug Tracking System, on Mon 05 Dec 2016 15:54:09 +0000, wrote:
> > > * Updates to build_hurd patch from Samuel Thibault Closes: #846965
> >
> > Here is a fix.
>
> Bleh, missing patch. Here it is, could you apply it?
Erf, now it failed on the additional oshrun and oshmem_info manpages
which are available on Linux only. The attached patch and doing chmod +x
debian/openmpi-bin.manpages fixes this.
Samuel
-------------- next part --------------
--- debian/control.original 2016-12-12 15:45:20.000000000 +0000
+++ debian/control 2016-12-12 15:45:27.000000000 +0000
@@ -4,7 +4,7 @@
Maintainer: Alastair McKinstry <mckinstry at debian.org>
Uploaders: Debian Open MPI Maintainers <pkg-openmpi-maintainers at lists.alioth.debian.org>,
Manuel Prinz <manuel at debian.org>, Sylvestre Ledru <sylvestre at debian.org>
-Build-Depends: dpkg-dev (>= 1.16.1~), debhelper (>= 9),
+Build-Depends: dpkg-dev (>= 1.16.1~), debhelper (>= 9), dh-exec,
automake, autoconf (>= 2.59), libtool, libltdl-dev, autotools-dev,
gfortran, gcc (>= 4:5.2.1), chrpath,
libhwloc-dev,
--- debian/openmpi-bin.manpages.original 2016-12-12 15:45:46.000000000 +0000
+++ debian/openmpi-bin.manpages 2016-12-12 15:45:48.000000000 +0000
@@ -1,3 +1,4 @@
+#!/usr/bin/dh-exec
debian/tmp/usr/share/man/man1/ompi-clean.1
debian/tmp/usr/share/man/man1/ompi_info.1
debian/tmp/usr/share/man/man1/ompi-ps.1
@@ -13,5 +14,5 @@
debian/tmp/usr/share/man/man1/mpirun.openmpi.1
debian/tmp/usr/share/man/man1/orte-dvm.1
debian/tmp/usr/share/man/man1/orte-server.1
-debian/tmp/usr/share/man/man1/oshrun.1
-debian/tmp/usr/share/man/man1//oshmem_info.1
+<linux-any> debian/tmp/usr/share/man/man1/oshrun.1
+<linux-any> debian/tmp/usr/share/man/man1//oshmem_info.1
More information about the Pkg-openmpi-maintainers
mailing list