diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-03 15:42:08 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-03 15:42:08 -0700 |
| commit | d53161a7e1e70adddc6c1b1c62aff4599195d881 (patch) | |
| tree | 44137d45057bac2a506a0692bc88f3436c28b5f4 /src/aig/gia/module.make | |
| parent | 9074d19d69e7def0ebc9493510c72823da4d7ca8 (diff) | |
| download | abc-d53161a7e1e70adddc6c1b1c62aff4599195d881.tar.gz abc-d53161a7e1e70adddc6c1b1c62aff4599195d881.tar.bz2 abc-d53161a7e1e70adddc6c1b1c62aff4599195d881.zip | |
Enabling native Gia visualization in &show.
Diffstat (limited to 'src/aig/gia/module.make')
| -rw-r--r-- | src/aig/gia/module.make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/module.make b/src/aig/gia/module.make index b69c5bb6..157bf867 100644 --- a/src/aig/gia/module.make +++ b/src/aig/gia/module.make @@ -58,6 +58,7 @@ SRC += src/aig/gia/giaAig.c \ src/aig/gia/giaSatMap.c \ src/aig/gia/giaScl.c \ src/aig/gia/giaScript.c \ + src/aig/gia/giaShow.c \ src/aig/gia/giaShrink.c \ src/aig/gia/giaShrink6.c \ src/aig/gia/giaShrink7.c \ |