2015-03-31 20:10:08 +00:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2020-09-19 12:04:41 +00:00
|
|
|
|
;;; Copyright © 2015, 2018, 2020 Ludovic Courtès <ludo@gnu.org>
|
2015-03-31 20:10:08 +00:00
|
|
|
|
;;;
|
|
|
|
|
;;; This file is part of GNU Guix.
|
|
|
|
|
;;;
|
|
|
|
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
|
|
|
|
;;; under the terms of the GNU General Public License as published by
|
|
|
|
|
;;; the Free Software Foundation; either version 3 of the License, or (at
|
|
|
|
|
;;; your option) any later version.
|
|
|
|
|
;;;
|
|
|
|
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
|
|
|
|
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
;;; GNU General Public License for more details.
|
|
|
|
|
;;;
|
|
|
|
|
;;; You should have received a copy of the GNU General Public License
|
|
|
|
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
(define-module (test-gremlin)
|
|
|
|
|
#:use-module (guix elf)
|
2018-04-17 11:38:12 +00:00
|
|
|
|
#:use-module ((guix utils) #:select (call-with-temporary-directory))
|
2015-03-31 20:10:08 +00:00
|
|
|
|
#:use-module (guix build utils)
|
|
|
|
|
#:use-module (guix build gremlin)
|
|
|
|
|
#:use-module (srfi srfi-1)
|
2015-04-23 09:23:14 +00:00
|
|
|
|
#:use-module (srfi srfi-26)
|
2020-09-19 12:04:41 +00:00
|
|
|
|
#:use-module (srfi srfi-34)
|
2015-03-31 20:10:08 +00:00
|
|
|
|
#:use-module (srfi srfi-64)
|
|
|
|
|
#:use-module (rnrs io ports)
|
2018-04-17 11:38:12 +00:00
|
|
|
|
#:use-module (ice-9 popen)
|
2020-11-27 15:35:45 +00:00
|
|
|
|
#:use-module (ice-9 rdelim)
|
|
|
|
|
#:use-module (ice-9 regex)
|
2015-03-31 20:10:08 +00:00
|
|
|
|
#:use-module (ice-9 match))
|
|
|
|
|
|
|
|
|
|
(define %guile-executable
|
2018-08-21 21:11:07 +00:00
|
|
|
|
(match (false-if-exception (readlink "/proc/self/exe"))
|
|
|
|
|
((? string? program)
|
2015-03-31 20:10:08 +00:00
|
|
|
|
(and (file-exists? program) (elf-file? program)
|
|
|
|
|
program))
|
|
|
|
|
(_
|
|
|
|
|
#f)))
|
|
|
|
|
|
|
|
|
|
(define read-elf
|
|
|
|
|
(compose parse-elf get-bytevector-all))
|
|
|
|
|
|
2018-04-17 11:38:12 +00:00
|
|
|
|
(define c-compiler
|
|
|
|
|
(or (which "gcc") (which "cc") (which "g++")))
|
|
|
|
|
|
2015-03-31 20:10:08 +00:00
|
|
|
|
|
|
|
|
|
(test-begin "gremlin")
|
|
|
|
|
|
|
|
|
|
(unless %guile-executable (test-skip 1))
|
|
|
|
|
(test-assert "elf-dynamic-info-needed, executable"
|
|
|
|
|
(let* ((elf (call-with-input-file %guile-executable read-elf))
|
|
|
|
|
(dyninfo (elf-dynamic-info elf)))
|
|
|
|
|
(or (not dyninfo) ;static executable
|
|
|
|
|
(lset<= string=?
|
|
|
|
|
(list (string-append "libguile-" (effective-version))
|
2019-05-18 10:08:49 +00:00
|
|
|
|
"libc")
|
2015-03-31 20:10:08 +00:00
|
|
|
|
(map (lambda (lib)
|
|
|
|
|
(string-take lib (string-contains lib ".so")))
|
|
|
|
|
(elf-dynamic-info-needed dyninfo))))))
|
|
|
|
|
|
2020-11-27 15:35:45 +00:00
|
|
|
|
(unless (and %guile-executable (not (getenv "LD_LIBRARY_PATH"))
|
|
|
|
|
(file-needed %guile-executable)) ;statically linked?
|
|
|
|
|
(test-skip 1))
|
|
|
|
|
(test-assert "file-needed/recursive"
|
|
|
|
|
(let* ((needed (file-needed/recursive %guile-executable))
|
|
|
|
|
(pipe (dynamic-wind
|
|
|
|
|
(lambda ()
|
|
|
|
|
;; Tell ld.so to list loaded objects, like 'ldd' does.
|
|
|
|
|
(setenv "LD_TRACE_LOADED_OBJECTS" "yup"))
|
|
|
|
|
(lambda ()
|
|
|
|
|
(open-pipe* OPEN_READ %guile-executable))
|
|
|
|
|
(lambda ()
|
|
|
|
|
(unsetenv "LD_TRACE_LOADED_OBJECTS")))))
|
|
|
|
|
(define ldd-rx
|
|
|
|
|
(make-regexp "^[[:blank:]]+([[:graph:]]+ => )?([[:graph:]]+) .*$"))
|
|
|
|
|
|
|
|
|
|
(define (read-ldd-output port)
|
|
|
|
|
;; Read from PORT output in GNU ldd format.
|
|
|
|
|
(let loop ((result '()))
|
|
|
|
|
(match (read-line port)
|
|
|
|
|
((? eof-object?)
|
|
|
|
|
(reverse result))
|
|
|
|
|
((= (cut regexp-exec ldd-rx <>) m)
|
|
|
|
|
(if m
|
|
|
|
|
(loop (cons (match:substring m 2) result))
|
|
|
|
|
(loop result))))))
|
|
|
|
|
|
|
|
|
|
(define ground-truth
|
|
|
|
|
(remove (cut string-prefix? "linux-vdso.so" <>)
|
|
|
|
|
(read-ldd-output pipe)))
|
|
|
|
|
|
|
|
|
|
(and (zero? (close-pipe pipe))
|
|
|
|
|
(lset= string=? (pk 'truth ground-truth) (pk 'needed needed)))))
|
|
|
|
|
|
2015-04-23 09:23:14 +00:00
|
|
|
|
(test-equal "expand-origin"
|
|
|
|
|
'("OOO/../lib"
|
|
|
|
|
"OOO"
|
|
|
|
|
"../OOO/bar/OOO/baz"
|
|
|
|
|
"ORIGIN/foo")
|
|
|
|
|
(map (cut expand-origin <> "OOO")
|
|
|
|
|
'("$ORIGIN/../lib"
|
|
|
|
|
"${ORIGIN}"
|
|
|
|
|
"../${ORIGIN}/bar/$ORIGIN/baz"
|
|
|
|
|
"ORIGIN/foo")))
|
|
|
|
|
|
2018-04-17 11:38:12 +00:00
|
|
|
|
(unless c-compiler
|
|
|
|
|
(test-skip 1))
|
|
|
|
|
(test-equal "strip-runpath"
|
|
|
|
|
"hello\n"
|
|
|
|
|
(call-with-temporary-directory
|
|
|
|
|
(lambda (directory)
|
|
|
|
|
(with-directory-excursion directory
|
|
|
|
|
(call-with-output-file "t.c"
|
|
|
|
|
(lambda (port)
|
|
|
|
|
(display "int main () { puts(\"hello\"); }" port)))
|
|
|
|
|
(invoke c-compiler "t.c"
|
2019-05-18 10:08:49 +00:00
|
|
|
|
"-Wl,--enable-new-dtags" "-Wl,-rpath=/foo" "-Wl,-rpath=/bar")
|
2018-04-17 11:38:12 +00:00
|
|
|
|
(let* ((dyninfo (elf-dynamic-info
|
|
|
|
|
(parse-elf (call-with-input-file "a.out"
|
|
|
|
|
get-bytevector-all))))
|
|
|
|
|
(old (elf-dynamic-info-runpath dyninfo))
|
|
|
|
|
(new (strip-runpath "a.out"))
|
|
|
|
|
(new* (strip-runpath "a.out")))
|
|
|
|
|
(validate-needed-in-runpath "a.out")
|
|
|
|
|
(and (member "/foo" old) (member "/bar" old)
|
|
|
|
|
(not (member "/foo" new))
|
|
|
|
|
(not (member "/bar" new))
|
|
|
|
|
(equal? new* new)
|
|
|
|
|
(let* ((pipe (open-input-pipe "./a.out"))
|
|
|
|
|
(str (get-string-all pipe)))
|
|
|
|
|
(close-pipe pipe)
|
|
|
|
|
str)))))))
|
|
|
|
|
|
2020-09-19 12:04:41 +00:00
|
|
|
|
(unless c-compiler
|
|
|
|
|
(test-skip 1))
|
|
|
|
|
(test-equal "set-file-runpath + file-runpath"
|
|
|
|
|
"hello\n"
|
|
|
|
|
(call-with-temporary-directory
|
|
|
|
|
(lambda (directory)
|
|
|
|
|
(with-directory-excursion directory
|
|
|
|
|
(call-with-output-file "t.c"
|
|
|
|
|
(lambda (port)
|
|
|
|
|
(display "int main () { puts(\"hello\"); }" port)))
|
|
|
|
|
|
|
|
|
|
(invoke c-compiler "t.c"
|
|
|
|
|
"-Wl,--enable-new-dtags" "-Wl,-rpath=/xxxxxxxxx")
|
|
|
|
|
|
|
|
|
|
(let ((original-runpath (file-runpath "a.out")))
|
|
|
|
|
(and (member "/xxxxxxxxx" original-runpath)
|
|
|
|
|
(guard (c ((runpath-too-long-error? c)
|
|
|
|
|
(string=? "a.out" (runpath-too-long-error-file c))))
|
|
|
|
|
(set-file-runpath "a.out" (list (make-string 777 #\y))))
|
|
|
|
|
(let ((runpath (delete "/xxxxxxxxx" original-runpath)))
|
|
|
|
|
(set-file-runpath "a.out" runpath)
|
|
|
|
|
(equal? runpath (file-runpath "a.out")))
|
|
|
|
|
(let* ((pipe (open-input-pipe "./a.out"))
|
|
|
|
|
(str (get-string-all pipe)))
|
|
|
|
|
(close-pipe pipe)
|
|
|
|
|
str)))))))
|
|
|
|
|
|
2015-03-31 20:10:08 +00:00
|
|
|
|
(test-end "gremlin")
|