diff options
| author | Salvador E. Tropea <salvador@inti.gob.ar> | 2016-10-13 17:51:14 -0300 |
|---|---|---|
| committer | Salvador E. Tropea <salvador@inti.gob.ar> | 2016-10-13 17:51:14 -0300 |
| commit | cc8f29a1e60030dc81099c40a99a1f8731bbf114 (patch) | |
| tree | 02cab58e53bc9a027a0a091c79fbcd0a7ea80f99 /backends/smt2/smt2.cc | |
| parent | f263b175b5d6dc464dd46119a16e9413c5907134 (diff) | |
| download | yosys-cc8f29a1e60030dc81099c40a99a1f8731bbf114.tar.gz yosys-cc8f29a1e60030dc81099c40a99a1f8731bbf114.tar.bz2 yosys-cc8f29a1e60030dc81099c40a99a1f8731bbf114.zip | |
Allow to overwrite ABCEXTERNAL from the environment.
In this way Debian scripts can define it as berkeley-abc from the shell.
Diffstat (limited to 'backends/smt2/smt2.cc')
0 files changed, 0 insertions, 0 deletions