gnu: Add r-all.
[jackhill/guix/guix.git] / guix / utils.scm
CommitLineData
233e7676 1;;; GNU Guix --- Functional package management for GNU
4e48923e 2;;; Copyright © 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019 Ludovic Courtès <ludo@gnu.org>
3f00ff8b 3;;; Copyright © 2013, 2014, 2015 Mark H Weaver <mhw@netris.org>
516e3b6f 4;;; Copyright © 2014 Eric Bavier <bavier@member.fsf.org>
29a7c98a 5;;; Copyright © 2014 Ian Denhardt <ian@zenhack.net>
1b846da8 6;;; Copyright © 2016 Mathieu Lirzin <mthl@gnu.org>
bbd00d20 7;;; Copyright © 2015 David Thompson <davet@gnu.org>
e45b573c 8;;; Copyright © 2017 Mathieu Othacehe <m.othacehe@gmail.com>
259341cf 9;;; Copyright © 2018 Marius Bakke <mbakke@fastmail.com>
e3deeebb 10;;;
233e7676 11;;; This file is part of GNU Guix.
e3deeebb 12;;;
233e7676 13;;; GNU Guix is free software; you can redistribute it and/or modify it
e3deeebb
LC
14;;; under the terms of the GNU General Public License as published by
15;;; the Free Software Foundation; either version 3 of the License, or (at
16;;; your option) any later version.
17;;;
233e7676 18;;; GNU Guix is distributed in the hope that it will be useful, but
e3deeebb
LC
19;;; WITHOUT ANY WARRANTY; without even the implied warranty of
20;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
21;;; GNU General Public License for more details.
22;;;
23;;; You should have received a copy of the GNU General Public License
233e7676 24;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
e3deeebb
LC
25
26(define-module (guix utils)
00e219d1 27 #:use-module (guix config)
38b3122a 28 #:use-module (srfi srfi-1)
72d86963 29 #:use-module (srfi srfi-9)
01ac19dc 30 #:use-module (srfi srfi-11)
38b3122a 31 #:use-module (srfi srfi-26)
23735137 32 #:use-module (srfi srfi-35)
de4c3f26 33 #:use-module (srfi srfi-39)
2535635f 34 #:use-module (ice-9 binary-ports)
27f7cbc9 35 #:use-module (ice-9 ftw)
31044751 36 #:autoload (rnrs io ports) (make-custom-binary-input-port)
c8be6f0d 37 #:use-module ((rnrs bytevectors) #:select (bytevector-u8-set!))
f9704f17 38 #:use-module (guix memoization)
27f7cbc9 39 #:use-module ((guix build utils) #:select (dump-port mkdir-p delete-file-recursively))
1752a17a 40 #:use-module ((guix build syscalls) #:select (mkdtemp! fdatasync))
38b3122a 41 #:use-module (ice-9 format)
de4c3f26
LC
42 #:autoload (ice-9 popen) (open-pipe*)
43 #:autoload (ice-9 rdelim) (read-line)
98090557 44 #:use-module (ice-9 regex)
72d86963 45 #:use-module (ice-9 match)
8ef3401f 46 #:use-module (ice-9 format)
31044751 47 #:use-module ((ice-9 iconv) #:prefix iconv:)
2cd5c038 48 #:use-module (system foreign)
19e1d5f7 49 #:re-export (memoize) ; for backwards compatibility
4c0c4db0 50 #:export (strip-keyword-arguments
0af2c24e
LC
51 default-keyword-arguments
52 substitute-keyword-arguments
6071122b 53 ensure-keyword-arguments
ff352cfb 54
07c8a98c
LC
55 current-source-directory
56
64fc89b6 57 <location>
ff352cfb
LC
58 location
59 location?
60 location-file
61 location-line
62 location-column
63 source-properties->location
f7df1e3e 64 location->source-properties
ff352cfb 65
23735137
LC
66 &error-location
67 error-location?
68 error-location
69
70 &fix-hint
71 fix-hint?
72 condition-fix-hint
73
8eb80484 74 nix-system->gnu-triplet
98090557 75 gnu-triplet->nix-system
9b48fb88 76 %current-system
9c1edabd 77 %current-target-system
1b846da8 78 package-name->name+version
cba36e64 79 target-mingw?
e45b573c 80 target-arm32?
259341cf 81 target-64bit?
0d1e6ce4
MW
82 version-compare
83 version>?
cde1e967 84 version>=?
29a7c98a
ID
85 version-prefix
86 version-major+minor
47dc9a0d 87 version-major
7db3ff4a 88 guile-version>?
437f62f0 89 version-prefix?
56b943de 90 string-replace-substring
16eb115e 91 arguments-from-environment-variable
0fdd3bea 92 file-extension
ac10e0e1 93 file-sans-extension
089b1678 94 compressed-file?
3bb168b0 95 switch-symlinks
861693f3 96 call-with-temporary-output-file
db6e5e2b 97 call-with-temporary-directory
04d4c8a4 98 with-atomic-file-output
f0e492f0
LC
99
100 config-directory
739ab68b 101 cache-directory
f0e492f0 102
d50cb56d 103 readlink*
50a3d594 104 edit-expression
7a8024a3
LC
105
106 filtered-port
107 compressed-port
80dea563 108 decompressed-port
01ac19dc
LC
109 call-with-decompressed-port
110 compressed-output-port
c8be6f0d 111 call-with-compressed-output-port
8c348825 112 canonical-newline-port))
e3deeebb 113
38b3122a 114\f
e0fbbc88
LC
115;;;
116;;; Filtering & pipes.
117;;;
118
119(define (filtered-port command input)
120 "Return an input port where data drained from INPUT is filtered through
121COMMAND (a list). In addition, return a list of PIDs that the caller must
101d9f3f
LC
122wait. When INPUT is a file port, it must be unbuffered; otherwise, any
123buffered data is lost."
e0fbbc88 124 (let loop ((input input)
443eb4e9 125 (pids '()))
e0fbbc88
LC
126 (if (file-port? input)
127 (match (pipe)
128 ((in . out)
129 (match (primitive-fork)
130 (0
443eb4e9
LC
131 (dynamic-wind
132 (const #f)
133 (lambda ()
134 (close-port in)
135 (close-port (current-input-port))
136 (dup2 (fileno input) 0)
137 (close-port (current-output-port))
138 (dup2 (fileno out) 1)
139 (catch 'system-error
140 (lambda ()
141 (apply execl (car command) command))
142 (lambda args
143 (format (current-error-port)
144 "filtered-port: failed to execute '~{~a ~}': ~a~%"
145 command (strerror (system-error-errno args))))))
146 (lambda ()
147 (primitive-_exit 1))))
e0fbbc88
LC
148 (child
149 (close-port out)
150 (values in (cons child pids))))))
151
152 ;; INPUT is not a file port, so fork just for the sake of tunneling it
153 ;; through a file port.
154 (match (pipe)
155 ((in . out)
156 (match (primitive-fork)
157 (0
158 (dynamic-wind
159 (const #t)
160 (lambda ()
161 (close-port in)
162 (dump-port input out))
163 (lambda ()
5efa0e4d 164 (close-port input)
e0fbbc88 165 (false-if-exception (close out))
443eb4e9 166 (primitive-_exit 0))))
e0fbbc88 167 (child
5efa0e4d 168 (close-port input)
e0fbbc88
LC
169 (close-port out)
170 (loop in (cons child pids)))))))))
171
4e48923e
LC
172(define (lzip-port proc port . args)
173 "Return the lzip port produced by calling PROC (a symbol) on PORT and ARGS.
174Raise an error if lzlib support is missing."
175 (let* ((lzlib (false-if-exception (resolve-interface '(guix lzlib))))
176 (supported? (and lzlib
177 ((module-ref lzlib 'lzlib-available?)))))
178 (if supported?
179 (let ((make-port (module-ref lzlib proc)))
180 (values (make-port port) '()))
181 (error "lzip compression not supported" lzlib))))
182
7a8024a3
LC
183(define (decompressed-port compression input)
184 "Return an input port where INPUT is decompressed according to COMPRESSION,
185a symbol such as 'xz."
186 (match compression
187 ((or #f 'none) (values input '()))
188 ('bzip2 (filtered-port `(,%bzip2 "-dc") input))
e9be2c54 189 ('xz (filtered-port `(,%xz "-dc") input))
7a8024a3 190 ('gzip (filtered-port `(,%gzip "-dc") input))
4e48923e
LC
191 ('lzip (values (lzip-port 'make-lzip-input-port input)
192 '()))
193 (_ (error "unsupported compression scheme" compression))))
7a8024a3
LC
194
195(define (compressed-port compression input)
4e48923e 196 "Return an input port where INPUT is compressed according to COMPRESSION,
7a8024a3
LC
197a symbol such as 'xz."
198 (match compression
199 ((or #f 'none) (values input '()))
200 ('bzip2 (filtered-port `(,%bzip2 "-c") input))
e9be2c54 201 ('xz (filtered-port `(,%xz "-c") input))
7a8024a3 202 ('gzip (filtered-port `(,%gzip "-c") input))
4e48923e
LC
203 ('lzip (values (lzip-port 'make-lzip-input-port/compressed input)
204 '()))
205 (_ (error "unsupported compression scheme" compression))))
7a8024a3 206
01ac19dc
LC
207(define (call-with-decompressed-port compression port proc)
208 "Call PROC with a wrapper around PORT, a file port, that decompresses data
30ce8012 209read from PORT according to COMPRESSION, a symbol such as 'xz."
01ac19dc
LC
210 (let-values (((decompressed pids)
211 (decompressed-port compression port)))
212 (dynamic-wind
213 (const #f)
214 (lambda ()
01ac19dc
LC
215 (proc decompressed))
216 (lambda ()
217 (close-port decompressed)
218 (unless (every (compose zero? cdr waitpid) pids)
219 (error "decompressed-port failure" pids))))))
220
80dea563
LC
221(define (filtered-output-port command output)
222 "Return an output port. Data written to that port is filtered through
223COMMAND and written to OUTPUT, an output file port. In addition, return a
224list of PIDs to wait for. OUTPUT must be unbuffered; otherwise, any buffered
225data is lost."
226 (match (pipe)
227 ((in . out)
228 (match (primitive-fork)
229 (0
230 (dynamic-wind
231 (const #f)
232 (lambda ()
233 (close-port out)
234 (close-port (current-input-port))
235 (dup2 (fileno in) 0)
236 (close-port (current-output-port))
237 (dup2 (fileno output) 1)
238 (catch 'system-error
239 (lambda ()
240 (apply execl (car command) command))
241 (lambda args
242 (format (current-error-port)
243 "filtered-output-port: failed to execute '~{~a ~}': ~a~%"
244 command (strerror (system-error-errno args))))))
245 (lambda ()
246 (primitive-_exit 1))))
247 (child
248 (close-port in)
249 (values out (list child)))))))
250
62d2b571
LC
251(define* (compressed-output-port compression output
252 #:key (options '()))
80dea563
LC
253 "Return an output port whose input is compressed according to COMPRESSION,
254a symbol such as 'xz, and then written to OUTPUT. In addition return a list
62d2b571
LC
255of PIDs to wait for. OPTIONS is a list of strings passed to the compression
256program--e.g., '(\"--fast\")."
80dea563
LC
257 (match compression
258 ((or #f 'none) (values output '()))
62d2b571 259 ('bzip2 (filtered-output-port `(,%bzip2 "-c" ,@options) output))
e9be2c54 260 ('xz (filtered-output-port `(,%xz "-c" ,@options) output))
62d2b571 261 ('gzip (filtered-output-port `(,%gzip "-c" ,@options) output))
4e48923e
LC
262 ('lzip (values (lzip-port 'make-lzip-output-port output)
263 '()))
264 (_ (error "unsupported compression scheme" compression))))
80dea563 265
62d2b571
LC
266(define* (call-with-compressed-output-port compression port proc
267 #:key (options '()))
01ac19dc 268 "Call PROC with a wrapper around PORT, a file port, that compresses data
62d2b571
LC
269that goes to PORT according to COMPRESSION, a symbol such as 'xz. OPTIONS is
270a list of command-line arguments passed to the compression program."
01ac19dc 271 (let-values (((compressed pids)
62d2b571
LC
272 (compressed-output-port compression port
273 #:options options)))
01ac19dc
LC
274 (dynamic-wind
275 (const #f)
276 (lambda ()
01ac19dc
LC
277 (proc compressed))
278 (lambda ()
279 (close-port compressed)
280 (unless (every (compose zero? cdr waitpid) pids)
281 (error "compressed-output-port failure" pids))))))
282
50a3d594
SB
283(define* (edit-expression source-properties proc #:key (encoding "UTF-8"))
284 "Edit the expression specified by SOURCE-PROPERTIES using PROC, which should
285be a procedure that takes the original expression in string and returns a new
286one. ENCODING will be used to interpret all port I/O, it default to UTF-8.
287This procedure returns #t on success."
288 (with-fluids ((%default-port-encoding encoding))
289 (let* ((file (assq-ref source-properties 'filename))
290 (line (assq-ref source-properties 'line))
291 (column (assq-ref source-properties 'column))
292 (in (open-input-file file))
293 ;; The start byte position of the expression.
294 (start (begin (while (not (and (= line (port-line in))
295 (= column (port-column in))))
296 (when (eof-object? (read-char in))
297 (error (format #f "~a: end of file~%" in))))
298 (ftell in)))
299 ;; The end byte position of the expression.
300 (end (begin (read in) (ftell in))))
301 (seek in 0 SEEK_SET) ; read from the beginning of the file.
302 (let* ((pre-bv (get-bytevector-n in start))
303 ;; The expression in string form.
31044751 304 (str (iconv:bytevector->string
50a3d594
SB
305 (get-bytevector-n in (- end start))
306 (port-encoding in)))
307 (post-bv (get-bytevector-all in))
308 (str* (proc str)))
309 ;; Verify the edited expression is still a scheme expression.
310 (call-with-input-string str* read)
311 ;; Update the file with edited expression.
312 (with-atomic-file-output file
313 (lambda (out)
314 (put-bytevector out pre-bv)
315 (display str* out)
316 ;; post-bv maybe the end-of-file object.
317 (when (not (eof-object? post-bv))
318 (put-bytevector out post-bv))
319 #t))))))
320
e0fbbc88 321\f
de4c3f26 322;;;
958dd3ce 323;;; Keyword arguments.
de4c3f26
LC
324;;;
325
5e110382
LC
326(define (strip-keyword-arguments keywords args)
327 "Remove all of the keyword arguments listed in KEYWORDS from ARGS."
328 (let loop ((args args)
329 (result '()))
330 (match args
331 (()
332 (reverse result))
333 (((? keyword? kw) arg . rest)
334 (loop rest
335 (if (memq kw keywords)
336 result
337 (cons* arg kw result))))
338 ((head . tail)
339 (loop tail (cons head result))))))
340
0af2c24e
LC
341(define (default-keyword-arguments args defaults)
342 "Return ARGS augmented with any keyword/value from DEFAULTS for
343keywords not already present in ARGS."
344 (let loop ((defaults defaults)
345 (args args))
346 (match defaults
347 ((kw value rest ...)
348 (loop rest
347df601 349 (if (memq kw args)
0af2c24e
LC
350 args
351 (cons* kw value args))))
352 (()
353 args))))
354
b8b129eb
EB
355(define-syntax collect-default-args
356 (syntax-rules ()
357 ((_)
358 '())
359 ((_ (_ _) rest ...)
360 (collect-default-args rest ...))
361 ((_ (kw _ dflt) rest ...)
362 (cons* kw dflt (collect-default-args rest ...)))))
363
0af2c24e
LC
364(define-syntax substitute-keyword-arguments
365 (syntax-rules ()
366 "Return a new list of arguments where the value for keyword arg KW is
b8b129eb
EB
367replaced by EXP. EXP is evaluated in a context where VAR is bound to the
368previous value of the keyword argument, or DFLT if given."
369 ((_ original-args ((kw var dflt ...) exp) ...)
370 (let loop ((args (default-keyword-arguments
371 original-args
372 (collect-default-args (kw var dflt ...) ...)))
0af2c24e
LC
373 (before '()))
374 (match args
375 ((kw var rest (... ...))
376 (loop rest (cons* exp kw before)))
377 ...
378 ((x rest (... ...))
379 (loop rest (cons x before)))
380 (()
381 (reverse before)))))))
382
6071122b
LC
383(define (delkw kw lst)
384 "Remove KW and its associated value from LST, a keyword/value list such
385as '(#:foo 1 #:bar 2)."
386 (let loop ((lst lst)
387 (result '()))
388 (match lst
389 (()
390 (reverse result))
391 ((kw? value rest ...)
392 (if (eq? kw? kw)
393 (append (reverse result) rest)
394 (loop rest (cons* value kw? result)))))))
395
396(define (ensure-keyword-arguments args kw/values)
397 "Force the keywords arguments KW/VALUES in the keyword argument list ARGS.
398For instance:
399
400 (ensure-keyword-arguments '(#:foo 2) '(#:foo 2))
401 => (#:foo 2)
402
403 (ensure-keyword-arguments '(#:foo 2) '(#:bar 3))
404 => (#:foo 2 #:bar 3)
405
406 (ensure-keyword-arguments '(#:foo 2) '(#:bar 3 #:foo 42))
407 => (#:foo 42 #:bar 3)
408"
409 (let loop ((args args)
410 (kw/values kw/values)
411 (result '()))
412 (match args
413 (()
414 (append (reverse result) kw/values))
415 ((kw value rest ...)
416 (match (memq kw kw/values)
417 ((_ value . _)
418 (loop rest (delkw kw kw/values) (cons* value kw result)))
419 (#f
420 (loop rest kw/values (cons* value kw result))))))))
421
958dd3ce
LC
422\f
423;;;
424;;; System strings.
425;;;
426
8eb80484
MW
427(define* (nix-system->gnu-triplet
428 #:optional (system (%current-system)) (vendor "unknown"))
429 "Return a guess of the GNU triplet corresponding to Nix system
430identifier SYSTEM."
3f00ff8b
MW
431 (match system
432 ("armhf-linux"
433 (string-append "arm-" vendor "-linux-gnueabihf"))
434 (_
435 (let* ((dash (string-index system #\-))
436 (arch (substring system 0 dash))
437 (os (substring system (+ 1 dash))))
438 (string-append arch
439 "-" vendor "-"
440 (if (string=? os "linux")
441 "linux-gnu"
442 os))))))
8eb80484 443
98090557
LC
444(define (gnu-triplet->nix-system triplet)
445 "Return the Nix system type corresponding to TRIPLET, a GNU triplet as
446returned by `config.guess'."
447 (let ((triplet (cond ((string-match "^i[345]86-(.*)$" triplet)
448 =>
449 (lambda (m)
450 (string-append "i686-" (match:substring m 1))))
451 (else triplet))))
3f00ff8b
MW
452 (cond ((string-match "^arm[^-]*-([^-]+-)?linux-gnueabihf" triplet)
453 "armhf-linux")
454 ((string-match "^([^-]+)-([^-]+-)?linux-gnu.*" triplet)
98090557
LC
455 =>
456 (lambda (m)
457 ;; Nix omits `-gnu' for GNU/Linux.
458 (string-append (match:substring m 1) "-linux")))
459 ((string-match "^([^-]+)-([^-]+-)?([[:alpha:]]+)([0-9]+\\.?)*$" triplet)
460 =>
461 (lambda (m)
462 ;; Nix strip the version number from names such as `gnu0.3',
463 ;; `darwin10.2.0', etc., and always strips the vendor part.
464 (string-append (match:substring m 1) "-"
465 (match:substring m 3))))
466 (else triplet))))
467
468(define %current-system
469 ;; System type as expected by Nix, usually ARCHITECTURE-KERNEL.
d8eea3d2
LC
470 ;; By default, this is equal to (gnu-triplet->nix-system %host-type).
471 (make-parameter %system))
ff352cfb 472
9c1edabd
LC
473(define %current-target-system
474 ;; Either #f or a GNU triplet representing the target system we are
475 ;; cross-building to.
476 (make-parameter #f))
477
aa042770
LC
478(define* (package-name->name+version spec
479 #:optional (delimiter #\@))
1b846da8
ML
480 "Given SPEC, a package name like \"foo@0.9.1b\", return two values: \"foo\"
481and \"0.9.1b\". When the version part is unavailable, SPEC and #f are
aa042770
LC
482returned. Both parts must not contain any '@'. Optionally, DELIMITER can be
483a character other than '@'."
484 (match (string-rindex spec delimiter)
1b846da8
ML
485 (#f (values spec #f))
486 (idx (values (substring spec 0 idx)
487 (substring spec (1+ idx))))))
488
cba36e64
JN
489(define* (target-mingw? #:optional (target (%current-target-system)))
490 (and target
491 (string-suffix? "-mingw32" target)))
492
e45b573c
MO
493(define (target-arm32?)
494 (string-prefix? "arm" (or (%current-target-system) (%current-system))))
495
259341cf
MB
496(define (target-64bit?)
497 (let ((system (or (%current-target-system) (%current-system))))
498 (any (cut string-prefix? <> system) '("x86_64" "aarch64" "mips64" "ppc64"))))
499
0d1e6ce4
MW
500(define version-compare
501 (let ((strverscmp
502 (let ((sym (or (dynamic-func "strverscmp" (dynamic-link))
503 (error "could not find `strverscmp' (from GNU libc)"))))
504 (pointer->procedure int sym (list '* '*)))))
505 (lambda (a b)
506 "Return '> when A denotes a newer version than B,
507'< when A denotes a older version than B,
508or '= when they denote equal versions."
509 (let ((result (strverscmp (string->pointer a) (string->pointer b))))
510 (cond ((positive? result) '>)
511 ((negative? result) '<)
512 (else '=))))))
513
29a7c98a
ID
514(define (version-prefix version-string num-parts)
515 "Truncate version-string to the first num-parts components of the version.
516For example, (version-prefix \"2.1.47.4.23\" 3) returns \"2.1.47\""
517 (string-join (take (string-split version-string #\.) num-parts) "."))
518
519
520(define (version-major+minor version-string)
521 "Return \"<major>.<minor>\", where major and minor are the major and
522minor version numbers from version-string."
523 (version-prefix version-string 2))
524
47dc9a0d 525(define (version-major version-string)
526 "Return the major version number as string from the version-string."
527 (version-prefix version-string 1))
528
0d1e6ce4 529(define (version>? a b)
cde1e967 530 "Return #t when A denotes a version strictly newer than B."
0d1e6ce4
MW
531 (eq? '> (version-compare a b)))
532
cde1e967
LC
533(define (version>=? a b)
534 "Return #t when A denotes a version newer or equal to B."
535 (case (version-compare a b)
536 ((> =) #t)
537 (else #f)))
538
7db3ff4a
LC
539(define (guile-version>? str)
540 "Return #t if the running Guile version is greater than STR."
541 ;; Note: Using (version>? (version) "2.0.5") or similar doesn't work,
542 ;; because the result of (version) can have a prefix, like "2.0.5-deb1".
543 (version>? (string-append (major-version) "."
544 (minor-version) "."
545 (micro-version))
546 str))
547
437f62f0
LC
548(define version-prefix?
549 (let ((not-dot (char-set-complement (char-set #\.))))
550 (lambda (v1 v2)
551 "Return true if V1 is a version prefix of V2:
552
553 (version-prefix? \"4.1\" \"4.16.2\") => #f
554 (version-prefix? \"4.1\" \"4.1.2\") => #t
555"
556 (define (list-prefix? lst1 lst2)
557 (match lst1
558 (() #t)
559 ((head1 tail1 ...)
560 (match lst2
561 (() #f)
562 ((head2 tail2 ...)
563 (and (equal? head1 head2)
564 (list-prefix? tail1 tail2)))))))
565
566 (list-prefix? (string-tokenize v1 not-dot)
567 (string-tokenize v2 not-dot)))))
568
0fdd3bea
LC
569(define (file-extension file)
570 "Return the extension of FILE or #f if there is none."
571 (let ((dot (string-rindex file #\.)))
572 (and dot (substring file (+ 1 dot) (string-length file)))))
573
ac10e0e1
LC
574(define (file-sans-extension file)
575 "Return the substring of FILE without its extension, if any."
576 (let ((dot (string-rindex file #\.)))
577 (if dot
578 (substring file 0 dot)
579 file)))
580
089b1678
LC
581(define (compressed-file? file)
582 "Return true if FILE denotes a compressed file."
583 (->bool (member (file-extension file)
f4111243 584 '("gz" "bz2" "xz" "lz" "lzma" "tgz" "tbz2" "zip"))))
089b1678 585
3bb168b0
LC
586(define (switch-symlinks link target)
587 "Atomically switch LINK, a symbolic link, to point to TARGET. Works
588both when LINK already exists and when it does not."
589 (let ((pivot (string-append link ".new")))
590 (symlink target pivot)
591 (rename-file pivot link)))
592
56b943de
LC
593(define* (string-replace-substring str substr replacement
594 #:optional
595 (start 0)
596 (end (string-length str)))
597 "Replace all occurrences of SUBSTR in the START--END range of STR by
598REPLACEMENT."
599 (match (string-length substr)
600 (0
601 (error "string-replace-substring: empty substring"))
602 (substr-length
603 (let loop ((start start)
604 (pieces (list (substring str 0 start))))
605 (match (string-contains str substr start end)
606 (#f
607 (string-concatenate-reverse
608 (cons (substring str start) pieces)))
609 (index
610 (loop (+ index substr-length)
611 (cons* replacement
612 (substring str start index)
613 pieces))))))))
614
16eb115e
DP
615(define (arguments-from-environment-variable variable)
616 "Retrieve value of environment variable denoted by string VARIABLE in the
617form of a list of strings (`char-set:graphic' tokens) suitable for consumption
618by `args-fold', if VARIABLE is defined, otherwise return an empty list."
619 (let ((env (getenv variable)))
620 (if env
621 (string-tokenize env char-set:graphic)
622 '())))
623
861693f3
LC
624(define (call-with-temporary-output-file proc)
625 "Call PROC with a name of a temporary file and open output port to that
626file; close the file and delete it when leaving the dynamic extent of this
627call."
57db49cc
LC
628 (let* ((directory (or (getenv "TMPDIR") "/tmp"))
629 (template (string-append directory "/guix-file.XXXXXX"))
630 (out (mkstemp! template)))
861693f3
LC
631 (dynamic-wind
632 (lambda ()
633 #t)
634 (lambda ()
635 (proc template out))
636 (lambda ()
637 (false-if-exception (close out))
638 (false-if-exception (delete-file template))))))
04d4c8a4 639
db6e5e2b
DT
640(define (call-with-temporary-directory proc)
641 "Call PROC with a name of a temporary directory; close the directory and
642delete it when leaving the dynamic extent of this call."
643 (let* ((directory (or (getenv "TMPDIR") "/tmp"))
644 (template (string-append directory "/guix-directory.XXXXXX"))
645 (tmp-dir (mkdtemp! template)))
646 (dynamic-wind
647 (const #t)
648 (lambda ()
649 (proc tmp-dir))
650 (lambda ()
27f7cbc9 651 (false-if-exception (delete-file-recursively tmp-dir))))))
db6e5e2b 652
04d4c8a4
LC
653(define (with-atomic-file-output file proc)
654 "Call PROC with an output port for the file that is going to replace FILE.
655Upon success, FILE is atomically replaced by what has been written to the
656output port, and PROC's result is returned."
657 (let* ((template (string-append file ".XXXXXX"))
658 (out (mkstemp! template)))
659 (with-throw-handler #t
660 (lambda ()
661 (let ((result (proc out)))
1752a17a
LC
662 (fdatasync out)
663 (close-port out)
04d4c8a4
LC
664 (rename-file template file)
665 result))
666 (lambda (key . args)
c25637df
LC
667 (false-if-exception (delete-file template))
668 (close-port out)))))
861693f3 669
f0e492f0
LC
670(define* (xdg-directory variable suffix #:key (ensure? #t))
671 "Return the name of the XDG directory that matches VARIABLE and SUFFIX,
672after making sure that it exists if ENSURE? is true. VARIABLE is an
673environment variable name like \"XDG_CONFIG_HOME\"; SUFFIX is a suffix like
674\"/.config\". Honor the XDG specs,
675<http://standards.freedesktop.org/basedir-spec/basedir-spec-latest.html>."
676 (let ((dir (and=> (or (getenv variable)
677 (and=> (or (getenv "HOME")
678 (passwd:dir (getpwuid (getuid))))
679 (cut string-append <> suffix)))
680 (cut string-append <> "/guix"))))
681 (when ensure?
682 (mkdir-p dir))
683 dir))
684
685(define config-directory
686 (cut xdg-directory "XDG_CONFIG_HOME" "/.config" <...>))
687
688(define cache-directory
689 (cut xdg-directory "XDG_CACHE_HOME" "/.cache" <...>))
739ab68b 690
d50cb56d
LC
691(define (readlink* file)
692 "Call 'readlink' until the result is not a symlink."
693 (define %max-symlink-depth 50)
694
695 (let loop ((file file)
696 (depth 0))
697 (define (absolute target)
698 (if (absolute-file-name? target)
699 target
700 (string-append (dirname file) "/" target)))
701
702 (if (>= depth %max-symlink-depth)
703 file
704 (call-with-values
705 (lambda ()
706 (catch 'system-error
707 (lambda ()
708 (values #t (readlink file)))
709 (lambda args
710 (let ((errno (system-error-errno args)))
711 (if (or (= errno EINVAL))
712 (values #f file)
713 (apply throw args))))))
714 (lambda (success? target)
715 (if success?
716 (loop (absolute target) (+ depth 1))
717 file))))))
c8be6f0d
FB
718
719(define (canonical-newline-port port)
720 "Return an input port that wraps PORT such that all newlines consist
3149c002 721 of a single linefeed."
c8be6f0d
FB
722 (define (get-position)
723 (if (port-has-port-position? port) (port-position port) #f))
724 (define (set-position! position)
725 (if (port-has-set-port-position!? port)
726 (set-port-position! position port)
727 #f))
728 (define (close) (close-port port))
729 (define (read! bv start n)
730 (let loop ((count 0)
731 (byte (get-u8 port)))
732 (cond ((eof-object? byte) count)
3149c002
RV
733 ;; XXX: consume all CRs even if not followed by LF.
734 ((eqv? byte (char->integer #\return)) (loop count (get-u8 port)))
c8be6f0d
FB
735 ((= count (- n 1))
736 (bytevector-u8-set! bv (+ start count) byte)
737 n)
c8be6f0d
FB
738 (else
739 (bytevector-u8-set! bv (+ start count) byte)
740 (loop (+ count 1) (get-u8 port))))))
741 (make-custom-binary-input-port "canonical-newline-port"
742 read!
743 get-position
744 set-position!
745 close))
ff352cfb
LC
746\f
747;;;
748;;; Source location.
749;;;
750
87b711d2
LC
751(define absolute-dirname
752 ;; Memoize to avoid repeated 'stat' storms from 'search-path'.
753 (mlambda (file)
754 "Return the absolute name of the directory containing FILE, or #f upon
cbbbb7be 755failure."
87b711d2
LC
756 (match (search-path %load-path file)
757 (#f #f)
758 ((? string? file)
759 ;; If there are relative names in %LOAD-PATH, FILE can be relative and
760 ;; needs to be canonicalized.
761 (if (string-prefix? "/" file)
762 (dirname file)
763 (canonicalize-path (dirname file)))))))
cbbbb7be 764
5dbae738
LC
765(define-syntax current-source-directory
766 (lambda (s)
d4dd37fc
LC
767 "Return the absolute name of the current directory, or #f if it could not
768be determined."
5dbae738
LC
769 (syntax-case s ()
770 ((_)
82781d87 771 (match (assq 'filename (or (syntax-source s) '()))
5dbae738 772 (('filename . (? string? file-name))
d4dd37fc 773 ;; If %FILE-PORT-NAME-CANONICALIZATION is 'relative, then FILE-NAME
cbbbb7be
LC
774 ;; can be relative. In that case, we try to find out at run time
775 ;; the absolute file name by looking at %LOAD-PATH; doing this at
776 ;; run time rather than expansion time is necessary to allow files
777 ;; to be moved on the file system.
a68d0f6f
LC
778 (cond ((not file-name)
779 #f) ;raising an error would upset Geiser users
780 ((string-prefix? "/" file-name)
781 (dirname file-name))
782 (else
783 #`(absolute-dirname #,file-name))))
82781d87 784 (#f
5dbae738 785 #f))))))
07c8a98c 786
ff352cfb
LC
787;; A source location.
788(define-record-type <location>
789 (make-location file line column)
790 location?
791 (file location-file) ; file name
792 (line location-line) ; 1-indexed line
793 (column location-column)) ; 0-indexed column
794
3059a35a
LC
795(define (location file line column)
796 "Return the <location> object for the given FILE, LINE, and COLUMN."
797 (and line column file
798 (make-location file line column)))
ff352cfb
LC
799
800(define (source-properties->location loc)
801 "Return a location object based on the info in LOC, an alist as returned
802by Guile's `source-properties', `frame-source', `current-source-location',
803etc."
223fa5b3
LC
804 ;; In accordance with the GCS, start line and column numbers at 1. Note
805 ;; that unlike LINE and `port-column', COL is actually 1-indexed here...
806 (match loc
807 ((('line . line) ('column . col) ('filename . file)) ;common case
808 (and file line col
809 (make-location file (+ line 1) col)))
810 (#f
811 #f)
812 (_
813 (let ((file (assq-ref loc 'filename))
814 (line (assq-ref loc 'line))
815 (col (assq-ref loc 'column)))
816 (location file (and line (+ line 1)) col)))))
f7df1e3e
SB
817
818(define (location->source-properties loc)
819 "Return the source property association list based on the info in LOC,
820a location object."
821 `((line . ,(and=> (location-line loc) 1-))
822 (column . ,(location-column loc))
823 (filename . ,(location-file loc))))
79864851 824
23735137
LC
825(define-condition-type &error-location &error
826 error-location?
827 (location error-location)) ;<location>
828
829(define-condition-type &fix-hint &condition
830 fix-hint?
831 (hint condition-fix-hint)) ;string
832
79864851
SB
833;;; Local Variables:
834;;; eval: (put 'call-with-progress-reporter 'scheme-indent-function 1)
835;;; End: