diff options
author | whitequark <whitequark@whitequark.org> | 2020-11-25 02:24:18 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-25 02:24:18 +0000 |
commit | 4f5f73d18b137930fb3048c0b385c82fa078db38 (patch) | |
tree | 7d021a1570e0edbc4596f2968056d6c84d9b8763 /src/sat/bmc/bmcFx.c | |
parent | 341db25668f3054c87aa3372c794e180f629af5d (diff) | |
parent | 2343da6bf1f41995b41a6c49d8a4993df0f7bcd1 (diff) | |
download | abc-4f5f73d18b137930fb3048c0b385c82fa078db38.tar.gz abc-4f5f73d18b137930fb3048c0b385c82fa078db38.tar.bz2 abc-4f5f73d18b137930fb3048c0b385c82fa078db38.zip |
Merge pull request #8 from cr1901/dep-ccache
Makefile: support ccache for compiling ABC.
Diffstat (limited to 'src/sat/bmc/bmcFx.c')
0 files changed, 0 insertions, 0 deletions