[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [klee/klee] b5c41d: Allow relocation of installed klee tree
From:       MartinNowack <martin.nowack () gmail ! com>
Date:       2016-05-24 14:37:22
Message-ID: 57446722ec94c_396b3fc3528512b81483fc () hookshot-fe3-cp1-prd ! iad ! github ! net ! mail
[Download RAW message or body]

Branch: refs/heads/master
  Home:   https://github.com/klee/klee
  Commit: b5c41d2689c2b05987232a1e206e6a1ac46b8489
      https://github.com/klee/klee/commit/b5c41d2689c2b05987232a1e206e6a1ac46b8489
  Author: Damir Shaykhutdinov <lost404@gmail.com>
  Date:   2016-05-20 (Fri, 20 May 2016)

  Changed paths:
    M tools/klee/main.cpp

  Log Message:
  -----------
  Allow relocation of installed klee tree

If klee is configured with certain bindir and runtime dir,
allow klee to be relocated, as long as subdirectory structure remains
intact.

For example, if klee is configured with bindir /usr/bin, and with
runtime dir /usr/lib/klee, but is relocated to certain directory
$RDIR, then running $RDIR/usr/bin/klee will search for runtime libraries
in $RDIR/usr/lib/klee.

Klee will use global runtime directory only when installed to global
binary directory.

Inspired by relocation code in gcc.


  Commit: 4278fdcb819bb9a68ed43f88c86df21c6b04a0ab
      https://github.com/klee/klee/commit/4278fdcb819bb9a68ed43f88c86df21c6b04a0ab
  Author: MartinNowack <martin.nowack@gmail.com>
  Date:   2016-05-24 (Tue, 24 May 2016)

  Changed paths:
    M tools/klee/main.cpp

  Log Message:
  -----------
  Merge pull request #386 from ShayDamir/relocatable-klee

Allow relocation of installed klee tree


Compare: https://github.com/klee/klee/compare/f8a757c17454...4278fdcb819b

_______________________________________________
klee-commits mailing list
klee-commits@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-commits


[prev in list] [next in list] [prev in thread] [next in thread]