Updating project settings to have simpler include paths.

37 files changed, 42 insertions, 42 deletions

diff --git a/src/misc/bar/bar.c b/src/misc/bar/bar.c
index 6610b415..211fe93e 100644
--- a/src/misc/bar/bar.c
+++ b/src/misc/bar/bar.c
@@ -22,8 +22,8 @@
 #include <stdlib.h>
 #include <string.h>
 
-#include "src/misc/util/abc_global.h"
-#include "src/base/main/main.h"
+#include "misc/util/abc_global.h"
+#include "base/main/main.h"
 #include "bar.h"
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/misc/bbl/bblif.c b/src/misc/bbl/bblif.c
index eefff9f7..4ed1ef1f 100644
--- a/src/misc/bbl/bblif.c
+++ b/src/misc/bbl/bblif.c
@@ -23,7 +23,7 @@
 #include <string.h>
 #include <assert.h>
 
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 #include "bblif.h"
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/misc/bzlib/bzlib.h b/src/misc/bzlib/bzlib.h
index 30487828..a1bca0bc 100644
--- a/src/misc/bzlib/bzlib.h
+++ b/src/misc/bzlib/bzlib.h
@@ -96,7 +96,7 @@ typedef
 #endif
 
 #include <stdio.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 ABC_NAMESPACE_HEADER_START
 
diff --git a/src/misc/extra/extra.h b/src/misc/extra/extra.h
index 2f04e781..7b2a6f7a 100644
--- a/src/misc/extra/extra.h
+++ b/src/misc/extra/extra.h
@@ -43,7 +43,7 @@
 #include <string.h>
 #include <assert.h>
 
-#include "src/misc/st/st.h"
+#include "misc/st/st.h"
 
 ABC_NAMESPACE_HEADER_START
 
diff --git a/src/misc/extra/extraBdd.h b/src/misc/extra/extraBdd.h
index fcd10320..8341f53d 100644
--- a/src/misc/extra/extraBdd.h
+++ b/src/misc/extra/extraBdd.h
@@ -43,9 +43,9 @@
 #include <string.h>
 #include <assert.h>
 
-#include "src/misc/st/st.h"
-#include "src/bdd/cudd/cuddInt.h"
-#include "src/misc/extra/extra.h"
+#include "misc/st/st.h"
+#include "bdd/cudd/cuddInt.h"
+#include "misc/extra/extra.h"
 
 
 ABC_NAMESPACE_HEADER_START
diff --git a/src/misc/extra/extraUtilProgress.c b/src/misc/extra/extraUtilProgress.c
index 47b33196..98e6681c 100644
--- a/src/misc/extra/extraUtilProgress.c
+++ b/src/misc/extra/extraUtilProgress.c
@@ -20,7 +20,7 @@
 
 #include <stdio.h>
 #include "extra.h"
-#include "src/base/main/main.h"
+#include "base/main/main.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/misc/extra/extraUtilReader.c b/src/misc/extra/extraUtilReader.c
index 44fc080b..732402d4 100644
--- a/src/misc/extra/extraUtilReader.c
+++ b/src/misc/extra/extraUtilReader.c
@@ -20,7 +20,7 @@
 
 #include <stdio.h>
 #include "extra.h"
-#include "src/misc/vec/vec.h"
+#include "misc/vec/vec.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/misc/hash/hash.h b/src/misc/hash/hash.h
index 6e6c637c..3f945351 100644
--- a/src/misc/hash/hash.h
+++ b/src/misc/hash/hash.h
@@ -29,7 +29,7 @@
 ///                          INCLUDES                                ///
 ////////////////////////////////////////////////////////////////////////
 
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "hashInt.h"
 #include "hashFlt.h"
diff --git a/src/misc/hash/hashFlt.h b/src/misc/hash/hashFlt.h
index c5776b46..0cd13d46 100644
--- a/src/misc/hash/hashFlt.h
+++ b/src/misc/hash/hashFlt.h
@@ -27,7 +27,7 @@
 ////////////////////////////////////////////////////////////////////////
 
 #include <stdio.h>
-#include "src/misc/extra/extra.h"
+#include "misc/extra/extra.h"
 
 ABC_NAMESPACE_HEADER_START
 
diff --git a/src/misc/hash/hashInt.h b/src/misc/hash/hashInt.h
index 81a338fc..8e0d6f0b 100644
--- a/src/misc/hash/hashInt.h
+++ b/src/misc/hash/hashInt.h
@@ -27,7 +27,7 @@
 ////////////////////////////////////////////////////////////////////////
 
 #include <stdio.h>
-#include "src/misc/extra/extra.h"
+#include "misc/extra/extra.h"
 
 ABC_NAMESPACE_HEADER_START
 
diff --git a/src/misc/hash/hashPtr.h b/src/misc/hash/hashPtr.h
index 72e2f394..b2399747 100644
--- a/src/misc/hash/hashPtr.h
+++ b/src/misc/hash/hashPtr.h
@@ -27,7 +27,7 @@
 ////////////////////////////////////////////////////////////////////////
 
 #include <stdio.h>
