merge

CMakeLists.txt

@@ -557,6 +557,7 @@ if (NOT TCL_HEADER)
 endif()
 message(STATUS "TCL header: ${TCL_HEADER}")
 get_filename_component(TCL_HEADER_DIR "${TCL_HEADER}" PATH)
+include_directories(SYSTEM ${TCL_HEADER_DIR})
 
 ################################################################
 #
@@ -669,7 +670,6 @@ set(STA_INCLUDE_DIRS
   search
   util
   verilog
-  ${TCL_HEADER_DIR}
   ${CUDD_INCLUDE}
   )
 

search/Sta.cc

@@ -2532,6 +2532,13 @@ Sta::reportClkSkew(ClockSet *clks,
 
 ////////////////////////////////////////////////////////////////
 
+void
+Sta::delaysInvalid()
+{
+  graph_delay_calc_->delaysInvalid();
+  search_->arrivalsInvalid();
+}
+
 void
 Sta::arrivalsInvalid()
 {

search/Sta.hh

@@ -894,6 +894,8 @@ public:
   // If full=false update arrivals incrementally.
   // If full=true update all arrivals from scratch.
   void updateTiming(bool full);
+  // Invalidate all delay calculations. Arrivals also invalidated.
+  void delaysInvalid();
   // Invalidate all arrival and required times.
   void arrivalsInvalid();
   void setPathMinMax(const MinMaxAll *min_max) __attribute__ ((deprecated));