check or-tools dependency in CMakeLists.txt

Author: soheilshahrouz

CMakeLists.txt

@@ -43,6 +43,7 @@ option(VTR_ENABLE_CAPNPROTO "Enable capnproto binary serialization support in VP
 #VPR option --enable_analytic_placer is also required for Analytic Placement
 option(VPR_ANALYTIC_PLACE "Enable analytic placement in VPR." ON)
 option(VPR_ENABLE_INTERCHANGE "Enable FPGA interchange." ON)
+option(VPR_ENABLE_NOC_SAT_ROUTING "Enable NoC SAT routing." OFF)
 
 option(WITH_BLIFEXPLORER "Enable build with blifexplorer" OFF)
 
@@ -217,12 +218,12 @@ endforeach()
 set(FLEX_BISON_WARN_SUPPRESS_FLAGS "")
 set(FLEX_BISON_WARN_SUPPRESS_FLAGS_TO_CHECK
     "-Wno-redundant-decls"  #Flex/bison generate code with redundant declarations
-    "-Wno-switch-default"   #Flex/bison generate switch statments w/o default cases
+    "-Wno-switch-default"   #Flex/bison generate switch statements w/o default cases
     "-Wno-unused-parameter" #Flex produces functions with unused params in re-entrant mode
     "-Wno-missing-declarations" #Flex misses some declarations in re-entrant mode
     "-Wimplicit-fallthrough=0" #Bison produces some cases with explicit
     "-Wno-sign-compare" #Flex generates code which performs some signed/unsigned comparison
-    "-Wno-null-dereference" #Bison produces some cases with potenetial null derefs
+    "-Wno-null-dereference" #Bison produces some cases with potential null derefs
     )
 foreach(flag ${FLEX_BISON_WARN_SUPPRESS_FLAGS_TO_CHECK})
     CHECK_CXX_COMPILER_FLAG(${flag} CXX_COMPILER_SUPPORTS_${flag})

vpr/CMakeLists.txt

@@ -73,6 +73,20 @@ if(${VPR_ANALYTIC_PLACE})
 	endif(TARGET Eigen3::Eigen)
 endif()
 
+if (${VPR_ENABLE_NOC_SAT_ROUTING})
+    message(STATUS "VPR NoC SAT Routing: Requested")
+    find_package(ortools CONFIG REQUIRED)
+    if (TARGET ortools::ortools)
+        message(STATUS "VPR NoC SAT Routing dependency (or-tools): Found")
+        message(STATUS "VPR NoC SAT Routing: Enabled")
+        target_link_libraries(libvpr ortools::ortools)
+        target_compile_definitions(libvpr PUBLIC -DENABLE_NOC_SAT_ROUTING)
+    else ()
+        message(STATUS "VPR NoC SAT Routing dependency (or-tools): Not Found (You may need to set CMAKE_PREFIX_PATH in order for CMake to find your OR-Tools installation)")
+        message(STATUS "VPR NoC SAT Routing: Disabled")
+    endif (TARGET ortools::ortools)
+endif ()
+
 set_target_properties(libvpr PROPERTIES PREFIX "") #Avoid extra 'lib' prefix
 
 #Specify link-time dependencies
@@ -87,9 +101,6 @@ target_link_libraries(libvpr
                         librrgraph
 )
 
-find_package(ortools CONFIG REQUIRED)
-target_link_libraries(libvpr ortools::ortools)
-
 #link graphics library only when graphics set to on
 if (VPR_USE_EZGL STREQUAL "on")
     target_link_libraries(libvpr

vpr/src/noc/sat_routing.cpp

@@ -1,3 +1,5 @@
+#ifdef ENABLE_NOC_SAT_ROUTING
+
 
 #include "sat_routing.h"
 #include "turn_model_routing.h"
@@ -940,4 +942,6 @@ vtr::vector<NocTrafficFlowId, std::vector<NocLinkId>> noc_sat_route(bool minimiz
 
     // when no feasible solution was found, return an empty vector
     return {};
-}
+}
+
+#endif //ENABLE_NOC_SAT_ROUTING

vpr/src/noc/sat_routing.h

@@ -1,6 +1,8 @@
 #ifndef VTR_SATROUTING_H
 #define VTR_SATROUTING_H
 
+#ifdef ENABLE_NOC_SAT_ROUTING
+
 #include <utility>
 #include <map>
 
@@ -54,4 +56,5 @@ struct hash<std::pair<ClusterBlockId, NocRouterId>> {
 } // namespace std
 
 
+#endif
 #endif

vpr/src/place/place.cpp

@@ -1201,6 +1201,7 @@ void try_place(const Netlist<>& net_list,
             get_total_congestion_bandwidth_ratio(),
             get_number_of_congested_noc_links());
 
+#ifdef ENABLE_NOC_SAT_ROUTING
         if (costs.noc_cost_terms.congestion > 0.0) {
             VTR_LOG("NoC routing configuration is congested. Invoking the SAT NoC router.\n");
             auto traffic_flow_routes = noc_sat_route(true,
@@ -1236,7 +1237,9 @@ void try_place(const Netlist<>& net_list,
                 VTR_LOG("SAT routing failed.\n");
             }
         }
+#endif //ENABLE_NOC_SAT_ROUTING
     }
+
     update_screen(ScreenUpdatePriority::MAJOR, msg, PLACEMENT, timing_info);
     // Print out swap statistics
     print_resources_utilization();