Makefile: fix get_fstar_z3.sh link in bin/

FStarLang · Jan 9, 2025 · 852f794 · 852f794
1 parent 1786a6d
commit 852f794
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -272,7 +272,7 @@ setlink-%:
 	# For compatibility with the previous layout
 	mkdir -p bin
 	ln -Trsf out/bin/fstar.exe bin/fstar.exe
-	ln -Trsf out/bin/get_fstar_z3.sh bin/get_fstar_z3.sh
+	ln -Trsf .scripts/get_fstar_z3.sh bin/get_fstar_z3.sh
 
 stage1: $(INSTALLED_FSTAR1_FULL_EXE)
 1: stage1