summaryrefslogtreecommitdiffstats
path: root/src/python/setup.py
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-03-04 18:17:09 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2011-03-04 18:17:09 -0800
commit158a76721e1ffd7886894d7134e505b42b3b182d (patch)
tree244f2b682bdfb37351be8c023b396978bac72f34 /src/python/setup.py
parent87d39b40aa15a9b64cd16fcc6dbe702ec20bff55 (diff)
downloadabc-158a76721e1ffd7886894d7134e505b42b3b182d.tar.gz
abc-158a76721e1ffd7886894d7134e505b42b3b182d.tar.bz2
abc-158a76721e1ffd7886894d7134e505b42b3b182d.zip
Added 'src/mem' as an additition include directory in Python interface.
Diffstat (limited to 'src/python/setup.py')
-rw-r--r--src/python/setup.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/python/setup.py b/src/python/setup.py
index a832f511..3ef006af 100644
--- a/src/python/setup.py
+++ b/src/python/setup.py
@@ -7,6 +7,7 @@ from distutils import util
include_dirs = [
'../aig/hop',
'../aig/gia',
+ '../aig/mem',
'../base/abc',
'../base/cmd',
'../base/io',