From ff01cafe8104f7620aacbfdde5dba738dbadc326 Mon Sep 17 00:00:00 2001
From: regisgia
Date: Fri, 8 Jan 2010 17:03:54 +0000
Subject: * Segmenttree: New. A very simple implementation of segment trees. *
 Unicodetable: Update with the standard table for lower case conversion. *
 Util: Rewrite "lowercase_unicode" to take the entire unicode character set  
 into account.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12645 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.common | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index fcd6c81269..a1bfd08856 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -156,7 +156,7 @@ BYTERUN:=$(addprefix kernel/byterun/, \
 CORECMA:=lib/lib.cma kernel/kernel.cma library/library.cma \
         pretyping/pretyping.cma interp/interp.cma proofs/proofs.cma \
         parsing/parsing.cma tactics/tactics.cma toplevel/toplevel.cma \
-        parsing/highparsing.cma tactics/hightactics.cma
+        parsing/highparsing.cma tactics/hightactics.cma 
 
 OMEGACMA:=plugins/omega/omega_plugin.cma
 ROMEGACMA:=plugins/romega/romega_plugin.cma
@@ -223,7 +223,8 @@ IDEMOD:=$(shell cat ide/ide.mllib)
 
 COQENVCMO:=$(CONFIG) \
   lib/pp_control.cmo lib/pp.cmo  lib/compat.cmo lib/flags.cmo \
-  lib/unicodetable.cmo lib/util.cmo lib/system.cmo lib/envars.cmo
+  lib/segmenttree.cmo lib/unicodetable.cmo lib/util.cmo lib/system.cmo \
+  lib/envars.cmo
 
 COQMKTOPCMO:=$(COQENVCMO) scripts/tolink.cmo scripts/coqmktop.cmo 
 COQMKTOPCMX:=$(COQMKTOPCMO:.cmo=.cmx)
-- 
cgit v1.2.3