diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 20:14:12 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 20:14:12 -0700 |
| commit | 1c33107cbb50705272682c2637d8faaeab4be61a (patch) | |
| tree | 188bb58cb82f744407af2ee78b38a7aa37fd9336 /src/opt/dar | |
| parent | b0ef0aaf0055d35f3836be18997dfd350e36054d (diff) | |
| download | abc-1c33107cbb50705272682c2637d8faaeab4be61a.tar.gz abc-1c33107cbb50705272682c2637d8faaeab4be61a.tar.bz2 abc-1c33107cbb50705272682c2637d8faaeab4be61a.zip | |
Updating project settings to have simpler include paths.
Diffstat (limited to 'src/opt/dar')
| -rw-r--r-- | src/opt/dar/darBalance.c | 2 | ||||
| -rw-r--r-- | src/opt/dar/darData.c | 2 | ||||
| -rw-r--r-- | src/opt/dar/darInt.h | 4 | ||||
| -rw-r--r-- | src/opt/dar/darLib.c | 2 | ||||
| -rw-r--r-- | src/opt/dar/darMan.c | 2 | ||||
| -rw-r--r-- | src/opt/dar/darRefact.c | 6 | ||||
| -rw-r--r-- | src/opt/dar/darScript.c | 6 |
7 files changed, 12 insertions, 12 deletions
diff --git a/src/opt/dar/darBalance.c b/src/opt/dar/darBalance.c index 34559bec..75f0eaf4 100644 --- a/src/opt/dar/darBalance.c +++ b/src/opt/dar/darBalance.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "darInt.h" -#include "src/misc/tim/tim.h" +#include "misc/tim/tim.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/dar/darData.c b/src/opt/dar/darData.c index 8257f4bb..eaebb40d 100644 --- a/src/opt/dar/darData.c +++ b/src/opt/dar/darData.c @@ -11145,7 +11145,7 @@ Vec_Int_t * Dar_LibReadPrios() #if 0 -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/dar/darInt.h b/src/opt/dar/darInt.h index 6bf347e1..08a905a8 100644 --- a/src/opt/dar/darInt.h +++ b/src/opt/dar/darInt.h @@ -31,8 +31,8 @@ #include <string.h> #include <assert.h> -#include "src/misc/vec/vec.h" -#include "src/aig/aig/aig.h" +#include "misc/vec/vec.h" +#include "aig/aig/aig.h" #include "dar.h" //////////////////////////////////////////////////////////////////////// diff --git a/src/opt/dar/darLib.c b/src/opt/dar/darLib.c index acf49b02..27408328 100644 --- a/src/opt/dar/darLib.c +++ b/src/opt/dar/darLib.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "darInt.h" -#include "src/aig/gia/gia.h" +#include "aig/gia/gia.h" #include "dar.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/dar/darMan.c b/src/opt/dar/darMan.c index 5a3e0687..dc81e759 100644 --- a/src/opt/dar/darMan.c +++ b/src/opt/dar/darMan.c @@ -144,7 +144,7 @@ void Dar_ManPrintStats( Dar_Man_t * p ) ABC_NAMESPACE_IMPL_END -#include "src/bool/kit/kit.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/dar/darRefact.c b/src/opt/dar/darRefact.c index dcfbeac7..0dcb54e8 100644 --- a/src/opt/dar/darRefact.c +++ b/src/opt/dar/darRefact.c @@ -19,10 +19,10 @@ ***********************************************************************/ #include "darInt.h" -#include "src/bool/kit/kit.h" +#include "bool/kit/kit.h" -#include "src/bool/bdc/bdc.h" -#include "src/bool/bdc/bdcInt.h" +#include "bool/bdc/bdc.h" +#include "bool/bdc/bdcInt.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/dar/darScript.c b/src/opt/dar/darScript.c index b59626af..b3830cc3 100644 --- a/src/opt/dar/darScript.c +++ b/src/opt/dar/darScript.c @@ -19,9 +19,9 @@ ***********************************************************************/ #include "darInt.h" -#include "src/proof/dch/dch.h" -#include "src/aig/gia/gia.h" -#include "src/aig/gia/giaAig.h" +#include "proof/dch/dch.h" +#include "aig/gia/gia.h" +#include "aig/gia/giaAig.h" ABC_NAMESPACE_IMPL_START |