Edited Makefile.

runtimeverification · Jan 17, 2025 · 5a555b3 · 5a555b3
1 parent bd1d7f4
commit 5a555b3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -80,6 +80,7 @@ C_KZG_4844_CFLAGS := -fPIC -O2 -I$(C_KZG_4844)/src -I$(C_KZG_4844)/inc
 
 $(PREFIX)/c-kzg-4844/lib/libblst.a:
 	$(MAKE) -C $(C_KZG_4844)/src build_blst
+	mkdir -p $(PREFIX)/c-kzg-4844/lib/
 	mv $(C_KZG_4844)/lib/libblst.a $(PREFIX)/c-kzg-4844/lib/
 
 $(C_KZG_4844)/lib/libckzg.o: $(C_KZG_4844)/src/ckzg.c $(PREFIX)/c-kzg-4844/lib/libblst.a