Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
define platform.soc_ext_path when --external argument is used (to use…
… it to include verilog files in the external target)