[build] Remove leftovers of codesigning / OSX IDe infrastructure.

This is not used anymore, and after #14122 the makefile parts for the
dmg generation are not used anymore.

Closes #7476 .

1 files changed, 0 insertions, 34 deletions

diff --git a/configure.ml b/configure.ml
index abea59bd60..68e4621cd5 100644
--- a/configure.ml
+++ b/configure.ml
@@ -13,15 +13,9 @@
 open Printf
 
 let coq_version = "8.14+alpha"
-let coq_macos_version = "8.13.90" (** "[...] should be a string comprised of
-three non-negative, period-separated integers [...]" *)
 let vo_magic = 81391
 let state_magic = 581391
 let is_a_released_version = false
-let distributed_exec =
-  ["coqtop.opt"; "coqidetop.opt"; "coqqueryworker.opt"; "coqproofworker.opt"; "coqtacticworker.opt";
-   "coqc.opt";"coqchk";"coqdoc";"coqworkmgr";"coq_makefile";"coq-tex";"coqwc";"csdpcert";"coqdep";"votour"]
-
 let verbose = ref false (* for debugging this script *)
 
 let red, yellow, reset =
@@ -1159,7 +1153,6 @@ let write_makefile f =
   List.iter (fun (v,_,dir,_) -> pr "%s=%S\n" v dir) install_dirs;
   pr "\n# Coq version\n";
   pr "VERSION=%s\n" coq_version;
-  pr "VERSION4MACOS=%s\n\n" coq_macos_version;
   pr "# Objective-Caml compile command\n";
   pr "OCAML=%S\n" camlexec.top;
   pr "OCAMLFIND=%S\n" camlexec.find;
@@ -1235,33 +1228,6 @@ let write_dune_c_flags f =
 
 let _ = write_dune_c_flags "config/dune.c_flags"
 
-let write_macos_metadata exec =
-  let f = "config/Info-"^exec^".plist" in
-  let () = safe_remove f in
-  let o = open_out f in
-  let pr s = fprintf o s in
-  pr "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n";
-  pr "<!DOCTYPE plist PUBLIC \"-//Apple//DTD PLIST 1.0//EN\" \"http://www.apple.com/DTDs/PropertyList-1.0.dtd\">\n";
-  pr "<plist version=\"1.0\">\n";
-  pr "<dict>\n";
-  pr "    <key>CFBundleIdentifier</key>\n";
-  pr "    <string>fr.inria.coq.%s</string>\n" exec;
-  pr "    <key>CFBundleName</key>\n";
-  pr "    <string>%s</string>\n" exec;
-  pr "    <key>CFBundleVersion</key>\n";
-  pr "    <string>%s</string>\n" coq_macos_version;
-  pr "    <key>CFBundleShortVersionString</key>\n";
-  pr "    <string>%s</string>\n" coq_macos_version;
-  pr "    <key>CFBundleInfoDictionaryVersion</key>\n";
-  pr "    <string>6.0</string>\n";
-  pr "</dict>\n";
-  pr "</plist>\n";
-  let () = close_out o in
-  Unix.chmod f 0o444
-
-let () =
-  if arch = "Darwin" then List.iter write_macos_metadata distributed_exec
-
 let write_configpy f =
   safe_remove f;
   let o = open_out f in