1 files changed, 76 insertions, 0 deletions
diff --git a/ocamlbuild/fda.ml b/ocamlbuild/fda.ml
new file mode 100644
index 000000000..2a2ce8544
--- /dev/null
+++ b/ocamlbuild/fda.ml
@@ -0,0 +1,76 @@
+(***********************************************************************)
+(*                             ocamlbuild                              *)
+(*                                                                     *)
+(*  Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *)
+(*                                                                     *)
+(*  Copyright 2007 Institut National de Recherche en Informatique et   *)
+(*  en Automatique.  All rights reserved.  This file is distributed    *)
+(*  under the terms of the Q Public License version 1.0.               *)
+(*                                                                     *)
+(***********************************************************************)
+
+(* $Id$ *)
+(* Original author: Berke Durak *)
+(* FDA *)
+
+open Log
+open Hygiene
+;;
+
+exception Exit_hygiene_failed
+;;
+
+let laws =
+  [
+    { law_name = "Leftover Ocaml compilation files";
+      law_rules = [Not ".cmo"; Not ".cmi"; Not ".cmx"; Not ".cma"; Not ".cmxa"];
+      law_penalty = Fail };
+    { law_name = "Leftover Ocaml type annotation files";
+      law_rules = [Not ".annot"];
+      law_penalty = Warn };
+    { law_name = "Leftover object files";
+      law_rules = [Not ".o"; Not ".a"; Not ".so"; Not ".obj"; Not ".lib"; Not ".dll"];
+      law_penalty = Fail };
+    { law_name = "Leftover ocamlyacc-generated files";
+      law_rules = [Implies_not(".mly",".ml"); Implies_not(".mly",".mli")];
+      law_penalty = Fail };
+    { law_name = "Leftover ocamllex-generated files";
+      law_rules = [Implies_not(".mll",".ml")];
+      law_penalty = Fail };
+    { law_name = "Leftover dependency files";
+      law_rules = [Not ".ml.depends"; Not ".mli.depends"];
+      law_penalty = Fail }
+  ]
+
+let inspect entry =
+  dprintf 5 "Doing sanity checks";
+  let evil = ref false in
+  match Hygiene.check ~sterilize:!Options.sterilize laws entry with
+  | (entry, []) -> entry
+  | (entry, stuff) ->
+    List.iter
+      begin fun (law, msgs) ->
+        Printf.printf "%s: %s:\n"
+          (match law.law_penalty with
+           | Warn -> "Warning"
+           | Fail ->
+               if not !evil then
+                 begin
+                   Printf.printf "IMPORTANT:\n\
+                                  \  I cannot work with leftover compiled files:  Please remove them.\n\
+                                  \  The directory should contain only source files.\n\
+                                  \  By default I compile in the %s/ directory.\n%!" !Options.build_dir;
+                   evil := true
+                 end;
+              "ERROR")
+          law.law_name;
+        List.iter
+          begin fun msg ->
+            Printf.printf "  %s\n" msg
+          end
+          msgs
+      end
+      stuff;
+    if !evil then raise Exit_hygiene_failed;
+    entry
+;;