Hi Martin, may I ask you to create an issue on: https://github.com/klee/klee.github.io <https://github.com/klee/klee.github.io> ? Or, even better, a pull request to fix the wrong url.
Thank you, Andrea > On 19 Dec 2016, at 10:37, Martin Dehnel-Wild <martin.dehnel-w...@cs.ox.ac.uk> > wrote: > > I built KLEE this morning from scratch and when following the process found > that one of the links is dead. > > I’m sorry if posting it to this mailing list is overkill, but I didn’t think > it was a bug with the code so didn’t want to post to GH. > > http://klee.github.io/build-llvm34/ <http://klee.github.io/build-llvm34/> — > "Build instructions with LLVM 3.4". > >> 05 (Optional) Build libgtest: >> … >> $ curl -OL https://googletest.googlecode.com/files/gtest-1.7.0.zip >> <https://googletest.googlecode.com/files/gtest-1.7.0.zip> > > This URL no longer works. > I believe the correct URL (and please note the new file name) is > https://github.com/google/googletest/archive/release-1.7.0.zip > <https://github.com/google/googletest/archive/release-1.7.0.zip> > Different versions / releases including the latest 1.8.0 (with which I did > not attempt to build KLEE) can be found here: > https://github.com/google/googletest/releases > <https://github.com/google/googletest/releases> > > All the rest of the process worked perfectly. > > Thanks, > > Martin > > -- > Martin Dehnel-Wild > DPhil Student, Department of Computer Science, > New College, Oxford > > _______________________________________________ > klee-dev mailing list > klee-dev@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
