configure: don't double source COQPREFIX

install_dirs will fill it in
SkySkimmer · Jan 14, 2025 · f1893f3 · f1893f3
1 parent 5735809
commit f1893f3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tools/configure/configure.ml b/tools/configure/configure.ml
@@ -204,7 +204,7 @@ let coqsrc = Sys.getcwd ()
 
 type path_style =
   | Absolute of string (* Should start with a "/" *)
-  | Relative of string (* Should not start with a "/" *)
+  | Relative of string (* Should not start with a "/", relative to the prefix *)
 
 module InstallDir = struct
 
@@ -227,7 +227,7 @@ module InstallDir = struct
 end
 
 let install prefs =
-  [ InstallDir.make "COQPREFIX" "Corelib" prefs.prefix (Relative "") (Relative "")
+  [ InstallDir.make "COQPREFIX" "Corelib" None (Relative "") (Relative "")
   ; InstallDir.make "COQLIBINSTALL" "the Rocq library" prefs.libdir (Relative "lib/coq") (Relative "lib/coq")
   ; InstallDir.make "CONFIGDIR" "the Rocqide configuration files" prefs.configdir (Relative "config") (Absolute "/etc/xdg/coq")
   ; InstallDir.make "DATADIR" "the Rocqide data files" prefs.datadir (Relative "share/coq") (Relative "share/coq")