aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--Makefile.common4
-rw-r--r--toplevel/toplevel.mllib3
2 files changed, 5 insertions, 2 deletions
diff --git a/Makefile.common b/Makefile.common
index b7ff5da4f..e8d876769 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -76,8 +76,8 @@ CSDPCERT:=plugins/micromega/csdpcert$(EXE)
SRCDIRS:=\
config tools tools/coqdoc scripts lib \
kernel kernel/byterun library proofs tactics \
- pretyping interp toplevel parsing ide/utils \
- ide \
+ pretyping interp toplevel/utils toplevel parsing \
+ ide/utils ide \
$(addprefix plugins/, \
omega romega micromega quote ring dp \
setoid_ring xml extraction fourier \
diff --git a/toplevel/toplevel.mllib b/toplevel/toplevel.mllib
index 8b03e9380..2db870202 100644
--- a/toplevel/toplevel.mllib
+++ b/toplevel/toplevel.mllib
@@ -1,3 +1,6 @@
+Xml_lexer
+Xml_parser
+Xml_utils
Himsg
Cerrors
Class