Bug#898897: libomp-dev: Add missing ompt.h file

[Vincent Danjean]

Package: libomp-dev
Version: 6.0-2
Severity: normal
Tags: patch

  Since a few months, OMP trace is enabled by default on supported
architechtures (at least amd64) so the current runtime provided by Debian
already includes this feature. However, for OpenMP programs to use this
feature, the ompt.h header file is required at compilation time.
  So, can you include this header in the -dev package ?

  The following small patch allows me to use OMPT in an OpenMP program:

diff --git a/debian/libomp-dev.install b/debian/libomp-dev.install
index 5c2c951..c7a93cd 100644
--- a/debian/libomp-dev.install
+++ b/debian/libomp-dev.install
@@ -1,2 +1,3 @@
 usr/include/omp.h
+usr/include/ompt.h
 usr/lib/*.so

  Regards,
   Vincent

-- System Information:
Debian Release: buster/sid
  APT prefers stable-updates
  APT policy: (500, 'stable-updates'), (500, 'oldstable-updates'), (500, 'unstable'), (500, 'testing'), (500, 'stable'), (200, 'oldstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386, armel, mipsel

Kernel: Linux 4.16.0-trunk-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.utf8, LC_CTYPE=fr_FR.utf8 (charmap=UTF-8), LANGUAGE=fr_FR.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages libomp-dev depends on:
ii  libc6       2.27-3
ii  libgcc1     1:8-20180425-1
ii  libomp5     6.0-2
ii  libstdc++6  8-20180425-1

libomp-dev recommends no packages.

Versions of packages libomp-dev suggests:
pn  libomp-doc  <none>

-- no debconf information