search

msv-lab / angelix

Semantic program repair system for C programs
http://angelix.io
MIT License
97 stars 38 forks source link

Specify stp version and docs and Makefile improvement. #9

Closed MiaoDX closed 7 years ago

MiaoDX commented 7 years ago

I think the version of stp should not be the master branch, which need CMake 3.0.2 or higher is required. by default and the branch 2.1.2 (Oct 2015) is also used by the official klee document.

And make the oracle file executable is a relief at least for me.

mechtaev commented 7 years ago

@MiaoDX thanks a lot for these fixes!

If you have time and would like to help more with installation/build scripts, you can improve frontend build. Due to the hack with symbolic links that we use to link libtooling libraries, Makefile unnecessary rebuilds Clang two times (one time when building the target "clang", one time when building "frontend"). If, instead, you can write a proper CMakeLists for frontend, it would significantly reduce the build time.

MiaoDX commented 7 years ago

@mechtaev I did noticed it (build clang twice, each and every is time consuming), but since your code is really a little out of my range (I really wonder how you put all these together and the get all these just run as wish, especially the command which call bear -.-). And build clang twice is acceptable if we are not too picky :), what's more, I will just be a little crazy if things won't go as wish, but now, I am a kind of out of that self-push, since all build succeed.

And thanks for the great project and you response, the activate file is really a lesson learned for me, I was always wondering how to not to pollute my linux PATH environment when installing many programs.

Good luck. -- MiaoDX

mechtaev commented 7 years ago

@MiaoDX the idea of activate script is borrowed from python's virtualenv. Our team is now working on a next generation program repair system where many conceptual and engineering problem will be solved, so stay with us :)