Closed povik closed 4 months ago
Quoting the help message for the new option:
-inject filename
inject rules from the given file to complement the default
mapping library in the `techmap` step. this option can be
repeated.
TODO: rename to done-extra-map
Closes #4220