diff options
author | Baruch Sterin <baruchs@gmail.com> | 2020-11-19 22:27:24 +0200 |
---|---|---|
committer | William D. Jones <thor0505@comcast.net> | 2020-11-24 19:56:35 -0500 |
commit | 2343da6bf1f41995b41a6c49d8a4993df0f7bcd1 (patch) | |
tree | 7d021a1570e0edbc4596f2968056d6c84d9b8763 /src/sat/csat/csat_apis.c | |
parent | 341db25668f3054c87aa3372c794e180f629af5d (diff) | |
download | abc-2343da6bf1f41995b41a6c49d8a4993df0f7bcd1.tar.gz abc-2343da6bf1f41995b41a6c49d8a4993df0f7bcd1.tar.bz2 abc-2343da6bf1f41995b41a6c49d8a4993df0f7bcd1.zip |
Makefile: support ccache for compiling ABC.
Surround $(CC), $(CXX) with double quotes when calling depends.sh, to allow space-delimited compilation tools to be used.
Diffstat (limited to 'src/sat/csat/csat_apis.c')
0 files changed, 0 insertions, 0 deletions