Patch from Khoo Yit Phang.

Delete several files to address "ranlib: ... has no symbols" warnings (they actually are completely empty).

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1132 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/extlib-abc/aig/aig/aig_.c b/src/extlib-abc/aig/aig/aig_.c
deleted file mode 100644 (file)
index fbd835f..0000000
--- a/src/extlib-abc/aig/aig/aig_.c
+++ /dev/null
@@ -1,48 +0,0 @@
-/**CFile****************************************************************\r
-\r
-  FileName    [aig_.c]\r
-\r
-  SystemName  [ABC: Logic synthesis and verification system.]\r
-\r
-  PackageName [AIG package.]\r
-\r
-  Synopsis    []\r
-\r
-  Author      [Alan Mishchenko]\r
-  \r
-  Affiliation [UC Berkeley]\r
-\r
-  Date        [Ver. 1.0. Started - April 28, 2007.]\r
-\r
-  Revision    [$Id: aig_.c,v 1.00 2007/04/28 00:00:00 alanmi Exp $]\r
-\r
-***********************************************************************/\r
-\r
-#include "aig.h"\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                        DECLARATIONS                              ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                     FUNCTION DEFINITIONS                         ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-/**Function*************************************************************\r
-\r
-  Synopsis    []\r
-\r
-  Description []\r
-               \r
-  SideEffects []\r
-\r
-  SeeAlso     []\r
-\r
-***********************************************************************/\r
-\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                       END OF FILE                                ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-\r

diff --git a/src/extlib-abc/aig/cnf/cnf_.c b/src/extlib-abc/aig/cnf/cnf_.c
deleted file mode 100644 (file)
index 9255a4e..0000000
--- a/src/extlib-abc/aig/cnf/cnf_.c
+++ /dev/null
@@ -1,48 +0,0 @@
-/**CFile****************************************************************\r
-\r
-  FileName    [cnf_.c]\r
-\r
-  SystemName  [ABC: Logic synthesis and verification system.]\r
-\r
-  PackageName [AIG-to-CNF conversion.]\r
-\r
-  Synopsis    []\r
-\r
-  Author      [Alan Mishchenko]\r
-  \r
-  Affiliation [UC Berkeley]\r
-\r
-  Date        [Ver. 1.0. Started - April 28, 2007.]\r
-\r
-  Revision    [$Id: cnf_.c,v 1.00 2007/04/28 00:00:00 alanmi Exp $]\r
-\r
-***********************************************************************/\r
-\r
-#include "cnf.h"\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                        DECLARATIONS                              ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                     FUNCTION DEFINITIONS                         ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-/**Function*************************************************************\r
-\r
-  Synopsis    []\r
-\r
-  Description []\r
-               \r
-  SideEffects []\r
-\r
-  SeeAlso     []\r
-\r
-***********************************************************************/\r
-\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                       END OF FILE                                ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-\r

diff --git a/src/extlib-abc/aig/dar/darResub.c b/src/extlib-abc/aig/dar/darResub.c
deleted file mode 100644 (file)
index 9975d94..0000000
--- a/src/extlib-abc/aig/dar/darResub.c
+++ /dev/null
@@ -1,48 +0,0 @@
-/**CFile****************************************************************\r
-\r
-  FileName    [darResub.c]\r
-\r
-  SystemName  [ABC: Logic synthesis and verification system.]\r
-\r
-  PackageName [DAG-aware AIG rewriting.]\r
-\r
-  Synopsis    []\r
-\r
-  Author      [Alan Mishchenko]\r
-  \r
-  Affiliation [UC Berkeley]\r
-\r
-  Date        [Ver. 1.0. Started - April 28, 2007.]\r
-\r
-  Revision    [$Id: darResub.c,v 1.00 2007/04/28 00:00:00 alanmi Exp $]\r
-\r
-***********************************************************************/\r
-\r
-#include "darInt.h"\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                        DECLARATIONS                              ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                     FUNCTION DEFINITIONS                         ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-/**Function*************************************************************\r
-\r
-  Synopsis    []\r
-\r
-  Description []\r
-               \r
-  SideEffects []\r
-\r
-  SeeAlso     []\r
-\r
-***********************************************************************/\r
-\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                       END OF FILE                                ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-\r

diff --git a/src/extlib-abc/aig/dar/dar_.c b/src/extlib-abc/aig/dar/dar_.c
deleted file mode 100644 (file)
index de2fc7a..0000000
--- a/src/extlib-abc/aig/dar/dar_.c
+++ /dev/null
@@ -1,48 +0,0 @@
-/**CFile****************************************************************\r
-\r
-  FileName    [dar_.c]\r
-\r
-  SystemName  [ABC: Logic synthesis and verification system.]\r
-\r
-  PackageName [DAG-aware AIG rewriting.]\r
-\r
-  Synopsis    []\r
-\r
-  Author      [Alan Mishchenko]\r
-  \r
-  Affiliation [UC Berkeley]\r
-\r
-  Date        [Ver. 1.0. Started - April 28, 2007.]\r
-\r
-  Revision    [$Id: dar_.c,v 1.00 2007/04/28 00:00:00 alanmi Exp $]\r
-\r
-***********************************************************************/\r
-\r
-#include "darInt.h"\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                        DECLARATIONS                              ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                     FUNCTION DEFINITIONS                         ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-/**Function*************************************************************\r
-\r
-  Synopsis    []\r
-\r
-  Description []\r
-               \r
-  SideEffects []\r
-\r
-  SeeAlso     []\r
-\r
-***********************************************************************/\r
-\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                       END OF FILE                                ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-\r

diff --git a/src/extlib-abc/aig/kit/kit_.c b/src/extlib-abc/aig/kit/kit_.c
deleted file mode 100644 (file)
index cf79cff..0000000
--- a/src/extlib-abc/aig/kit/kit_.c
+++ /dev/null
@@ -1,48 +0,0 @@
-/**CFile****************************************************************\r
-\r
-  FileName    [kit_.c]\r
-\r
-  SystemName  [ABC: Logic synthesis and verification system.]\r
-\r
-  PackageName [Computation kit.]\r
-\r
-  Synopsis    []\r
-\r
-  Author      [Alan Mishchenko]\r
-  \r
-  Affiliation [UC Berkeley]\r
-\r
-  Date        [Ver. 1.0. Started - Dec 6, 2006.]\r
-\r
-  Revision    [$Id: kit_.c,v 1.00 2006/12/06 00:00:00 alanmi Exp $]\r
-\r
-***********************************************************************/\r
-\r
-#include "kit.h"\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                        DECLARATIONS                              ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                     FUNCTION DEFINITIONS                         ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-/**Function*************************************************************\r
-\r
-  Synopsis    []\r
-\r
-  Description []\r
-               \r
-  SideEffects []\r
-\r
-  SeeAlso     []\r
-\r
-***********************************************************************/\r
-\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                       END OF FILE                                ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-\r