From e4ddfed7a2ca00841a7458e53f8cdc78c07c6a86 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Wed, 16 Oct 2024 20:00:46 -0700
Subject: [PATCH] Add UPF linking

---
 Makefile | 11 +++++++++++
 verific  |  2 +-
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 25921987c..3bdea5c5b 100644
--- a/Makefile
+++ b/Makefile
@@ -24,6 +24,7 @@ ENABLE_VERIFIC_HIER_TREE := 1
 ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 0
 ENABLE_VERIFIC_EDIF := 0
 ENABLE_VERIFIC_LIBERTY := 0
+ENABLE_VERIFIC_UPF := 1
 ENABLE_COVER := 1
 ENABLE_LIBYOSYS := 0
 ENABLE_ZLIB := 1
@@ -48,6 +49,11 @@ DISABLE_SPAWN := 0
 # Needed for environments that don't have proper thread support (i.e. emscripten, wasm--for now)
 DISABLE_ABC_THREADS := 0
 
+# UPF requires TCL
+ifeq ($(ENABLE_VERIFIC_UPF),1)
+ENABLE_TCL := 1
+endif
+
 # clang sanitizers
 SANITIZER =
 # SANITIZER = address
@@ -532,6 +538,11 @@ ifeq ($(ENABLE_VERIFIC_LIBERTY),1)
 VERIFIC_COMPONENTS += synlib
 CXXFLAGS += -DVERIFIC_LIBERTY_SUPPORT
 endif
+ifeq ($(ENABLE_VERIFIC_UPF),1)
+VERIFIC_COMPONENTS += hdl_file_sort verilog_nl 
+VERIFIC_COMPONENTS += commands upf
+CXXFLAGS += -DVERIFIC_UPF_SUPPORT
+endif
 ifeq ($(ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS),1)
 VERIFIC_COMPONENTS += extensions
 CXXFLAGS += -DYOSYSHQ_VERIFIC_EXTENSIONS
diff --git a/verific b/verific
index daddc8a19..6c4245752 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit daddc8a191f4206ab3a03faebbc0018828b18591
+Subproject commit 6c424575286e66b434fab12663a627653e2c265e