gnu: Add 'make-ld-wrapper' procedure.
[jackhill/guix/guix.git] / gnu / packages / ld-wrapper.scm
CommitLineData
dfb53ee2 1#!@BASH@
82dc2b9a
LC
2# -*- mode: scheme; coding: utf-8; -*-
3
4# XXX: We have to go through Bash because there's no command-line switch to
5# augment %load-compiled-path, and because of the silly 127-byte limit for
6# the shebang line in Linux.
7# Use `load-compiled' because `load' (and `-l') doesn't otherwise load our
8# .go file (see <http://bugs.gnu.org/12519>).
9
dfb53ee2 10main="(@ (gnu build-support ld-wrapper) ld-wrapper)"
82dc2b9a
LC
11exec @GUILE@ -c "(load-compiled \"$0.go\") (apply $main (cdr (command-line)))" "$@"
12!#
4155e2a9 13;;; GNU Guix --- Functional package management for GNU
d8491ba5 14;;; Copyright © 2012, 2013, 2014, 2015 Ludovic Courtès <ludo@gnu.org>
82dc2b9a 15;;;
4155e2a9 16;;; This file is part of GNU Guix.
82dc2b9a 17;;;
4155e2a9 18;;; GNU Guix is free software; you can redistribute it and/or modify it
82dc2b9a
LC
19;;; under the terms of the GNU General Public License as published by
20;;; the Free Software Foundation; either version 3 of the License, or (at
21;;; your option) any later version.
22;;;
4155e2a9 23;;; GNU Guix is distributed in the hope that it will be useful, but
82dc2b9a
LC
24;;; WITHOUT ANY WARRANTY; without even the implied warranty of
25;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
26;;; GNU General Public License for more details.
27;;;
28;;; You should have received a copy of the GNU General Public License
4155e2a9 29;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
82dc2b9a 30
dfb53ee2 31(define-module (gnu build-support ld-wrapper)
82dc2b9a 32 #:use-module (srfi srfi-1)
d8491ba5 33 #:use-module (ice-9 match)
82dc2b9a
LC
34 #:export (ld-wrapper))
35
36;;; Commentary:
37;;;
38;;; This is a wrapper for the linker. Its purpose is to inspect the -L and
39;;; -l switches passed to the linker, add corresponding -rpath arguments, and
40;;; invoke the actual linker with this new set of arguments.
41;;;
42;;; The alternatives to this hack would be:
43;;;
44;;; 1. Using $LD_RUN_PATH. However, that would tend to include more than
45;;; needed in the RPATH; for instance, given a package with `libfoo' as
46;;; an input, all its binaries would have libfoo in their RPATH,
47;;; regardless of whether they actually NEED it.
48;;;
49;;; 2. Use a GCC "lib" spec string such as `%{L*:-rpath %*}', which adds a
50;;; `-rpath LIBDIR' argument for each occurrence of `-L LIBDIR'.
51;;; However, this doesn't work when $LIBRARY_PATH is used, because the
52;;; additional `-L' switches are not matched by the above rule, because
53;;; the rule only matches explicit user-provided switches. See
54;;; <http://gcc.gnu.org/ml/gcc-help/2012-09/msg00110.html> for details.
55;;;
56;;; As a bonus, this wrapper checks for "impurities"--i.e., references to
57;;; libraries outside the store.
58;;;
59;;; Code:
60
61(define %real-ld
62 ;; Name of the linker that we wrap.
63 "@LD@")
64
65(define %store-directory
66 ;; File name of the store.
8be3b8a3 67 (or (getenv "NIX_STORE") "/gnu/store"))
82dc2b9a
LC
68
69(define %temporary-directory
70 ;; Temporary directory.
71 (or (getenv "TMPDIR") "/tmp"))
72
73(define %build-directory
74 ;; Top build directory when run from a builder.
75 (getenv "NIX_BUILD_TOP"))
76
77(define %allow-impurities?
78 ;; Whether to allow references to libraries outside the store.
79 (getenv "GUIX_LD_WRAPPER_ALLOW_IMPURITIES"))
80
81(define %debug?
82 ;; Whether to emit debugging output.
83 (getenv "GUIX_LD_WRAPPER_DEBUG"))
84
85(define (pure-file-name? file)
cfbf7877
LC
86 ;; Return #t when FILE is the name of a file either within the store
87 ;; (possibly via a symlink) or within the build directory.
88 (define %max-symlink-depth 50)
89
90 (let loop ((file file)
91 (depth 0))
92 (or (not (string-prefix? "/" file))
93 (string-prefix? %store-directory file)
94 (string-prefix? %temporary-directory file)
95 (if %build-directory
96 (string-prefix? %build-directory file)
97
98 ;; When used from a user environment, FILE may refer to
99 ;; ~/.guix-profile/lib/libfoo.so, which is itself a symlink to the
100 ;; store. Check whether this is the case.
101 (let ((s (false-if-exception (lstat file))))
102 (and s
103 (eq? 'symlink (stat:type s))
104 (< depth %max-symlink-depth)
105 (loop (readlink file) (+ 1 depth))))))))
82dc2b9a 106
f307947e
LC
107(define (shared-library? file)
108 ;; Return #t when FILE denotes a shared library.
109 (or (string-suffix? ".so" file)
110 (let ((index (string-contains file ".so.")))
111 ;; Since we cannot use regexps during bootstrap, roll our own.
112 (and index
113 (string-every (char-set-union (char-set #\.) char-set:digit)
114 (string-drop file (+ index 3)))))))
115
82dc2b9a
LC
116(define (library-files-linked args)
117 ;; Return the file names of shared libraries explicitly linked against via
d8491ba5
LC
118 ;; `-l' or with an absolute file name in ARGS.
119 (define path+files
120 (fold (lambda (argument result)
121 (match result
122 ((library-path . library-files)
123 (cond ((string-prefix? "-L" argument) ;augment the search path
124 (cons (append library-path
125 (list (string-drop argument 2)))
126 library-files))
127 ((string-prefix? "-l" argument) ;add library
128 (let* ((lib (string-append "lib"
129 (string-drop argument 2)
130 ".so"))
131 (full (search-path library-path lib)))
132 (if full
133 (cons library-path
134 (cons full library-files))
135 result)))
136 ((and (string-prefix? %store-directory argument)
f307947e 137 (shared-library? argument)) ;add library
d8491ba5
LC
138 (cons library-path
139 (cons argument library-files)))
140 (else
141 result)))))
142 (cons '() '())
143 args))
144
145 (match path+files
146 ((path . files)
147 (reverse files))))
148
149(define (rpath-arguments library-files)
150 ;; Return the `-rpath' argument list for each of LIBRARY-FILES, a list of
151 ;; absolute file names.
82dc2b9a 152 (fold-right (lambda (file args)
d8491ba5
LC
153 (if (or %allow-impurities?
154 (pure-file-name? file))
155 (cons* "-rpath" (dirname file) args)
156 (begin
157 (format (current-error-port)
158 "ld-wrapper: error: attempt to use impure library ~s~%"
159 file)
160 (exit 1))))
82dc2b9a
LC
161 '()
162 library-files))
163
164(define (ld-wrapper . args)
165 ;; Invoke the real `ld' with ARGS, augmented with `-rpath' switches.
d8491ba5
LC
166 (let* ((libs (library-files-linked args))
167 (args (append args (rpath-arguments libs))))
168 (when %debug?
169 (format (current-error-port)
170 "ld-wrapper: invoking `~a' with ~s~%"
171 %real-ld args))
82dc2b9a
LC
172 (apply execl %real-ld (basename %real-ld) args)))
173
174;;; ld-wrapper.scm ends here