Add hint directories for bison/flex and allow configuration options

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Other

114 stars 43 forks source link

Add hint directories for bison/flex and allow configuration options #269

Closed makaimann closed 3 years ago

makaimann commented 3 years ago

This PR adds a hint path for Flex. This is especially important for systems that have an old version of Flex (< 2.6.4). For example, Mac. It also allows setting the hint directories for Bison/Flex manually through the configure.sh script.