From dffb6159812757ba59e02419b451e6135d1e3502 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Fri, 20 Mar 2009 20:50:44 +0000
Subject: Many changes in the Makefile infrastructure + a beginning of
 ocamlbuild

 * generalize the use of .mllib to build all cma, not only in plugins/
 * the .mllib in plugins/ now mention Bruno's new _mod.ml files
 * lots of .cmo enumerations in Makefile.common are removed, since
   they are now in .mllib
 * the list of .cmo/.cmi can be retreive via a shell script line,
   see for instance rule install-library
 * Tolink.core_objs and Tolink.ide now contains ocaml _modules_, not
   _files_
 * a -I option to coqdep_boot allows to control piority of includes
   (some files with the same names in kernel and checker ...)

 This is quite a lot of changes, you know who to blame / report to
 if something breaks.

 ... and last but not least I've started playing with ocamlbuild.
 The myocamlbuild.ml is far from complete now, but it already allows
 to build coqtop.{opt,byte} here. See comments at the top of
 myocamlbuild.ml, and don't hesitate to contribute, either for completing
 or simplifying it !

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12002 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tactics/hightactics.mllib |  7 +++++++
 tactics/tactics.mllib     | 21 +++++++++++++++++++++
 2 files changed, 28 insertions(+)
 create mode 100644 tactics/hightactics.mllib
 create mode 100644 tactics/tactics.mllib

(limited to 'tactics')

diff --git a/tactics/hightactics.mllib b/tactics/hightactics.mllib
new file mode 100644
index 0000000000..3445ec433d
--- /dev/null
+++ b/tactics/hightactics.mllib
@@ -0,0 +1,7 @@
+Refine
+Extraargs
+Extratactics
+Eauto
+Class_tactics
+Tauto
+Eqdecide
diff --git a/tactics/tactics.mllib b/tactics/tactics.mllib
new file mode 100644
index 0000000000..220c8e782d
--- /dev/null
+++ b/tactics/tactics.mllib
@@ -0,0 +1,21 @@
+Dn
+Termdn
+Btermdn
+Nbtermdn
+Tacticals
+Hipattern
+Tactics
+Evar_tactics
+Hiddentac
+Elim
+Dhyp
+Auto
+Ind_tables
+Equality
+Contradiction
+Inv
+Leminv
+Tacinterp
+Autorewrite
+Decl_interp
+Decl_proof_instr
-- 
cgit v1.2.3