gnu: ots: Make sure the shared library has the '.so' extension.

Fixes <http://bugs.gnu.org/18521>.

* gnu/packages/ots.scm (ots)[arguments]: Add #:phases.

1 files changed, 13 insertions, 1 deletions

diff --git a/gnu/packages/ots.scm b/gnu/packages/ots.scm
index e317245355..1c0d4a71f4 100644
--- a/gnu/packages/ots.scm
+++ b/gnu/packages/ots.scm
@@ -47,7 +47,19 @@
     (arguments
      ;; With '-jN', the rule to build the 'ots' command can be triggered
      ;; before libots-1.la has been built.
-     '(#:parallel-build? #f))
+     '(#:parallel-build? #f
+
+       #:phases (alist-cons-after
+                 'configure 'set-shared-lib-extension
+                 (lambda _
+                   ;; For some reason, the 'libtool' script (from Libtool
+                   ;; 1.5.2, Debian variant) sets 'shrext_cmds' instead of
+                   ;; 'shrext' for the shared library file name extension.
+                   ;; This leads to the creation of 'libots-1' instead of
+                   ;; 'libots-1.so'.  Fix that.
+                   (substitute* "libtool"
+                     (("shrext_cmds") "shrext")))
+                 %standard-phases)))
     (inputs
       `(("glib" ,glib)
         ("popt" ,popt)