second attempt to compile on osx with travis
second attempt to compile on osx with travis

peschue/clingo,peschue/clingo,potassco/clingo,potassco/clingo,peschue/clingo,peschue/clingo,potassco/clingo,potassco/clingo