From 4e9bc09df64cd15e85c19ecabbc9580c00771176 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 6 Nov 2018 11:33:09 +0100
Subject: [CoqProject] Abstract warning function for CoqProject readers.

`CoqProject_file` uses the feedback system, however this is not very
convenient in some scenarios such as `coqdep` that has to be run very
early in the build process [and thus in "boot" mode].

We thus make the warning function a paramater.

Should fix #8913.
---
 lib/coqProject_file.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/coqProject_file.mli')

diff --git a/lib/coqProject_file.mli b/lib/coqProject_file.mli
index 2a6a09a9a0..20b276ce8c 100644
--- a/lib/coqProject_file.mli
+++ b/lib/coqProject_file.mli
@@ -51,8 +51,8 @@ and install =
   | TraditionalInstall
   | UserInstall
 
-val cmdline_args_to_project : curdir:string -> string list -> project
-val read_project_file : string -> project
+val cmdline_args_to_project : warning_fn:(string -> unit) -> curdir:string -> string list -> project
+val read_project_file : warning_fn:(string -> unit) -> string -> project
 val coqtop_args_from_project : project -> string list
 val find_project_file : from:string -> projfile_name:string -> string option
 
-- 
cgit v1.2.3