From 5898a76e4694c1c63d7b7a462f8185aa8d932bc6 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 8 Feb 2006 10:54:33 +0000
Subject: Ajout bibliothèque String de Laurent Théry

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index b68606675a..c726840be5 100644
--- a/Makefile
+++ b/Makefile
@@ -837,6 +837,9 @@ LISTSVO=\
  theories/Lists/ListSet.vo   	theories/Lists/Streams.vo \
  theories/Lists/TheoryList.vo   theories/Lists/List.vo
 
+STRINGSVO=\
+ theories/Strings/Ascii.vo      theories/Strings/String.vo
+
 SETSVO=\
  theories/Sets/Classical_sets.vo    theories/Sets/Permut.vo \
  theories/Sets/Constructive_sets.vo theories/Sets/Powerset.vo \
@@ -921,8 +924,8 @@ SETOIDSVO=theories/Setoids/Setoid.vo
 
 THEORIESVO =\
   $(INITVO) $(LOGICVO) $(ARITHVO) $(BOOLVO) $(NARITHVO) $(ZARITHVO) \
-  $(LISTSVO) $(SETSVO) $(INTMAPVO) $(RELATIONSVO) $(WELLFOUNDEDVO) \
-  $(REALSVO) $(SETOIDSVO) $(SORTINGVO)
+  $(LISTSVO) $(STRINGSVO) $(SETSVO) $(INTMAPVO) $(RELATIONSVO) \
+  $(WELLFOUNDEDVO) $(REALSVO) $(SETOIDSVO) $(SORTINGVO)
 
 THEORIESLIGHTVO = $(INITVO) $(LOGICVO) $(ARITHVO)
 
@@ -935,6 +938,7 @@ bool: $(BOOLVO)
 narith: $(NARITHVO)
 zarith: $(ZARITHVO)
 lists: $(LISTSVO)
+strings: $(STRINGSVO)
 sets: $(SETSVO)
 intmap: $(INTMAPVO)
 relations: $(RELATIONSVO)
-- 
cgit v1.2.3