-#include "src/misc/extra/extra.h"
+#include "misc/extra/extra.h"
 
 ABC_NAMESPACE_HEADER_START
 
diff --git a/src/misc/mem/mem.h b/src/misc/mem/mem.h
index 0f04c160..4c0aa038 100644
--- a/src/misc/mem/mem.h
+++ b/src/misc/mem/mem.h
@@ -21,7 +21,7 @@
 #ifndef ABC__aig__mem__mem_h
 #define ABC__aig__mem__mem_h
 
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 ABC_NAMESPACE_HEADER_START
 
diff --git a/src/misc/mvc/mvc.h b/src/misc/mvc/mvc.h
index 94b9acd9..0106ce8f 100644
--- a/src/misc/mvc/mvc.h
+++ b/src/misc/mvc/mvc.h
@@ -25,7 +25,7 @@
 ////////////////////////////////////////////////////////////////////////
 
 #include <stdio.h>
-#include "src/misc/extra/extra.h"
+#include "misc/extra/extra.h"
 
 ABC_NAMESPACE_HEADER_START
 
diff --git a/src/misc/nm/nmInt.h b/src/misc/nm/nmInt.h
index 4463b276..19d688f1 100644
--- a/src/misc/nm/nmInt.h
+++ b/src/misc/nm/nmInt.h
@@ -26,8 +26,8 @@
 ///                          INCLUDES                                ///
 ////////////////////////////////////////////////////////////////////////
 
-#include "src/misc/extra/extra.h"
-#include "src/misc/vec/vec.h"
+#include "misc/extra/extra.h"
+#include "misc/vec/vec.h"
 #include "nm.h"
 
 ////////////////////////////////////////////////////////////////////////
diff --git a/src/misc/st/st.h b/src/misc/st/st.h
index 50a8440e..2cdebcec 100644
--- a/src/misc/st/st.h
+++ b/src/misc/st/st.h
@@ -15,7 +15,7 @@
 #define ABC__misc__st__st_h
 #define ST_INCLUDED
 
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 ABC_NAMESPACE_HEADER_START
 
diff --git a/src/misc/st/stmm.c b/src/misc/st/stmm.c
index dc883a67..b7f5b87e 100644
--- a/src/misc/st/stmm.c
+++ b/src/misc/st/stmm.c
@@ -8,7 +8,7 @@
  *
  */
 #include <stdio.h>
-#include "src/misc/extra/extra.h"
+#include "misc/extra/extra.h"
 #include "stmm.h"
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/misc/st/stmm.h b/src/misc/st/stmm.h
index 1853ce36..87daea19 100644
--- a/src/misc/st/stmm.h
+++ b/src/misc/st/stmm.h
@@ -14,7 +14,7 @@
 #ifndef ABC__misc__st__stmm_h
 #define ABC__misc__st__stmm_h
 
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 ABC_NAMESPACE_HEADER_START
 
diff --git a/src/misc/tim/tim.c b/src/misc/tim/tim.c
index c56bfaaf..4e60c216 100644
--- a/src/misc/tim/tim.c
+++ b/src/misc/tim/tim.c
@@ -23,8 +23,8 @@
 #include <string.h>
 #include <assert.h>
 
-#include "src/misc/vec/vec.h"
-#include "src/misc/mem/mem.h"
+#include "misc/vec/vec.h"
+#include "misc/mem/mem.h"
 #include "tim.h"
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/misc/util/utilBridge.c b/src/misc/util/utilBridge.c
index e48b54df..6180948e 100644
--- a/src/misc/util/utilBridge.c
+++ b/src/misc/util/utilBridge.c
@@ -23,7 +23,7 @@
 #include <stdlib.h>
 #include <assert.h>
 
-#include "src/aig/gia/gia.h"
+#include "aig/gia/gia.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/misc/util/utilNam.c b/src/misc/util/utilNam.c
index 9615b81f..7b8ea738 100644
--- a/src/misc/util/utilNam.c
+++ b/src/misc/util/utilNam.c
@@ -25,7 +25,7 @@
 #include <assert.h>
 
 #include "abc_global.h"
-#include "src/misc/vec/vec.h"
+#include "misc/vec/vec.h"
 #include "utilNam.h"
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/misc/vec/vec.h b/src/misc/vec/vec.h
index c02cafeb..ec3a70b8 100644
--- a/src/misc/vec/vec.h
+++ b/src/misc/vec/vec.h
@@ -26,7 +26,7 @@
 ///                          INCLUDES                                ///
 ////////////////////////////////////////////////////////////////////////
 
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "vecInt.h"
 #include "vecFlt.h"
