> 4. Enable TravisCI tests for LLVM 3.6. Look at the /.travis.yml file.
> Hopefully it would just be a case of adding a few more configurations
> the ``env`` key
>
> - LLVM_VERSION=3.6 STP_VERSION=UPSTREAM KLEE_UCLIBC=0
> DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1
> - LLVM_VERSION=3.6 STP_VERSION=UPSTREAM KLEE_UCLIBC=1
> DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1
> - LLVM_VERSION=3.6 STP_VERSION=r940 KLEE_UCLIBC=0 DISABLE_ASSERTIONS=0
> ENABLE_OPTIMIZED=1
> - LLVM_VERSION=3.6 STP_VERSION=r940 KLEE_UCLIBC=1 DISABLE_ASSERTIONS=0
> ENABLE_OPTIMIZED=1

Oh I forgot to say you'll need to add the following to the
before_install section in the ``travis.yml`` as well.

    - sudo sh -c 'echo "deb http://llvm.org/apt/precise/
llvm-toolchain-precise-3.6 main" >> /etc/apt/sources.list.d/llvm.list'
    - sudo sh -c 'echo "deb-src http://llvm.org/apt/precise/
llvm-toolchain-precise-3.6 main" >> /etc/apt/sources.list.d/llvm.list'

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

Reply via email to