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