# AUTHORS: Dan Liew, Ryan Gvostes, Mate Soos # # Permission is hereby granted, free of charge, to any person obtaining a copy # of this software and associated documentation files (the "Software"), to deal # in the Software without restriction, including without limitation the rights # to use, copy, modify, merge, publish, distribute, sublicense, and/or sell # copies of the Software, and to permit persons to whom the Software is # furnished to do so, subject to the following conditions: # # The above copyright notice and this permission notice shall be included in # all copies or substantial portions of the Software. # # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR # IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE # AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN # THE SOFTWARE. #add_custom_target(ASTKind_header ALL DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/ASTKind.h) include_directories(${CMAKE_CURRENT_SOURCE_DIR}) #http://www.eecs.berkeley.edu/~alanmi/abc/ # This is the only C code used in STP so its fine to have # the macro here and not global to the project include(CheckCCompilerFlag) macro(add_c_flag_if_supported flagname) check_c_compiler_flag("${flagname}" HAVE_C_FLAG_${flagname}) if(HAVE_C_FLAG_${flagname}) set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} ${flagname}") endif() endmacro() if(NOT STATICCOMPILE) add_c_flag_if_supported("-fPIC") endif() add_library(abc OBJECT aig/aig/aigCheck.c aig/aig/aigDfs.c aig/aig/aigFanout.c aig/aig/aigMan.c aig/aig/aigMem.c aig/aig/aigMffc.c aig/aig/aigObj.c aig/aig/aigOper.c aig/aig/aigOrder.c aig/aig/aigPart.c aig/aig/aigRepr.c aig/aig/aigRet.c aig/aig/aigScl.c aig/aig/aigSeq.c aig/aig/aigShow.c aig/aig/aigTable.c aig/aig/aigTime.c aig/aig/aigTiming.c aig/aig/aigTruth.c aig/aig/aigTsim.c aig/aig/aigUtil.c aig/aig/aigWin.c aig/cnf/cnfCore.c aig/cnf/cnfCut.c aig/cnf/cnfData.c aig/cnf/cnfMan.c aig/cnf/cnfMap.c aig/cnf/cnfPost.c aig/cnf/cnfUtil.c aig/cnf/cnfWrite.c aig/dar/darBalance.c aig/dar/darCore.c aig/dar/darCut.c aig/dar/darData.c aig/dar/darLib.c aig/dar/darMan.c aig/dar/darPrec.c aig/dar/darRefact.c aig/dar/darScript.c aig/kit/kitAig.c aig/kit/kitGraph.c aig/kit/kitIsop.c aig/kit/kitSop.c aig/kit/kitTruth.c )