[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