Allow build to skip building solvers.

TeamAmalgam / kodkod

Kodkod relational model finder

Other

3 stars 0 forks source link

Closed cpkleynhans closed 11 years ago

cpkleynhans commented 11 years ago

Currently building kodkod also builds all the solvers. This pull request adds a --no-solvers flag to the waf options that skips building the solvers.

Reviewers: @mhyee @joseph2625 @AtulanZaman

mhyee commented 11 years ago

Looks good.

I'm only concerned that eventually we might want to build other stuff in lib, but we'll deal with that when/if we have to.

joseph39 commented 11 years ago

Looks good.