diff options
author | Baruch Sterin <baruchs@gmail.com> | 2022-01-23 00:16:10 +0100 |
---|---|---|
committer | Baruch Sterin <baruchs@gmail.com> | 2022-01-23 00:23:52 +0100 |
commit | 0a536417f6be75fcf26720767a61bd1f57a685b5 (patch) | |
tree | 30082be55cdf1072d3a7e02017aa947df3ab72cb /src/aig/gia/giaSupp.c | |
parent | 2ccb0f783495a65cc597865ba24556cc64b8eaa1 (diff) | |
download | abc-0a536417f6be75fcf26720767a61bd1f57a685b5.tar.gz abc-0a536417f6be75fcf26720767a61bd1f57a685b5.tar.bz2 abc-0a536417f6be75fcf26720767a61bd1f57a685b5.zip |
Build CMake on GitHub Actions
Also, resolve CMake build problems on macOS:
Pass CMAKE_OSX_SYSROOT as an environment variable SDKROOT when buildind the arch_flags executable.
Diffstat (limited to 'src/aig/gia/giaSupp.c')
0 files changed, 0 insertions, 0 deletions