Changed path to libblst .a in Makefile.

runtimeverification · Jan 17, 2025 · 6c196b1 · 6c196b1
1 parent e2f2e8b
commit 6c196b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -80,7 +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
-	mv $(C_KZG_4844)/lib/libblst.a $(PREFIX)/c-kzg-4844/lib/
+	mv $(C_KZG_4844)/blst/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
 	$(CC) $(C_KZG_4844_CFLAGS) $< -c -o $@