mirror of
https://github.com/nasa/trick.git
synced 2025-02-14 06:22:04 +00:00
Updated minimum cmake version to 3.1 Added checks in findllvm script to handle old 3.4 LLVM version Added back include directories needed by old LLVM version in ICG.