[klee-dev] KLEE build instructions errata

[Andrea Mattavelli]

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-wild at 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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
HTML attachment scrubbed and removed