search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
363 stars 45 forks source link

Makefile: add PPC support for Darwin #425

Closed barracuda156 closed 1 year ago

barracuda156 commented 1 year ago

Will this be a correct way to introduce PPC for Darwin? It does build for me locally.

P. S. PPC itself will likely need fixes, since most of tests fail atm: https://github.com/SRI-CSL/yices2/issues/424 However fixing Makefile to enable PPC is the first necessary step.

coveralls commented 1 year ago

Coverage Status

Coverage: 64.097% (-0.0%) from 64.097% when pulling 46adcd7b148b4cc929713ec6bb65e28ac25daa5c on barracuda156:darwin into 12db9746616219411b164bde89b3fadeb17a5dd1 on SRI-CSL:master.