From 70826a90a439435deeb6f1f9b3af1357d07d0b96 Mon Sep 17 00:00:00 2001 From: Bryan Chen Date: Wed, 3 Jul 2024 20:34:02 +1200 Subject: [PATCH] update deps target --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index bf9f8e93..852beae4 100644 --- a/Makefile +++ b/Makefile @@ -5,7 +5,9 @@ githooks: .git/hooks/pre-commit .PHONY: deps -deps: githooks +deps: Utils/Sources/blst/lib/libblst.a + +Utils/Sources/blst/lib/libblst.a: ./scripts/deps.sh .PHONY: test @@ -27,6 +29,7 @@ resolve: githooks .PHONY: clean clean: ./scripts/run.sh package clean + rm Utils/Sources/blst/lib/libblst.a .PHONY: lint lint: githooks