From 0dc6bf07f3f332be4ea9995dc8f9fbe48311b5c8 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Thu, 16 Apr 2026 10:47:05 -0700 Subject: [PATCH] Weaken symbols --- Makefile | 4 ++-- verific | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index e73570f57..4296017ce 100644 --- a/Makefile +++ b/Makefile @@ -629,7 +629,7 @@ $(VERIFIC_DIR)/database/database-linux.a: $(VERIFIC_DIR)/database/database-linux $(Q) mkdir -p $@_patch_tmp $(Q) cd $@_patch_tmp && ar x $(CURDIR)/$@ && \ for o in *.o; do \ - objcopy --localize-symbols=$(CURDIR)/$(VERIFIC_DIR)/_override_syms.txt "$$o" 2>/dev/null || true; \ + objcopy --weaken-symbols=$(CURDIR)/$(VERIFIC_DIR)/_override_syms.txt "$$o" 2>/dev/null || true; \ done $(Q) ar rcs $@ $@_patch_tmp/*.o $(Q) rm -rf $@_patch_tmp @@ -639,7 +639,7 @@ $(VERIFIC_DIR)/verilog/verilog-linux.a: $(VERIFIC_DIR)/verilog/verilog-linux.raw $(Q) mkdir -p $@_patch_tmp $(Q) cd $@_patch_tmp && ar x $(CURDIR)/$@ && \ for o in *.o; do \ - objcopy --localize-symbols=$(CURDIR)/$(VERIFIC_DIR)/_override_syms.txt "$$o" 2>/dev/null || true; \ + objcopy --weaken-symbols=$(CURDIR)/$(VERIFIC_DIR)/_override_syms.txt "$$o" 2>/dev/null || true; \ done $(Q) ar rcs $@ $@_patch_tmp/*.o $(Q) rm -rf $@_patch_tmp diff --git a/verific b/verific index 052006b59..41e750a4a 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 052006b591230179789359d75d702453e1832db7 +Subproject commit 41e750a4a73c2f21083c921ded112221ea30a587