search

TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Adding Travis CI support. #1

Closed cpkleynhans closed 11 years ago

cpkleynhans commented 11 years ago

Reviewers: @AtulanZaman @joseph2625 @mhyee

mhyee commented 11 years ago

@cpkleynhans and I discussed not adding waf to the repo. The alternatives are to download it from somewhere as part of the build process, but that's an external dependency. So we concluded that including it in the repo is the lesser of the evils.

Other than that, LGTM.

joseph39 commented 11 years ago

looks good!

cpkleynhans commented 11 years ago

Ping @AtulanZaman any comments?

AtulanZaman commented 11 years ago

looks good!