search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
135 stars 32 forks source link

Use xcrun to find location of macOS SDK. #93

Closed pdo closed 1 year ago

pdo commented 1 year ago

The location of the SDK files depends on the OS version, so cannot be hardcoded into the Makefiles. The build was failing for me on Monterey, but with this modification it now passes.

Tested on macOS 12.6.3 with Intel processor. I've also included the corresponding modifications for the Arm makefiles, but am unable to test.

samowre commented 1 year ago

Hi Paul,

Thanks for this; I wasn't aware of xcrun - I'm more of a Linux user. Please let us know if you find any other ways to improve the Make process for macOS, or PVS in general.

Thanks again, Sam

Paul Onions @.***> wrote:

The location of the SDK files depends on the OS version, so cannot be hardcoded into the Makefiles. The build was failing for me on Monterey, but with this modification it now passes.

Tested on macOS 12.6.3 with Intel processor. I've also included the corresponding modifications for the Arm makefiles, but am unable to test.

You can view, comment on, or merge this pull request online at:

https://github.com/SRI-CSL/PVS/pull/93

Commit Summary

  • 69a3a6e Use xcrun to find location of macOS SDK.

File Changes

(6 files)

  • M src/BDD/arm-MacOSX/Makefile (3)
  • M src/BDD/ix86-MacOSX/Makefile (3)
  • M src/WS1S/arm-MacOSX/Makefile (3)
  • M src/WS1S/ix86-MacOSX/Makefile (3)
  • M src/utils/arm-MacOSX/Makefile (3)
  • M src/utils/ix86-MacOSX/Makefile (3)

Patch Links:

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to this thread.