From 79bb444169f0ac919cf9672fb371ee42d98ead2e Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 3 Jan 2017 10:53:59 +0100
Subject: ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mli

The .mli only acknowledges the current API. I'm not guilty your honor!
---
 lib/coqProject_file.mli | 68 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 68 insertions(+)
 create mode 100644 lib/coqProject_file.mli

(limited to 'lib/coqProject_file.mli')

diff --git a/lib/coqProject_file.mli b/lib/coqProject_file.mli
new file mode 100644
index 000000000..36513dbde
--- /dev/null
+++ b/lib/coqProject_file.mli
@@ -0,0 +1,68 @@
+(************************************************************************)
+(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
+(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016     *)
+(*   \VV/  **************************************************************)
+(*    //   *      This file is distributed under the terms of the       *)
+(*         *       GNU Lesser General Public License Version 2.1        *)
+(************************************************************************)
+
+type target =
+  | ML of string (* ML file : foo.ml -> (ML "foo.ml") *)
+  | MLI of string (* MLI file : foo.mli -> (MLI "foo.mli") *)
+  | ML4 of string (* ML4 file : foo.ml4 -> (ML4 "foo.ml4") *)
+  | MLLIB of string (* MLLIB file : foo.mllib -> (MLLIB "foo.mllib") *)
+  | MLPACK of string (* MLLIB file : foo.mlpack -> (MLLIB "foo.mlpack") *)
+  | V of string  (* V file : foo.v -> (V "foo") *)
+  | Arg of string
+  | Special of string * string * bool * string
+    (* file, dependencies, is_phony, command *)
+  | Subdir of string
+  | Def of string * string (* X=foo -> Def ("X","foo") *)
+  | MLInclude of string (* -I physicalpath *)
+  | Include of string * string (* -Q physicalpath logicalpath *)
+  | RInclude of string * string (* -R physicalpath logicalpath *)
+
+type install =
+  | NoInstall
+  | TraditionalInstall
+  | UserInstall
+  | UnspecInstall
+
+exception Parsing_error
+
+val args_from_project : 
+           string ->
+           (string *
+            ('a *
+             (('b * string) list * ('c * string * string) list *
+              ('d * string * string) list) *
+             (string list * 'e)))
+           list -> string -> string * string list
+
+val read_project_file :
+           string ->
+           (string list *
+            (string list * string list * string list * string list *
+             string list) *
+            (string * string * bool * string) list * string list) *
+           ((string * string) list * (string * string * string) list *
+            (string * string * string) list) *
+           (string list * (string * string) list)
+
+val process_cmd_line :
+           string ->
+           string option * string option * install * bool ->
+           target list ->
+           string list ->
+           (string option * string option * install * bool) * target list
+
+val split_arguments :
+           target list ->
+           (string list *
+            (string list * string list * string list * string list *
+             string list) *
+            (string * string * bool * string) list * string list) *
+           ((string * string) list * (string * string * string) list *
+            (string * string * string) list) *
+           (string list * (string * string) list)
+
-- 
cgit v1.2.3