Oh cool Ill add those too. Yeah I have never worked with TravisCI before, so I'm reading about it now. Looks cool. Ill get to it and assuming all goes well, you can expect a pull request shortly.
Thanks for your help. On Wed, Apr 15, 2015 at 5:26 PM, Dan Liew <[email protected]> wrote: > > 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 [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
