chore: fix file name

This commit is contained in:
kaichaosun 2025-12-18 16:08:17 +08:00
parent 198d0f0466
commit af31ebdca0
No known key found for this signature in database
GPG Key ID: 223E0F992F4F03BF
2 changed files with 15 additions and 2 deletions

View File

@ -22,6 +22,12 @@ GIT_SUBMODULE_UPDATE := git submodule update --init --recursive
else # "variables.mk" was included. Business as usual until the end of this file.
# Determine the OS
detected_OS := $(shell uname -s)
ifneq (,$(findstring MINGW,$(detected_OS)))
detected_OS := Windows
endif
##########
## Main ##
##########
@ -61,10 +67,17 @@ NIM_PARAMS := $(NIM_PARAMS) -d:git_version=\"$(GIT_VERSION)\"
##################
.PHONY: build-waku-librln
LIBRLN_VERSION := v0.7.0
ifeq ($(detected_OS),Windows)
LIBRLN_FILE := rln.lib
else
LIBRLN_FILE := librln_$(LIBRLN_VERSION).a
endif
build-waku-librln:
@echo "Start building waku librln"
$(MAKE) -C vendor/nwaku librln
$(eval NIM_PARAMS += --passL:./vendor/nwaku/librln_v0.9.0.a --passL:-lm)
$(eval NIM_PARAMS += --passL:$(LIBRLN_FILE) --passL:-lm)
@echo "Completed building librln"
build-waku-nat:

2
vendor/nwaku vendored

@ -1 +1 @@
Subproject commit 2d40cb9d62ba24eac9f58da1be3a3c6eb4357253
Subproject commit 41146a9193c1e360b9a0049d672260a72c4ca2bf