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.
This commit is contained in:
Ludovic Courtès 2014-11-06 14:54:40 +01:00
parent 12bcf94a9a
commit 50fe945c01

View file

@ -47,7 +47,19 @@ (define-public ots
(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)