How to build(make) project using frama-c?
I want to build git project using frama-c, git project : https://github.com/git/git
i hope to run make through frama-