123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186 |
- ;;; GNU Guix --- Functional package management for GNU
- ;;; Copyright © 2015, 2018, 2020 Ludovic Courtès <ludo@gnu.org>
- ;;;
- ;;; 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)
- #:use-module ((guix utils) #:select (call-with-temporary-directory))
- #:use-module (guix build utils)
- #:use-module (guix build gremlin)
- #:use-module (srfi srfi-1)
- #:use-module (srfi srfi-26)
- #:use-module (srfi srfi-34)
- #:use-module (srfi srfi-64)
- #:use-module (rnrs io ports)
- #:use-module (ice-9 popen)
- #:use-module (ice-9 rdelim)
- #:use-module (ice-9 regex)
- #:use-module (ice-9 match))
- (define %guile-executable
- (match (false-if-exception (readlink "/proc/self/exe"))
- ((? string? program)
- (and (file-exists? program) (elf-file? program)
- program))
- (_
- #f)))
- (define read-elf
- (compose parse-elf get-bytevector-all))
- (define c-compiler
- (or (which "gcc") (which "cc") (which "g++")))
- (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))
- "libc")
- (map (lambda (lib)
- (string-take lib (string-contains lib ".so")))
- (elf-dynamic-info-needed dyninfo))))))
- (unless (and %guile-executable (not (getenv "LD_LIBRARY_PATH"))
- (file-needed %guile-executable) ;statically linked?
- ;; When Guix has been built on a foreign distro, using a
- ;; toolchain and libraries from that foreign distro, it is not
- ;; unusual for the runpath to be empty.
- (pair? (file-runpath %guile-executable)))
- (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)))))
- (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")))
- (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"
- "-Wl,--enable-new-dtags" "-Wl,-rpath=/foo" "-Wl,-rpath=/bar")
- (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)))))))
- (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)))))))
- (unless c-compiler
- (test-skip 1))
- (test-equal "elf-dynamic-info-soname"
- "libfoo.so.2"
- (call-with-temporary-directory
- (lambda (directory)
- (with-directory-excursion directory
- (call-with-output-file "t.c"
- (lambda (port)
- (display "// empty file" port)))
- (invoke c-compiler "t.c"
- "-shared" "-Wl,-soname,libfoo.so.2")
- (let* ((dyninfo (elf-dynamic-info
- (parse-elf (call-with-input-file "a.out"
- get-bytevector-all))))
- (soname (elf-dynamic-info-soname dyninfo)))
- soname)))))
- (test-end "gremlin")
|