On 15 Jun 2016, at 06:12, Marko Dimjašević <ma...@cs.utah.edu> wrote:
>
> $ $ make unittests
> llvm[0]: Running unittests test suite
> make[1]: Entering directory '/home/marko/research/klee/unittests'
> make[2]: Entering directory '/home/marko/research/klee/unittests/Expr'
> llvm[2]: Compiling ExprTest.cpp for Release+Asserts build
> llvm[2]: Linking Release+Asserts unit test Expr (without symbols)
> llvm[2]: ======= Finished Linking Release+Asserts Unit test Expr
> (without symbols)
> ="/home/marko/research/klee/Release+Asserts/lib${:+:}$" Release
> +Asserts/ExprTests
> /bin/sh: 1: Bad substitution
> /usr/lib/llvm-3.4/build/unittests/Makefile.unittest:60: recipe for
> target 'unitcheck' failed
> make[2]: *** [unitcheck] Error 2
> make[2]: Leaving directory '/home/marko/research/klee/unittests/Expr'
> /home/marko/research/klee/Makefile.rules:757: recipe for target
> 'unitcheck' failed
> make[1]: *** [unitcheck] Error 1
> make[1]: Leaving directory '/home/marko/research/klee/unittests'
> /home/marko/research/klee/Makefile.rules:1906: recipe for target
> 'unittests' failed
> make: *** [unittests] Error 2Well yes, i stumbled over it as well. Please have a look here, this explains it and a patch is attached: https://llvm.org/bugs/show_bug.cgi?id=19816 Best, Martin --------------------------------------------------- Martin Nowack Research Assistant Technische Universität Dresden Computer Science Institute of Systems Architecture Systems Engineering 01062 Dresden Phone: +49 351 463 39608 Email: martin_now...@tu-dresden.de ----------------------------------------------------
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
