CMake instructions for Cudd

Author: romainbrenguier

scripts/cudd-3.0.0-CMakeLists.txt

@@ -0,0 +1,137 @@
+cmake_minimum_required(VERSION 3.10)
+project(cudd_3_0_0)
+
+set(CMAKE_CXX_STANDARD 11)
+
+include_directories(.)
+include_directories(cplusplus)
+include_directories(cudd)
+include_directories(dddmp)
+include_directories(epd)
+include_directories(mtr)
+include_directories(nanotrav)
+include_directories(st)
+include_directories(util)
+
+add_executable(cudd_3_0_0
+        cplusplus/cuddObj.cc
+        cplusplus/cuddObj.hh
+        cplusplus/testmulti.cc
+        cplusplus/testobj.cc
+        cudd/cudd.h
+        cudd/cuddAddAbs.c
+        cudd/cuddAddApply.c
+        cudd/cuddAddFind.c
+        cudd/cuddAddInv.c
+        cudd/cuddAddIte.c
+        cudd/cuddAddNeg.c
+        cudd/cuddAddWalsh.c
+        cudd/cuddAndAbs.c
+        cudd/cuddAnneal.c
+        cudd/cuddApa.c
+        cudd/cuddAPI.c
+        cudd/cuddApprox.c
+        cudd/cuddBddAbs.c
+        cudd/cuddBddCorr.c
+        cudd/cuddBddIte.c
+        cudd/cuddBridge.c
+        cudd/cuddCache.c
+        cudd/cuddCheck.c
+        cudd/cuddClip.c
+        cudd/cuddCof.c
+        cudd/cuddCompose.c
+        cudd/cuddDecomp.c
+        cudd/cuddEssent.c
+        cudd/cuddExact.c
+        cudd/cuddExport.c
+        cudd/cuddGenCof.c
+        cudd/cuddGenetic.c
+        cudd/cuddGroup.c
+        cudd/cuddHarwell.c
+        cudd/cuddInit.c
+        cudd/cuddInt.h
+        cudd/cuddInteract.c
+        cudd/cuddLCache.c
+        cudd/cuddLevelQ.c
+        cudd/cuddLinear.c
+        cudd/cuddLiteral.c
+        cudd/cuddMatMult.c
+        cudd/cuddPriority.c
+        cudd/cuddRead.c
+        cudd/cuddRef.c
+        cudd/cuddReorder.c
+        cudd/cuddSat.c
+        cudd/cuddSign.c
+        cudd/cuddSolve.c
+        cudd/cuddSplit.c
+        cudd/cuddSubsetHB.c
+        cudd/cuddSubsetSP.c
+        cudd/cuddSymmetry.c
+        cudd/cuddTable.c
+        cudd/cuddUtil.c
+        cudd/cuddWindow.c
+        cudd/cuddZddCount.c
+        cudd/cuddZddFuncs.c
+        cudd/cuddZddGroup.c
+        cudd/cuddZddIsop.c
+        cudd/cuddZddLin.c
+        cudd/cuddZddMisc.c
+        cudd/cuddZddPort.c
+        cudd/cuddZddReord.c
+        cudd/cuddZddSetop.c
+        cudd/cuddZddSymm.c
+        cudd/cuddZddUtil.c
+        cudd/testcudd.c
+        cudd/testextra.c
+        dddmp/dddmp.h
+        dddmp/dddmpBinary.c
+        dddmp/dddmpConvert.c
+        dddmp/dddmpDbg.c
+        dddmp/dddmpInt.h
+        dddmp/dddmpLoad.c
+        dddmp/dddmpLoadCnf.c
+        dddmp/dddmpNodeAdd.c
+        dddmp/dddmpNodeBdd.c
+        dddmp/dddmpNodeCnf.c
+        dddmp/dddmpStoreAdd.c
+        dddmp/dddmpStoreBdd.c
+        dddmp/dddmpStoreCnf.c
+        dddmp/dddmpStoreMisc.c
+        dddmp/dddmpUtil.c
+        dddmp/testdddmp.c
+        epd/epd.c
+        epd/epd.h
+        epd/epdInt.h
+        mtr/mtr.h
+        mtr/mtrBasic.c
+        mtr/mtrGroup.c
+        mtr/mtrInt.h
+        mtr/testmtr.c
+        nanotrav/bnet.c
+        nanotrav/bnet.h
+        nanotrav/chkMterm.c
+        nanotrav/main.c
+        nanotrav/ntr.c
+        nanotrav/ntr.h
+        nanotrav/ntrBddTest.c
+        nanotrav/ntrHeap.c
+        nanotrav/ntrMflow.c
+        nanotrav/ntrShort.c
+        nanotrav/ntrZddTest.c
+        st/st.c
+        st/st.h
+        st/testst.c
+        util/cpu_stats.c
+        util/cpu_time.c
+        util/cstringstream.c
+        util/cstringstream.h
+        util/datalimit.c
+        util/pathsearch.c
+        util/pipefork.c
+        util/prtime.c
+        util/safe_mem.c
+        util/strsav.c
+        util/texpand.c
+        util/ucbqsort.c
+        util/util.h
+        config.h)

src/util/CMakeLists.txt

@@ -1,6 +1,22 @@
 file(GLOB_RECURSE sources "*.cpp" "*.h")
 
-include_directories(${CBMC_SOURCE_DIR}/../cudd-3.0.0/)
+if(DEFINED CMAKE_USE_CUDD)
+  include("${CBMC_SOURCE_DIR}/../cmake/DownloadProject.cmake")
+  message(STATUS "Downloading Cudd-3.0.0")
+  download_project(PROJ cudd
+          URL https://sourceforge.net/projects/cudd-mirror/files/cudd-3.0.0.tar.gz/download
+          PATCH_COMMAND patch -p1 -i ${CBMC_SOURCE_DIR}/../scripts/cudd-3.0.0-patch
+          COMMAND cmake -E copy ${CBMC_SOURCE_DIR}/../scripts/cudd-3.0.0-CMakeLists.txt CMakeLists.txt
+          )
+  add_subdirectory(${cudd_SOURCE_DIR} ${cudd_BINARY_DIR})
+  include_directories(${cudd_SOURCE_DIR})
+  add_compile_options(-DHAS_CUDD)
+  list(REMOVE_ITEM sources "${CBMC_SOURCE_DIR}/util/guard.cpp")
+else()
+  message(STATUS "Skipping Cudd-3.0.0")
+  list(REMOVE_ITEM sources "${CBMC_SOURCE_DIR}/util/guard_bdd.cpp")
+  list(REMOVE_ITEM sources "${CBMC_SOURCE_DIR}/util/guard_bdd.h")
+endif()
 
 # based on https://cmake.org/pipermail/cmake/2010-July/038015.html
 find_package(Git)