Updating project settings to have simpler include paths.

8 files changed, 24 insertions, 24 deletions

diff --git a/src/base/main/libSupport.c b/src/base/main/libSupport.c
index dfcc0988..4d762413 100644
--- a/src/base/main/libSupport.c
+++ b/src/base/main/libSupport.c
@@ -21,7 +21,7 @@
 #include <stdio.h>
 #include <string.h>
 
-#include "src/base/abc/abc.h"
+#include "base/abc/abc.h"
 #include "mainInt.h"
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/base/main/main.c b/src/base/main/main.c
index 9194e9f1..b7d1c0a8 100644
--- a/src/base/main/main.c
+++ b/src/base/main/main.c
@@ -49,7 +49,7 @@ SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
 #include <Python.h>
 #endif /* ABC_PYTHON_EMBED */
 
-#include "src/base/abc/abc.h"
+#include "base/abc/abc.h"
 #include "mainInt.h"
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/base/main/main.h b/src/base/main/main.h
index c1abc54f..620ddac6 100644
--- a/src/base/main/main.h
+++ b/src/base/main/main.h
@@ -27,20 +27,20 @@
 ////////////////////////////////////////////////////////////////////////
 
 // core packages
-#include "src/base/abc/abc.h"
-#include "src/aig/gia/gia.h"
+#include "base/abc/abc.h"
+#include "aig/gia/gia.h"
 
 // data structure packages
-#include "src/misc/vec/vec.h"
-#include "src/misc/st/st.h"
+#include "misc/vec/vec.h"
+#include "misc/st/st.h"
 
 ABC_NAMESPACE_HEADER_START
 // the framework containing all data
 typedef struct Abc_Frame_t_      Abc_Frame_t;
 ABC_NAMESPACE_HEADER_END
 
-#include "src/base/cmd/cmd.h"
-#include "src/base/io/ioAbc.h"
+#include "base/cmd/cmd.h"
+#include "base/io/ioAbc.h"
 
 ABC_NAMESPACE_HEADER_START
 
diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c
index 296bf7c2..269a4f8f 100644
--- a/src/base/main/mainFrame.c
+++ b/src/base/main/mainFrame.c
@@ -18,10 +18,10 @@
 
 ***********************************************************************/
 
-#include "src/base/abc/abc.h"
+#include "base/abc/abc.h"
 #include "mainInt.h"
-#include "src/bool/dec/dec.h"
-#include "src/misc/extra/extraBdd.h"
+#include "bool/dec/dec.h"
+#include "misc/extra/extraBdd.h"
 
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/base/main/mainInit.c b/src/base/main/mainInit.c
index 75d52570..5061fa0d 100644
--- a/src/base/main/mainInit.c
+++ b/src/base/main/mainInit.c
@@ -18,7 +18,7 @@
 
 ***********************************************************************/
 
-#include "src/base/abc/abc.h"
+#include "base/abc/abc.h"
 #include "mainInt.h"
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h
index aef02ba9..6ed12786 100644
--- a/src/base/main/mainInt.h
+++ b/src/base/main/mainInt.h
@@ -27,16 +27,16 @@
 ////////////////////////////////////////////////////////////////////////
 
 #include "main.h"
-#include "src/misc/tim/tim.h"
-#include "src/map/if/if.h"
-#include "src/aig/aig/aig.h"
-#include "src/aig/gia/gia.h"
-#include "src/proof/ssw/ssw.h"
-#include "src/proof/fra/fra.h"
-//#include "src/aig/nwk/nwkMerge.h"
-//#include "src/aig/ntl/ntlnwk.h"
-#include "src/misc/ext/ext.h"
-#include "src/misc/extra/extraBdd.h"
+#include "misc/tim/tim.h"
+#include "map/if/if.h"
+#include "aig/aig/aig.h"
+#include "aig/gia/gia.h"
+#include "proof/ssw/ssw.h"
+#include "proof/fra/fra.h"
+//#include "aig/nwk/nwkMerge.h"
+//#include "aig/ntl/ntlnwk.h"
+#include "misc/ext/ext.h"
+#include "misc/extra/extraBdd.h"
 
 ABC_NAMESPACE_HEADER_START
 
diff --git a/src/base/main/mainLib.c b/src/base/main/mainLib.c
index 83bae04f..5af63d79 100644
--- a/src/base/main/mainLib.c
+++ b/src/base/main/mainLib.c
@@ -18,7 +18,7 @@
 
 ***********************************************************************/
 
-#include "src/base/abc/abc.h"
+#include "base/abc/abc.h"
 #include "mainInt.h"
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c
index 5b6dc893..f0d602d3 100644
--- a/src/base/main/mainUtils.c
+++ b/src/base/main/mainUtils.c
@@ -18,7 +18,7 @@
 
 ***********************************************************************/
 
-#include "src/base/abc/abc.h"
+#include "base/abc/abc.h"
 #include "mainInt.h"
 
 #ifndef _WIN32