Subject: Re: [bug#31172] [PATCH] gnu: Add psm2.
From: [email-masked] (Ludovic Courtès)
To: Rouby Pierre-Antoine <[email-masked]>
Cc: [email-masked]
Date: Thu, 26 Apr 2018 15:22:12 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Rouby Pierre-Antoine <[email-masked]> skribis:

> * gnu/packages/linux.scm (psm2): New variable.

Awesome, applied with the following changes.

Thank you!

Ludo’.

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index 2b82babfa..8fc9c56d6 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -4665,7 +4665,8 @@ privileges.")
                   (replace 'install
                     (lambda _
                       (setenv "DESTDIR" %output)
-                      (invoke "make" "install"))))))
+                      (invoke "make" "install")
+                      #t)))))
     (inputs
      `(("rdma-core" ,rdma-core)
        ("numactl" ,numactl)))
@@ -4674,7 +4675,7 @@ privileges.")
      "This package is low-level user-level Intel's communications interface.
 The PSM2 API is a high-performance vendor-specific protocol that provides a
 low-level communications interface for the Intel Omni-Path family of
-products.")
+high-speed networking devices.")
     (home-page "https://github.com/intel/opa-psm2")
     ;; Only the x86_64 architecure is supported.
     (supported-systems '("x86_64-linux"))