diff --git a/src/misc/zlib/adler32.c b/src/misc/zlib/adler32.c
index 10208ab4..2015a327 100644
--- a/src/misc/zlib/adler32.c
+++ b/src/misc/zlib/adler32.c
@@ -8,7 +8,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "zutil.h"
 
diff --git a/src/misc/zlib/crc32.c b/src/misc/zlib/crc32.c
index 6c33b549..46c97008 100644
--- a/src/misc/zlib/crc32.c
+++ b/src/misc/zlib/crc32.c
@@ -29,7 +29,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "zutil.h"      /* for STDC and FAR definitions */
 
diff --git a/src/misc/zlib/deflate.c b/src/misc/zlib/deflate.c
index e47050bd..04dcbf09 100644
--- a/src/misc/zlib/deflate.c
+++ b/src/misc/zlib/deflate.c
@@ -52,7 +52,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "deflate.h"
 
diff --git a/src/misc/zlib/gzclose.c b/src/misc/zlib/gzclose.c
index 6cd8dc3d..4e796f6c 100644
--- a/src/misc/zlib/gzclose.c
+++ b/src/misc/zlib/gzclose.c
@@ -6,7 +6,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "gzguts.h"
 
diff --git a/src/misc/zlib/gzguts.h b/src/misc/zlib/gzguts.h
index f95db6c2..80961a54 100644
--- a/src/misc/zlib/gzguts.h
+++ b/src/misc/zlib/gzguts.h
@@ -61,7 +61,7 @@
 #endif
 
 #include <stdio.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 ABC_NAMESPACE_HEADER_START
 
diff --git a/src/misc/zlib/gzlib.c b/src/misc/zlib/gzlib.c
index 4d6fdfd0..743dccb6 100644
--- a/src/misc/zlib/gzlib.c
+++ b/src/misc/zlib/gzlib.c
@@ -6,7 +6,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "gzguts.h"
 
diff --git a/src/misc/zlib/gzread.c b/src/misc/zlib/gzread.c
index 6a4d13b6..71a6f462 100644
--- a/src/misc/zlib/gzread.c
+++ b/src/misc/zlib/gzread.c
@@ -6,7 +6,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "gzguts.h"
 
diff --git a/src/misc/zlib/gzwrite.c b/src/misc/zlib/gzwrite.c
index f7482615..44e116de 100644
--- a/src/misc/zlib/gzwrite.c
+++ b/src/misc/zlib/gzwrite.c
@@ -6,7 +6,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "gzguts.h"
 
diff --git a/src/misc/zlib/infback.c b/src/misc/zlib/infback.c
index 7163f99d..7559f7fd 100644
--- a/src/misc/zlib/infback.c
+++ b/src/misc/zlib/infback.c
@@ -13,7 +13,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "zutil.h"
 #include "inftrees.h"
diff --git a/src/misc/zlib/inffast.c b/src/misc/zlib/inffast.c
index fbdf94d0..a44d180e 100644
--- a/src/misc/zlib/inffast.c
+++ b/src/misc/zlib/inffast.c
@@ -6,7 +6,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "zutil.h"
 #include "inftrees.h"
diff --git a/src/misc/zlib/inflate.c b/src/misc/zlib/inflate.c
index 04feb237..449779a9 100644
--- a/src/misc/zlib/inflate.c
+++ b/src/misc/zlib/inflate.c
@@ -83,7 +83,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "zutil.h"
 #include "inftrees.h"
diff --git a/src/misc/zlib/inftrees.c b/src/misc/zlib/inftrees.c
index a73e58a8..f3835cfc 100644
--- a/src/misc/zlib/inftrees.c
+++ b/src/misc/zlib/inftrees.c
@@ -6,7 +6,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "zutil.h"
 #include "inftrees.h"
diff --git a/src/misc/zlib/trees.c b/src/misc/zlib/trees.c
index a7365594..b61bae81 100644
--- a/src/misc/zlib/trees.c
+++ b/src/misc/zlib/trees.c
@@ -37,7 +37,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "deflate.h"
 
diff --git a/src/misc/zlib/uncompr.c b/src/misc/zlib/uncompr.c
index cf021273..fedb3ed2 100644
--- a/src/misc/zlib/uncompr.c
+++ b/src/misc/zlib/uncompr.c
@@ -8,7 +8,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #define ZLIB_INTERNAL
 #include "zlib.h"
diff --git a/src/misc/zlib/zlib.h b/src/misc/zlib/zlib.h
index 0fd12170..46c1a1ae 100644
--- a/src/misc/zlib/zlib.h
+++ b/src/misc/zlib/zlib.h
@@ -39,7 +39,7 @@
 #include <unistd.h>
 #endif
 
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "zconf.h"
 
diff --git a/src/misc/zlib/zutil.c b/src/misc/zlib/zutil.c
index b74b21ea..fbf67f1b 100644
--- a/src/misc/zlib/zutil.c
+++ b/src/misc/zlib/zutil.c
@@ -8,7 +8,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 
 #include "zutil.h"