Merge pull request #440 from MSoegtropIMC/8.19-release-prep-3

Fix #439 MacOS: coqide is complied with wrong deployment target
coq · Oct 17, 2024 · 483a341 · 483a341
2 parents 508bf23 + 347f51b
commit 483a341
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/macos/create_installer_macos.sh b/macos/create_installer_macos.sh
@@ -53,6 +53,7 @@ done
 ###### Common utilities ######
 
 source shell_scripts/installer_utilities.sh
+source shell_scripts/init_macos_set_depolyment_target.sh
 
 ##### Get the release and package pick of the Coq Platform #####