From a54fe7b7acdb06e3ba187dbed37e7643f5c954b0 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 6 Sep 2011 13:27:33 +0000
Subject: Ocamlbuild : build of fake_ide

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14457 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 _tags           | 1 +
 myocamlbuild.ml | 1 +
 2 files changed, 2 insertions(+)

diff --git a/_tags b/_tags
index 8e2d76ff5c..6c69011b82 100644
--- a/_tags
+++ b/_tags
@@ -12,6 +12,7 @@
 <checker/main.{native,byte}> : use_str, use_unix, use_dynlink, use_camlpX
 <plugins/micromega/csdpcert.{native,byte}> : use_nums, use_unix
 <tools/mkwinapp.{native,byte}> : use_unix
+<tools/fake_ide.{native,byte}> : use_unix
 
 ## tags for ide
 
diff --git a/myocamlbuild.ml b/myocamlbuild.ml
index 42060c8342..9f3dca6ac8 100644
--- a/myocamlbuild.ml
+++ b/myocamlbuild.ml
@@ -181,6 +181,7 @@ let all_binaries =
    "coq-tex", "tools/coq_tex", Best;
    "gallina", "tools/gallina", Best;
    "csdpcert", "plugins/micromega/csdpcert", BestInPlace;
+   "fake_ide", "tools/fake_ide", Best;
  ]
 
 
-- 
cgit v1.2.3