gnu: commencement: Disable Texinfo tests during bootstrap.
[jackhill/guix/guix.git] / gnu / packages / ld-wrapper.in
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)"
9bab6bea 11exec @GUILE@ -c "(load-compiled \"@SELF@.go\") (apply $main (cdr (command-line)))" "$@"
82dc2b9a 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
71b67168
LC
85(define %disable-rpath?
86 ;; Whether to disable automatic '-rpath' addition.
87 (getenv "GUIX_LD_WRAPPER_DISABLE_RPATH"))
88
41fc0eb9
LC
89(define (readlink* file)
90 ;; Call 'readlink' until the result is not a symlink.
cfbf7877
LC
91 (define %max-symlink-depth 50)
92
93 (let loop ((file file)
94 (depth 0))
cbbb11c8
LC
95 (define (absolute target)
96 (if (absolute-file-name? target)
97 target
98 (string-append (dirname file) "/" target)))
99
100 (if (>= depth %max-symlink-depth)
101 file
102 (call-with-values
103 (lambda ()
104 (catch 'system-error
105 (lambda ()
106 (values #t (readlink file)))
107 (lambda args
108 (let ((errno (system-error-errno args)))
109 (if (or (= errno EINVAL) (= errno ENOENT))
110 (values #f file)
111 (apply throw args))))))
112 (lambda (success? target)
113 (if success?
114 (loop (absolute target) (+ depth 1))
115 file))))))
41fc0eb9
LC
116
117(define (pure-file-name? file)
118 ;; Return #t when FILE is the name of a file either within the store
119 ;; (possibly via a symlink) or within the build directory.
cbbb11c8 120 (let ((file (readlink* file)))
cfbf7877
LC
121 (or (not (string-prefix? "/" file))
122 (string-prefix? %store-directory file)
123 (string-prefix? %temporary-directory file)
41fc0eb9
LC
124 (and %build-directory
125 (string-prefix? %build-directory file)))))
82dc2b9a 126
51d0cd9b
LC
127(define (store-file-name? file)
128 ;; Return #t when FILE is a store file, possibly indirectly.
cbbb11c8 129 (string-prefix? %store-directory (readlink* file)))
51d0cd9b 130
f307947e
LC
131(define (shared-library? file)
132 ;; Return #t when FILE denotes a shared library.
133 (or (string-suffix? ".so" file)
134 (let ((index (string-contains file ".so.")))
135 ;; Since we cannot use regexps during bootstrap, roll our own.
136 (and index
137 (string-every (char-set-union (char-set #\.) char-set:digit)
138 (string-drop file (+ index 3)))))))
139
e946b609
LC
140(define (library-search-path args)
141 ;; Return the library search path as a list of directory names. The GNU ld
142 ;; manual notes that "[a]ll `-L' options apply to all `-l' options,
143 ;; regardless of the order in which the options appear", so we must compute
144 ;; the search path independently of the -l options.
145 (let loop ((args args)
146 (path '()))
147 (match args
148 (()
149 (reverse path))
150 (("-L" directory . rest)
151 (loop rest (cons directory path)))
152 ((argument . rest)
153 (if (string-prefix? "-L" argument) ;augment the search path
154 (loop rest
155 (cons (string-drop argument 2) path))
156 (loop rest path))))))
157
158(define (library-files-linked args library-path)
159 ;; Return the absolute file names of shared libraries explicitly linked
160 ;; against via `-l' or with an absolute file name in ARGS, looking them up
161 ;; in LIBRARY-PATH.
162 (define files+args
d8491ba5
LC
163 (fold (lambda (argument result)
164 (match result
e946b609
LC
165 ((library-files ((and flag
166 (or "-dynamic-linker" "-plugin"))
167 . rest))
b5616bc3
LC
168 ;; When passed '-dynamic-linker ld.so', ignore 'ld.so'; when
169 ;; passed '-plugin liblto_plugin.so', ignore
170 ;; 'liblto_plugin.so'. See <http://bugs.gnu.org/20102>.
e946b609 171 (list library-files
b5616bc3 172 (cons* argument flag rest)))
e946b609
LC
173 ((library-files previous-args)
174 (cond ((string-prefix? "-l" argument) ;add library
d8491ba5
LC
175 (let* ((lib (string-append "lib"
176 (string-drop argument 2)
177 ".so"))
178 (full (search-path library-path lib)))
e946b609 179 (list (if full
4a2b74bf
LC
180 (cons full library-files)
181 library-files)
182 (cons argument previous-args))))
d8491ba5 183 ((and (string-prefix? %store-directory argument)
f307947e 184 (shared-library? argument)) ;add library
e946b609 185 (list (cons argument library-files)
4a2b74bf 186 (cons argument previous-args)))
d8491ba5 187 (else
e946b609 188 (list library-files
4a2b74bf 189 (cons argument previous-args)))))))
e946b609 190 (list '() '())
d8491ba5
LC
191 args))
192
e946b609
LC
193 (match files+args
194 ((files arguments)
d8491ba5
LC
195 (reverse files))))
196
197(define (rpath-arguments library-files)
198 ;; Return the `-rpath' argument list for each of LIBRARY-FILES, a list of
199 ;; absolute file names.
82dc2b9a 200 (fold-right (lambda (file args)
51d0cd9b
LC
201 ;; Add '-rpath' if and only if FILE is in the store; we don't
202 ;; want to add '-rpath' for files under %BUILD-DIRECTORY or
203 ;; %TEMPORARY-DIRECTORY because that could leak to installed
204 ;; files.
71b67168
LC
205 (cond ((and (not %disable-rpath?)
206 (store-file-name? file))
51d0cd9b
LC
207 (cons* "-rpath" (dirname file) args))
208 ((or %allow-impurities?
209 (pure-file-name? file))
210 args)
211 (else
212 (begin
213 (format (current-error-port)
214 "ld-wrapper: error: attempt to use \
215impure library ~s~%"
216 file)
217 (exit 1)))))
82dc2b9a
LC
218 '()
219 library-files))
220
221(define (ld-wrapper . args)
222 ;; Invoke the real `ld' with ARGS, augmented with `-rpath' switches.
e946b609
LC
223 (let* ((path (library-search-path args))
224 (libs (library-files-linked args path))
d8491ba5
LC
225 (args (append args (rpath-arguments libs))))
226 (when %debug?
e946b609
LC
227 (format (current-error-port)
228 "ld-wrapper: library search path: ~s~%" path)
4267c637
LC
229 (format (current-error-port)
230 "ld-wrapper: libraries linked: ~s~%" libs)
d8491ba5
LC
231 (format (current-error-port)
232 "ld-wrapper: invoking `~a' with ~s~%"
233 %real-ld args))
82dc2b9a
LC
234 (apply execl %real-ld (basename %real-ld) args)))
235
236;;; ld-wrapper.scm ends here