Ignore:
Timestamp:
Nov 12, 2015, 4:26:25 PM (4 years ago)
Author:
nmedfort
Message:

Work on bug fixes for multiplexing pass.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/CMakeLists.txt

    r4856 r4868  
    140140IF (ENABLE_MULTIPLEXING)
    141141message(STATUS "Enabling Multiplexing")
    142 SET(CUDD_ROOT "${CMAKE_SOURCE_DIR}/../cudd-2.5.1")
    143 file(GLOB CUDD_SOURCES "${CUDD_ROOT}/cudd/*.c")
    144 file(GLOB EPD_SOURCES "${CUDD_ROOT}/epd/*.c")
    145 file(GLOB MTR_SOURCES "${CUDD_ROOT}/mtr/*.c")
    146 file(GLOB ST_SOURCES "${CUDD_ROOT}/st/*.c")
    147 file(GLOB UTIL_SOURCES "${CUDD_ROOT}/util/*.c")
    148 add_library(CUDD ${UTIL_SOURCES} ${MTR_SOURCES} ${CUDD_SOURCES} ${ST_SOURCES} ${EPD_SOURCES})
    149 include_directories(${CUDD_ROOT}/cudd)
    150 include_directories(${CUDD_ROOT}/epd)
    151 include_directories(${CUDD_ROOT}/mtr)
    152 include_directories(${CUDD_ROOT}/st)
    153 include_directories(${CUDD_ROOT}/util)
    154 target_link_libraries (PabloADT CUDD)
     142SET(BUDDY_ROOT "${CMAKE_SOURCE_DIR}/../buddy-2.4")
     143file(GLOB BUDDY_SOURCES "${BUDDY_ROOT}/src/*.cpp")
     144add_library(BUDDY ${BUDDY_SOURCES})
     145include_directories(${BUDDY_ROOT}/src)
     146target_link_libraries (PabloADT BUDDY)
    155147SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -DENABLE_MULTIPLEXING")
    156148ENDIF()
Note: See TracChangeset for help on using the changeset viewer.