Compiling OCCAM on Mac - Githubissues

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization

BSD 3-Clause "New" or "Revised" License

26 stars 10 forks source link

Compiling OCCAM on Mac #60

Open caballa opened 2 years ago

caballa commented 2 years ago

Not sure OCCAM compiles on Mac.
The usual problem is to find sysroot but I also had problems finding protobuf library. I attach a patch that works for me in case it helps to others. occam_mac.patch.zip