From 158a76721e1ffd7886894d7134e505b42b3b182d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 4 Mar 2011 18:17:09 -0800
Subject: [PATCH] Added 'src/mem' as an additition include directory in Python interface.
---
src/python/setup.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/python/setup.py b/src/python/setup.py
index a832f51..3ef006a 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',
--
libgit2 0.26.0