From 1c33107cbb50705272682c2637d8faaeab4be61a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 Jul 2012 20:14:12 -0700 Subject: Updating project settings to have simpler include paths. --- src/map/amap/amapCore.c | 2 +- src/map/amap/amapInt.h | 2 +- src/map/amap/amapParse.c | 4 ++-- src/map/amap/amapPerm.c | 2 +- src/map/amap/amapRead.c | 2 +- src/map/amap/amapRule.c | 2 +- src/map/cov/cov.h | 2 +- src/map/cov/covInt.h | 2 +- src/map/fpga/fpga.c | 2 +- src/map/fpga/fpgaCreate.c | 2 +- src/map/fpga/fpgaInt.h | 2 +- src/map/fpga/fpgaTruth.c | 2 +- src/map/if/if.h | 6 +++--- src/map/if/ifDec07.c | 4 ++-- src/map/if/ifDec08.c | 4 ++-- src/map/if/ifDec10.c | 4 ++-- src/map/if/ifDec16.c | 2 +- src/map/if/ifTime.c | 2 +- src/map/mapper/mapper.c | 6 +++--- src/map/mapper/mapperInt.h | 6 +++--- src/map/mio/mio.c | 6 +++--- src/map/mio/mioInt.h | 6 +++--- src/map/mio/mioRead.c | 2 +- src/map/mio/mioUtils.c | 2 +- src/map/super/super.c | 4 ++-- src/map/super/superInt.h | 10 +++++----- 26 files changed, 45 insertions(+), 45 deletions(-) (limited to 'src/map') diff --git a/src/map/amap/amapCore.c b/src/map/amap/amapCore.c index 507dcc5e..c4ae817a 100644 --- a/src/map/amap/amapCore.c +++ b/src/map/amap/amapCore.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "amapInt.h" -#include "src/base/main/main.h" +#include "base/main/main.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/amap/amapInt.h b/src/map/amap/amapInt.h index 86e3e18f..a9a593c0 100644 --- a/src/map/amap/amapInt.h +++ b/src/map/amap/amapInt.h @@ -26,7 +26,7 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/aig/aig/aig.h" +#include "aig/aig/aig.h" #include "amap.h" //////////////////////////////////////////////////////////////////////// diff --git a/src/map/amap/amapParse.c b/src/map/amap/amapParse.c index 2242fa7a..d81411bc 100644 --- a/src/map/amap/amapParse.c +++ b/src/map/amap/amapParse.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "amapInt.h" -#include "src/aig/hop/hop.h" -#include "src/bool/kit/kit.h" +#include "aig/hop/hop.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/amap/amapPerm.c b/src/map/amap/amapPerm.c index 1ba91890..9a3cf4a8 100644 --- a/src/map/amap/amapPerm.c +++ b/src/map/amap/amapPerm.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "amapInt.h" -#include "src/bool/kit/kit.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/amap/amapRead.c b/src/map/amap/amapRead.c index 471438d5..bf308c08 100644 --- a/src/map/amap/amapRead.c +++ b/src/map/amap/amapRead.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "amapInt.h" -#include "src/base/io/ioAbc.h" +#include "base/io/ioAbc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/amap/amapRule.c b/src/map/amap/amapRule.c index 78016f4f..772c346d 100644 --- a/src/map/amap/amapRule.c +++ b/src/map/amap/amapRule.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "amapInt.h" -#include "src/bool/kit/kit.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/cov/cov.h b/src/map/cov/cov.h index 135fee8c..d32e1c4c 100644 --- a/src/map/cov/cov.h +++ b/src/map/cov/cov.h @@ -21,7 +21,7 @@ #ifndef ABC__map__cov__cov_h #define ABC__map__cov__cov_h -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "covInt.h" diff --git a/src/map/cov/covInt.h b/src/map/cov/covInt.h index 5a75a8f3..9df3e948 100644 --- a/src/map/cov/covInt.h +++ b/src/map/cov/covInt.h @@ -21,7 +21,7 @@ #ifndef ABC__map__cov__covInt_h #define ABC__map__cov__covInt_h -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_HEADER_START diff --git a/src/map/fpga/fpga.c b/src/map/fpga/fpga.c index 94a84ffd..cf88e90b 100644 --- a/src/map/fpga/fpga.c +++ b/src/map/fpga/fpga.c @@ -17,7 +17,7 @@ ***********************************************************************/ #include "fpgaInt.h" -#include "src/base/main/main.h" +#include "base/main/main.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/fpga/fpgaCreate.c b/src/map/fpga/fpgaCreate.c index e3079ad7..7fa5158e 100644 --- a/src/map/fpga/fpgaCreate.c +++ b/src/map/fpga/fpgaCreate.c @@ -17,7 +17,7 @@ ***********************************************************************/ #include "fpgaInt.h" -#include "src/base/main/main.h" +#include "base/main/main.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/fpga/fpgaInt.h b/src/map/fpga/fpgaInt.h index f2c482af..0d18b7f4 100644 --- a/src/map/fpga/fpgaInt.h +++ b/src/map/fpga/fpgaInt.h @@ -27,7 +27,7 @@ #include #include #include -#include "src/misc/extra/extra.h" +#include "misc/extra/extra.h" #include "fpga.h" ABC_NAMESPACE_HEADER_START diff --git a/src/map/fpga/fpgaTruth.c b/src/map/fpga/fpgaTruth.c index d41b1184..2965f9f6 100644 --- a/src/map/fpga/fpgaTruth.c +++ b/src/map/fpga/fpgaTruth.c @@ -17,7 +17,7 @@ ***********************************************************************/ #include "fpgaInt.h" -#include "src/bdd/cudd/cudd.h" +#include "bdd/cudd/cudd.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/if/if.h b/src/map/if/if.h index 0654c05b..bebcd3ef 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -31,9 +31,9 @@ #include #include -#include "src/misc/vec/vec.h" -#include "src/misc/mem/mem.h" -#include "src/misc/tim/tim.h" +#include "misc/vec/vec.h" +#include "misc/mem/mem.h" +#include "misc/tim/tim.h" diff --git a/src/map/if/ifDec07.c b/src/map/if/ifDec07.c index 8593d6ec..f5a21884 100644 --- a/src/map/if/ifDec07.c +++ b/src/map/if/ifDec07.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "if.h" -#include "src/misc/extra/extra.h" -#include "src/bool/kit/kit.h" +#include "misc/extra/extra.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/if/ifDec08.c b/src/map/if/ifDec08.c index 15d26abf..9731a825 100644 --- a/src/map/if/ifDec08.c +++ b/src/map/if/ifDec08.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "if.h" -#include "src/misc/extra/extra.h" -#include "src/bool/kit/kit.h" +#include "misc/extra/extra.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/if/ifDec10.c b/src/map/if/ifDec10.c index 917f9f53..29f926ad 100644 --- a/src/map/if/ifDec10.c +++ b/src/map/if/ifDec10.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "if.h" -#include "src/misc/extra/extra.h" -#include "src/bool/kit/kit.h" +#include "misc/extra/extra.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index d189da89..42383a0d 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "if.h" -#include "src/bool/kit/kit.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/if/ifTime.c b/src/map/if/ifTime.c index 0b86093b..ac0d2cb4 100644 --- a/src/map/if/ifTime.c +++ b/src/map/if/ifTime.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "if.h" -#include "src/bool/kit/kit.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/mapper/mapper.c b/src/map/mapper/mapper.c index 87a0d4b8..20a6ab6e 100644 --- a/src/map/mapper/mapper.c +++ b/src/map/mapper/mapper.c @@ -16,9 +16,9 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/base/main/mainInt.h" -#include "src/map/mio/mio.h" +#include "base/abc/abc.h" +#include "base/main/mainInt.h" +#include "map/mio/mio.h" #include "mapperInt.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/mapper/mapperInt.h b/src/map/mapper/mapperInt.h index 95c5b0c7..5afbcca7 100644 --- a/src/map/mapper/mapperInt.h +++ b/src/map/mapper/mapperInt.h @@ -28,10 +28,10 @@ #include #include #include -#include "src/base/main/main.h" -#include "src/map/mio/mio.h" +#include "base/main/main.h" +#include "map/mio/mio.h" #include "mapper.h" -#include "src/misc/extra/extraBdd.h" +#include "misc/extra/extraBdd.h" ABC_NAMESPACE_HEADER_START diff --git a/src/map/mio/mio.c b/src/map/mio/mio.c index 619168c2..bdb618c1 100644 --- a/src/map/mio/mio.c +++ b/src/map/mio/mio.c @@ -22,10 +22,10 @@ #include #endif -#include "src/base/main/main.h" +#include "base/main/main.h" #include "mio.h" -#include "src/map/mapper/mapper.h" -#include "src/map/amap/amap.h" +#include "map/mapper/mapper.h" +#include "map/amap/amap.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/mio/mioInt.h b/src/map/mio/mioInt.h index a253ac63..3e843366 100644 --- a/src/map/mio/mioInt.h +++ b/src/map/mio/mioInt.h @@ -28,9 +28,9 @@ #include #include #include -#include "src/misc/vec/vec.h" -#include "src/misc/mem/mem.h" -#include "src/misc/st/st.h" +#include "misc/vec/vec.h" +#include "misc/mem/mem.h" +#include "misc/st/st.h" #include "mio.h" ABC_NAMESPACE_HEADER_START diff --git a/src/map/mio/mioRead.c b/src/map/mio/mioRead.c index d4e7fcd0..ea755b47 100644 --- a/src/map/mio/mioRead.c +++ b/src/map/mio/mioRead.c @@ -18,7 +18,7 @@ #include #include "mioInt.h" -#include "src/base/io/ioAbc.h" +#include "base/io/ioAbc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/mio/mioUtils.c b/src/map/mio/mioUtils.c index fac32873..36dd1291 100644 --- a/src/map/mio/mioUtils.c +++ b/src/map/mio/mioUtils.c @@ -17,7 +17,7 @@ ***********************************************************************/ #include "mioInt.h" -#include "src/base/main/main.h" +#include "base/main/main.h" #include "exp.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/super/super.c b/src/map/super/super.c index 7976958e..28fffa6e 100644 --- a/src/map/super/super.c +++ b/src/map/super/super.c @@ -17,8 +17,8 @@ ***********************************************************************/ #include "superInt.h" -#include "src/base/main/mainInt.h" -#include "src/map/mio/mio.h" +#include "base/main/mainInt.h" +#include "map/mio/mio.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/super/superInt.h b/src/map/super/superInt.h index 5df87fac..a808eb64 100644 --- a/src/map/super/superInt.h +++ b/src/map/super/superInt.h @@ -24,11 +24,11 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/base/abc/abc.h" -#include "src/base/main/mainInt.h" -#include "src/misc/mvc/mvc.h" -#include "src/map/mio/mio.h" -#include "src/misc/st/stmm.h" +#include "base/abc/abc.h" +#include "base/main/mainInt.h" +#include "misc/mvc/mvc.h" +#include "map/mio/mio.h" +#include "misc/st/stmm.h" #include "super.h" ABC_NAMESPACE_HEADER_START -- cgit v1.2.3