Allow to overwrite ABCEXTERNAL from the environment.

In this way Debian scripts can define it as berkeley-abc from the shell.
2016-10-13 17:51:14 -03:00 · 2016-10-13 17:51:14 -03:00 · cc8f29a1e6
parent f263b175b5
commit cc8f29a1e6
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -90,7 +90,7 @@ ABCMKARGS = CC="$(CXX)" CXX="$(CXX)"

 # set ABCEXTERNAL = <abc-command> to use an external ABC instance
 # Note: The in-tree ABC (yosys-abc) will not be installed when ABCEXTERNAL is set.
-ABCEXTERNAL =
+ABCEXTERNAL ?=

 define newline