search

cvc5 / LFSC

LFSC Proof Checker
Other
11 stars 9 forks source link

Add build support for macOS #50

Closed XZ-X closed 4 years ago

XZ-X commented 4 years ago

The macOS has a built-in version of flex which is outdated. However, certain parts of the macOS system relies on that specific flex. Thus package manager (like brew) could only install flex in other path (instead of /usr/bin).

The original CMakeLists.txt would find the outdated flex in /usr/bin and could not find the related include path. In this pull request, I add a check in the CMakeLists.txt setting flex-related variable to the correct location installed by brew.

alex-ozdemir commented 4 years ago

Hi @XZ-X,

Thank you for submitting this PR! It prompted us to setup CI testing for macOS, which we should have done a long time ago.

Having done that, I went ahead and fixed the build in a slightly different way (#52). Let me know if that works for you. If it doesn't, let me know.

Cheers, Alex

XZ-X commented 4 years ago

That works for me. Thank you so much for your prompt fix!

Cheers, Xiangzhe