diff options
Diffstat (limited to 'passes/techmap/Makefile.inc')
| -rw-r--r-- | passes/techmap/Makefile.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/techmap/Makefile.inc b/passes/techmap/Makefile.inc index 6ef4fbc26..3cbee5b85 100644 --- a/passes/techmap/Makefile.inc +++ b/passes/techmap/Makefile.inc @@ -18,6 +18,7 @@ OBJS += passes/techmap/dff2dffe.o OBJS += passes/techmap/dffinit.o OBJS += passes/techmap/pmuxtree.o OBJS += passes/techmap/muxcover.o +OBJS += passes/techmap/aig.o endif GENFILES += passes/techmap/techmap.inc |