diff options
Diffstat (limited to 'src/python/setup.py')
| -rw-r--r-- | src/python/setup.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/python/setup.py b/src/python/setup.py index abc07afa..af2f5547 100644 --- a/src/python/setup.py +++ b/src/python/setup.py @@ -6,6 +6,7 @@ from distutils import util include_dirs = [ '../aig/hop', + '../aig/gia', '../base/abc', '../base/cmd', '../base/io', @@ -18,6 +19,7 @@ include_dirs = [ '../misc/st', '../misc/util', '../misc/vec', + '../misc/hash', ] define_macros = [] |