diff options
Diffstat (limited to 'cad/yosys/pkg-plist')
| -rw-r--r-- | cad/yosys/pkg-plist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cad/yosys/pkg-plist b/cad/yosys/pkg-plist index 6bb02a5f2904..213697c05be5 100644 --- a/cad/yosys/pkg-plist +++ b/cad/yosys/pkg-plist @@ -141,6 +141,7 @@ bin/yosys-witness %%DATADIR%%/include/kernel/scopeinfo.h %%DATADIR%%/include/kernel/sexpr.h %%DATADIR%%/include/kernel/sigtools.h +%%DATADIR%%/include/kernel/threading.h %%DATADIR%%/include/kernel/timinginfo.h %%DATADIR%%/include/kernel/utils.h %%DATADIR%%/include/kernel/yosys.h |