From d389f88285ca1560be5a522a00a4d14bd286b669 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 15 Aug 2026 09:18:47 -0700 Subject: [PATCH] Remove obsolete ACB command interface --- src/base/acb/acbCom.c | 735 --------------------------------------- src/base/acb/module.make | 1 - 2 files changed, 736 deletions(-) delete mode 100644 src/base/acb/acbCom.c diff --git a/src/base/acb/acbCom.c b/src/base/acb/acbCom.c deleted file mode 100644 index 3d62454d3..000000000 --- a/src/base/acb/acbCom.c +++ /dev/null @@ -1,735 +0,0 @@ -/**CFile**************************************************************** - - FileName [acbCom.c] - - SystemName [ABC: Logic synthesis and verification system.] - - PackageName [Hierarchical word-level netlist.] - - Synopsis [Command handlers.] - - Author [Alan Mishchenko] - - Affiliation [UC Berkeley] - - Date [Ver. 1.0. Started - November 29, 2014.] - - Revision [$Id: acbCom.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $] - -***********************************************************************/ - -#include "acb.h" -#include "proof/cec/cec.h" -#include "base/main/mainInt.h" - -ABC_NAMESPACE_IMPL_START - -#if 0 - -//////////////////////////////////////////////////////////////////////// -/// DECLARATIONS /// -//////////////////////////////////////////////////////////////////////// - -static int Acb_CommandRead ( Abc_Frame_t * pAbc, int argc, char ** argv ); -static int Acb_CommandWrite ( Abc_Frame_t * pAbc, int argc, char ** argv ); -static int Acb_CommandPs ( Abc_Frame_t * pAbc, int argc, char ** argv ); -static int Acb_CommandPut ( Abc_Frame_t * pAbc, int argc, char ** argv ); -static int Acb_CommandGet ( Abc_Frame_t * pAbc, int argc, char ** argv ); -static int Acb_CommandClp ( Abc_Frame_t * pAbc, int argc, char ** argv ); -static int Acb_CommandBlast ( Abc_Frame_t * pAbc, int argc, char ** argv ); -static int Acb_CommandCec ( Abc_Frame_t * pAbc, int argc, char ** argv ); -static int Acb_CommandTest ( Abc_Frame_t * pAbc, int argc, char ** argv ); - -static inline Acb_Man_t * Acb_AbcGetMan( Abc_Frame_t * pAbc ) { return (Acb_Man_t *)pAbc->pAbcCba; } -static inline void Acb_AbcFreeMan( Abc_Frame_t * pAbc ) { if ( pAbc->pAbcCba ) Acb_ManFree(Acb_AbcGetMan(pAbc)); } -static inline void Acb_AbcUpdateMan( Abc_Frame_t * pAbc, Acb_Man_t * p ) { Acb_AbcFreeMan(pAbc); pAbc->pAbcCba = p; } - -//////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFINITIONS /// -//////////////////////////////////////////////////////////////////////// - -/**Function******************************************************************** - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -******************************************************************************/ -void Acb_Init( Abc_Frame_t * pAbc ) -{ - Cmd_CommandAdd( pAbc, "New word level", "@read", Acb_CommandRead, 0 ); - Cmd_CommandAdd( pAbc, "New word level", "@write", Acb_CommandWrite, 0 ); - Cmd_CommandAdd( pAbc, "New word level", "@ps", Acb_CommandPs, 0 ); - Cmd_CommandAdd( pAbc, "New word level", "@put", Acb_CommandPut, 0 ); - Cmd_CommandAdd( pAbc, "New word level", "@get", Acb_CommandGet, 0 ); - Cmd_CommandAdd( pAbc, "New word level", "@clp", Acb_CommandClp, 0 ); - Cmd_CommandAdd( pAbc, "New word level", "@blast", Acb_CommandBlast, 0 ); - Cmd_CommandAdd( pAbc, "New word level", "@cec", Acb_CommandCec, 0 ); - Cmd_CommandAdd( pAbc, "New word level", "@test", Acb_CommandTest, 0 ); -} - -/**Function******************************************************************** - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -******************************************************************************/ -void Acb_End( Abc_Frame_t * pAbc ) -{ - Acb_AbcFreeMan( pAbc ); -} - - -/**Function******************************************************************** - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -******************************************************************************/ -int Acb_CommandRead( Abc_Frame_t * pAbc, int argc, char ** argv ) -{ - FILE * pFile; - Acb_Man_t * p = NULL; - char * pFileName = NULL; - int c, fTest = 0, fDfs = 0, fVerbose = 0; - Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "tdvh" ) ) != EOF ) - { - switch ( c ) - { - case 't': - fTest ^= 1; - break; - case 'd': - fDfs ^= 1; - break; - case 'v': - fVerbose ^= 1; - break; - case 'h': - goto usage; - default: - goto usage; - } - } - if ( argc != globalUtilOptind + 1 ) - { - printf( "Acb_CommandRead(): Input file name should be given on the command line.\n" ); - return 0; - } - // get the file name - pFileName = argv[globalUtilOptind]; - if ( (pFile = fopen( pFileName, "r" )) == NULL ) - { - Abc_Print( 1, "Cannot open input file \"%s\". ", pFileName ); - if ( (pFileName = Extra_FileGetSimilarName( pFileName, ".v", ".blif", ".smt", ".acb", NULL )) ) - Abc_Print( 1, "Did you mean \"%s\"?", pFileName ); - Abc_Print( 1, "\n" ); - return 0; - } - fclose( pFile ); - if ( fTest ) - { - if ( !strcmp( Extra_FileNameExtension(pFileName), "blif" ) ) - Prs_ManReadBlifTest( pFileName ); - else if ( !strcmp( Extra_FileNameExtension(pFileName), "v" ) ) - Prs_ManReadVerilogTest( pFileName ); - else - { - printf( "Unrecognized input file extension.\n" ); - return 0; - } - return 0; - } - if ( !strcmp( Extra_FileNameExtension(pFileName), "blif" ) ) - p = Acb_ManReadBlif( pFileName ); - else if ( !strcmp( Extra_FileNameExtension(pFileName), "v" ) ) - p = Acb_ManReadVerilog( pFileName ); - else if ( !strcmp( Extra_FileNameExtension(pFileName), "acb" ) ) - p = Acb_ManReadCba( pFileName ); - else - { - printf( "Unrecognized input file extension.\n" ); - return 0; - } - if ( fDfs ) - { - Acb_Man_t * pTemp; - p = Acb_ManDup( pTemp = p, Acb_NtkCollectDfs ); - Acb_ManFree( pTemp ); - } - Acb_AbcUpdateMan( pAbc, p ); - return 0; -usage: - Abc_Print( -2, "usage: @read [-tdvh] \n" ); - Abc_Print( -2, "\t reads hierarchical design\n" ); - Abc_Print( -2, "\t-t : toggle testing the parser [default = %s]\n", fTest? "yes": "no" ); - Abc_Print( -2, "\t-d : toggle computing DFS ordering [default = %s]\n", fDfs? "yes": "no" ); - Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" ); - Abc_Print( -2, "\t-h : print the command usage\n"); - return 1; -} - -/**Function******************************************************************** - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -******************************************************************************/ -int Acb_CommandWrite( Abc_Frame_t * pAbc, int argc, char ** argv ) -{ - Acb_Man_t * p = Acb_AbcGetMan(pAbc); - char * pFileName = NULL; - int fInclineCats = 0; - int c, fVerbose = 0; - Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "cvh" ) ) != EOF ) - { - switch ( c ) - { - case 'c': - fInclineCats ^= 1; - break; - case 'v': - fVerbose ^= 1; - break; - case 'h': - goto usage; - default: - goto usage; - } - } - if ( p == NULL ) - { - Abc_Print( 1, "Acb_CommandWrite(): There is no current design.\n" ); - return 0; - } - - if ( argc == globalUtilOptind + 1 ) - pFileName = argv[globalUtilOptind]; - else if ( argc == globalUtilOptind && p ) - { - pFileName = Extra_FileNameGenericAppend( Acb_ManSpec(p) ? Acb_ManSpec(p) : Acb_ManName(p), "_out.v" ); - printf( "Generated output file name \"%s\".\n", pFileName ); - } - else - { - printf( "Output file name should be given on the command line.\n" ); - return 0; - } - // perform writing - if ( !strcmp( Extra_FileNameExtension(pFileName), "blif" ) ) - Acb_ManWriteBlif( pFileName, p ); - else if ( !strcmp( Extra_FileNameExtension(pFileName), "v" ) ) - Acb_ManWriteVerilog( pFileName, p, fInclineCats ); - else if ( !strcmp( Extra_FileNameExtension(pFileName), "acb" ) ) - Acb_ManWriteCba( pFileName, p ); - else - { - printf( "Unrecognized output file extension.\n" ); - return 0; - } - return 0; -usage: - Abc_Print( -2, "usage: @write [-cvh]\n" ); - Abc_Print( -2, "\t writes the design into a file in BLIF or Verilog\n" ); - Abc_Print( -2, "\t-c : toggle inlining input concatenations [default = %s]\n", fInclineCats? "yes": "no" ); - Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" ); - Abc_Print( -2, "\t-h : print the command usage\n"); - return 1; -} - - -/**Function******************************************************************** - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -******************************************************************************/ -int Acb_CommandPs( Abc_Frame_t * pAbc, int argc, char ** argv ) -{ - Acb_Man_t * p = Acb_AbcGetMan(pAbc); - int nModules = 0; - int fShowMulti = 0; - int fShowAdder = 0; - int fDistrib = 0; - int c, fVerbose = 0; - Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "Mmadvh" ) ) != EOF ) - { - switch ( c ) - { - case 'M': - if ( globalUtilOptind >= argc ) - { - Abc_Print( -1, "Command line switch \"-M\" should be followed by an integer.\n" ); - goto usage; - } - nModules = atoi(argv[globalUtilOptind]); - globalUtilOptind++; - if ( nModules < 0 ) - goto usage; - break; - case 'm': - fShowMulti ^= 1; - break; - case 'a': - fShowAdder ^= 1; - break; - case 'd': - fDistrib ^= 1; - break; - case 'v': - fVerbose ^= 1; - break; - case 'h': - goto usage; - default: - goto usage; - } - } - if ( p == NULL ) - { - Abc_Print( 1, "Acb_CommandPs(): There is no current design.\n" ); - return 0; - } - if ( nModules ) - { - Acb_ManPrintStats( p, nModules, fVerbose ); - return 0; - } - Acb_NtkPrintStatsFull( Acb_ManRoot(p), fDistrib, fVerbose ); - if ( fShowMulti ) - Acb_NtkPrintNodes( Acb_ManRoot(p), ABC_OPER_ARI_MUL ); - if ( fShowAdder ) - Acb_NtkPrintNodes( Acb_ManRoot(p), ABC_OPER_ARI_ADD ); - return 0; -usage: - Abc_Print( -2, "usage: @ps [-M num] [-madvh]\n" ); - Abc_Print( -2, "\t prints statistics\n" ); - Abc_Print( -2, "\t-M num : the number of first modules to report [default = %d]\n", nModules ); - Abc_Print( -2, "\t-m : toggle printing multipliers [default = %s]\n", fShowMulti? "yes": "no" ); - Abc_Print( -2, "\t-a : toggle printing adders [default = %s]\n", fShowAdder? "yes": "no" ); - Abc_Print( -2, "\t-d : toggle printing distrubition [default = %s]\n", fDistrib? "yes": "no" ); - Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" ); - Abc_Print( -2, "\t-h : print the command usage\n"); - return 1; -} - -/**Function******************************************************************** - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -******************************************************************************/ -int Acb_CommandPut( Abc_Frame_t * pAbc, int argc, char ** argv ) -{ - Acb_Man_t * p = Acb_AbcGetMan(pAbc); - Gia_Man_t * pGia = NULL; - int c, fBarBufs = 1, fSeq = 0, fVerbose = 0; - Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "bsvh" ) ) != EOF ) - { - switch ( c ) - { - case 'b': - fBarBufs ^= 1; - break; - case 's': - fSeq ^= 1; - break; - case 'v': - fVerbose ^= 1; - break; - case 'h': - goto usage; - default: - goto usage; - } - } - if ( p == NULL ) - { - Abc_Print( 1, "Acb_CommandPut(): There is no current design.\n" ); - return 0; - } - pGia = Acb_ManBlast( p, fBarBufs, fSeq, fVerbose ); - if ( pGia == NULL ) - { - Abc_Print( 1, "Acb_CommandPut(): Conversion to AIG has failed.\n" ); - return 0; - } - Abc_FrameUpdateGia( pAbc, pGia ); - return 0; -usage: - Abc_Print( -2, "usage: @put [-bsvh]\n" ); - Abc_Print( -2, "\t extracts AIG from the hierarchical design\n" ); - Abc_Print( -2, "\t-b : toggle using barrier buffers [default = %s]\n", fBarBufs? "yes": "no" ); - Abc_Print( -2, "\t-s : toggle blasting sequential elements [default = %s]\n", fSeq? "yes": "no" ); - Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" ); - Abc_Print( -2, "\t-h : print the command usage\n"); - return 1; -} - -/**Function******************************************************************** - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -******************************************************************************/ -int Acb_CommandGet( Abc_Frame_t * pAbc, int argc, char ** argv ) -{ - Acb_Man_t * pNew = NULL, * p = Acb_AbcGetMan(pAbc); - int c, fMapped = 0, fVerbose = 0; - Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "mvh" ) ) != EOF ) - { - switch ( c ) - { - case 'm': - fMapped ^= 1; - break; - case 'v': - fVerbose ^= 1; - break; - case 'h': - goto usage; - default: - goto usage; - } - } - if ( p == NULL ) - { - Abc_Print( 1, "Acb_CommandGet(): There is no current design.\n" ); - return 0; - } - - if ( fMapped ) - { - if ( pAbc->pNtkCur == NULL ) - { - Abc_Print( 1, "Acb_CommandGet(): There is no current mapped design.\n" ); - return 0; - } - pNew = Acb_ManInsertAbc( p, pAbc->pNtkCur ); - } - else - { - if ( pAbc->pGia == NULL ) - { - Abc_Print( 1, "Acb_CommandGet(): There is no current AIG.\n" ); - return 0; - } - pNew = Acb_ManInsertGia( p, pAbc->pGia ); - } - Acb_AbcUpdateMan( pAbc, pNew ); - return 0; -usage: - Abc_Print( -2, "usage: @get [-mvh]\n" ); - Abc_Print( -2, "\t extracts AIG or mapped network into the hierarchical design\n" ); - Abc_Print( -2, "\t-m : toggle using mapped network from main-space [default = %s]\n", fMapped? "yes": "no" ); - Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" ); - Abc_Print( -2, "\t-h : print the command usage\n"); - return 1; -} - -/**Function******************************************************************** - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -******************************************************************************/ -int Acb_CommandClp( Abc_Frame_t * pAbc, int argc, char ** argv ) -{ - Acb_Man_t * pNew = NULL, * p = Acb_AbcGetMan(pAbc); - int c, fVerbose = 0; - Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "vh" ) ) != EOF ) - { - switch ( c ) - { - case 'v': - fVerbose ^= 1; - break; - case 'h': - goto usage; - default: - goto usage; - } - } - if ( p == NULL ) - { - Abc_Print( 1, "Acb_CommandGet(): There is no current design.\n" ); - return 0; - } - pNew = Acb_ManCollapse( p ); - Acb_AbcUpdateMan( pAbc, pNew ); - return 0; -usage: - Abc_Print( -2, "usage: @clp [-vh]\n" ); - Abc_Print( -2, "\t collapses the current hierarchical design\n" ); - Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" ); - Abc_Print( -2, "\t-h : print the command usage\n"); - return 1; -} - -/**Function******************************************************************** - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -******************************************************************************/ -int Acb_CommandBlast( Abc_Frame_t * pAbc, int argc, char ** argv ) -{ - Gia_Man_t * pNew = NULL; - Acb_Man_t * p = Acb_AbcGetMan(pAbc); - int c, fSeq = 0, fVerbose = 0; - Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "svh" ) ) != EOF ) - { - switch ( c ) - { - case 's': - fSeq ^= 1; - break; - case 'v': - fVerbose ^= 1; - break; - case 'h': - goto usage; - default: - goto usage; - } - } - if ( p == NULL ) - { - Abc_Print( 1, "Acb_CommandBlast(): There is no current design.\n" ); - return 0; - } - pNew = Acb_ManBlast( p, 0, fSeq, fVerbose ); - if ( pNew == NULL ) - { - Abc_Print( 1, "Acb_CommandBlast(): Bit-blasting has failed.\n" ); - return 0; - } - Abc_FrameUpdateGia( pAbc, pNew ); - return 0; -usage: - Abc_Print( -2, "usage: @blast [-svh]\n" ); - Abc_Print( -2, "\t performs bit-blasting of the word-level design\n" ); - Abc_Print( -2, "\t-s : toggle blasting sequential elements [default = %s]\n", fSeq? "yes": "no" ); - Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" ); - Abc_Print( -2, "\t-h : print the command usage\n"); - return 1; -} - -/**Function******************************************************************** - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -******************************************************************************/ -int Acb_CommandCec( Abc_Frame_t * pAbc, int argc, char ** argv ) -{ - Acb_Man_t * p = Acb_AbcGetMan(pAbc), * pTemp; - Gia_Man_t * pFirst, * pSecond, * pMiter; - Cec_ParCec_t ParsCec, * pPars = &ParsCec; - char * pFileName, * pStr, ** pArgvNew; - int c, nArgcNew, fDumpMiter = 0; - FILE * pFile; - Cec_ManCecSetDefaultParams( pPars ); - Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "vh" ) ) != EOF ) - { - switch ( c ) - { - case 'v': - pPars->fVerbose ^= 1; - break; - case 'h': - goto usage; - default: - goto usage; - } - } - if ( p == NULL ) - { - Abc_Print( 1, "Acb_CommandCec(): There is no current design.\n" ); - return 0; - } - - pArgvNew = argv + globalUtilOptind; - nArgcNew = argc - globalUtilOptind; - if ( nArgcNew != 1 ) - { - if ( p->pSpec == NULL ) - { - Abc_Print( -1, "File name is not given on the command line.\n" ); - return 1; - } - pFileName = p->pSpec; - } - else - pFileName = pArgvNew[0]; - // fix the wrong symbol - for ( pStr = pFileName; *pStr; pStr++ ) - if ( *pStr == '>' ) - *pStr = '\\'; - if ( (pFile = fopen( pFileName, "r" )) == NULL ) - { - Abc_Print( -1, "Cannot open input file \"%s\". ", pFileName ); - if ( (pFileName = Extra_FileGetSimilarName( pFileName, ".v", ".blif", NULL, NULL, NULL )) ) - Abc_Print( 1, "Did you mean \"%s\"?", pFileName ); - Abc_Print( 1, "\n" ); - return 1; - } - fclose( pFile ); - - // extract AIG from the current design - pFirst = Acb_ManBlast( p, 0, 0, 0 ); - if ( pFirst == NULL ) - { - Abc_Print( -1, "Extracting AIG from the current design has failed.\n" ); - return 0; - } - // extract AIG from the second design - - if ( !strcmp( Extra_FileNameExtension(pFileName), "blif" ) ) - pTemp = Acb_ManReadBlif( pFileName ); - else if ( !strcmp( Extra_FileNameExtension(pFileName), "v" ) ) - pTemp = Acb_ManReadVerilog( pFileName ); - else if ( !strcmp( Extra_FileNameExtension(pFileName), "acb" ) ) - pTemp = Acb_ManReadCba( pFileName ); - else assert( 0 ); - pSecond = Acb_ManBlast( pTemp, 0, 0, 0 ); - Acb_ManFree( pTemp ); - if ( pSecond == NULL ) - { - Gia_ManStop( pFirst ); - Abc_Print( -1, "Extracting AIG from the original design has failed.\n" ); - return 0; - } - // compute the miter - pMiter = Gia_ManMiter( pFirst, pSecond, 0, 1, 0, 0, pPars->fVerbose ); - if ( pMiter ) - { - if ( fDumpMiter ) - { - Abc_Print( 0, "The verification miter is written into file \"%s\".\n", "cec_miter.aig" ); - Gia_AigerWrite( pMiter, "cec_miter.aig", 0, 0, 0 ); - } - pAbc->Status = Cec_ManVerify( pMiter, pPars ); - //Abc_FrameReplaceCex( pAbc, &pAbc->pGia->pCexComb ); - Gia_ManStop( pMiter ); - } - Gia_ManStop( pFirst ); - Gia_ManStop( pSecond ); - return 0; -usage: - Abc_Print( -2, "usage: @cec [-vh]\n" ); - Abc_Print( -2, "\t combinational equivalence checking\n" ); - Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", pPars->fVerbose? "yes": "no" ); - Abc_Print( -2, "\t-h : print the command usage\n"); - return 1; -} - -/**Function******************************************************************** - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -******************************************************************************/ -int Acb_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) -{ - Acb_Man_t * p = Acb_AbcGetMan(pAbc); - int c, fVerbose = 0; - Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "vh" ) ) != EOF ) - { - switch ( c ) - { - case 'v': - fVerbose ^= 1; - break; - case 'h': - goto usage; - default: - goto usage; - } - } - if ( p == NULL ) - { - Abc_Print( 1, "Acb_CommandTest(): There is no current design.\n" ); - return 0; - } - return 0; -usage: - Abc_Print( -2, "usage: @test [-vh]\n" ); - Abc_Print( -2, "\t experiments with word-level networks\n" ); - Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" ); - Abc_Print( -2, "\t-h : print the command usage\n"); - return 1; -} - -#endif - -//////////////////////////////////////////////////////////////////////// -/// END OF FILE /// -//////////////////////////////////////////////////////////////////////// - - -ABC_NAMESPACE_IMPL_END - diff --git a/src/base/acb/module.make b/src/base/acb/module.make index ec78b3b0c..c399e73af 100644 --- a/src/base/acb/module.make +++ b/src/base/acb/module.make @@ -1,6 +1,5 @@ SRC += src/base/acb/acbAbc.c \ src/base/acb/acbAig.c \ - src/base/acb/acbCom.c \ src/base/acb/acbFunc.c \ src/base/acb/acbMfs.c \ src/base/acb/acbPush.c \