mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-01-19 08:43:20 +00:00
Code Activity

Append verific into libyosys.a

Browse source
This commit is contained in:
Miodrag Milanovic 2026-01-12 12:25:31 +01:00
parent 991e704899
commit 5a3db275af
1 changed files with 16 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

17
Makefile
View file

@ -491,6 +491,7 @@ LIBS += $(GHDL_LIB_DIR)/libghdl.a $(file <$(GHDL_LIB_DIR)/libghdl.link)
endif
LIBS_VERIFIC =
LIBS_VERIFIC_PATHS =
ifeq ($(ENABLE_VERIFIC),1)
VERIFIC_DIR ?= /usr/local/src/verific_lib
VERIFIC_COMPONENTS ?= database util containers
@ -541,8 +542,10 @@ endif
CXXFLAGS += $(patsubst %,-I$(VERIFIC_DIR)/%,$(VERIFIC_COMPONENTS)) -DYOSYS_ENABLE_VERIFIC
ifeq ($(OS), Darwin)
LIBS_VERIFIC += $(foreach comp,$(patsubst %,$(VERIFIC_DIR)/%/*-mac.a,$(VERIFIC_COMPONENTS)),-Wl,-force_load $(comp)) -lz
LIBS_VERIFIC_PATHS += $(patsubst %,$(VERIFIC_DIR)/%/*-mac.a,$(VERIFIC_COMPONENTS))
else
LIBS_VERIFIC += -Wl,--whole-archive $(patsubst %,$(VERIFIC_DIR)/%/*-linux.a,$(VERIFIC_COMPONENTS)) -Wl,--no-whole-archive -lz
LIBS_VERIFIC_PATHS += $(patsubst %,$(VERIFIC_DIR)/%/*-linux.a,$(VERIFIC_COMPONENTS))
endif
endif
@ -773,7 +776,19 @@ else
endif
libyosys.a: $(filter-out kernel/driver.o,$(OBJS))
$(P) $(AR) rcs $@ $^
$(Q) rm -f $@.tmp
$(P) $(AR) rcs $@.tmp $^
@echo "create $@" > ar.mri
@echo "addlib $@.tmp" >> ar.mri
ifeq ($(ENABLE_VERIFIC),1)
@for lib in $(LIBS_VERIFIC_PATHS); do \
echo "addlib $$lib" >> ar.mri; \
done
endif
@echo "save" >> ar.mri
@echo "end" >> ar.mri
$(Q) $(AR) -M < ar.mri
$(Q) rm -f $@.tmp ar.mri
%.o: %.cc
$(Q) mkdir -p $(dir $@)