search

xiw / stack

A static checker for identifying unstable code.
http://css.csail.mit.edu/stack/
Other
359 stars 56 forks source link

Indicate that the configure process needs to be executed with stack-build #2

Closed msoos closed 11 years ago

msoos commented 11 years ago

In the README it's not indicated that the configuration process should be done with stack-build. For cmake, simply issuing:

$ ~/my-path-to-stack-build/stack-build make

will simply recompile with already-selected compiler. I believe this is the same for configure-based systems, though I could be mistaken. For cmake builds, the following is needed:

$ ~/my-path-to-stack-build/stack-build cmake
$ make

Notice that with cmake, I don't need to use stack-build when issuing make.

zeldovich commented 11 years ago

Thanks, will fix.

xiw commented 11 years ago

fixed in f1f8e067, thanks.