diff options
| author | herbelin | 2006-02-08 10:54:33 +0000 |
|---|---|---|
| committer | herbelin | 2006-02-08 10:54:33 +0000 |
| commit | 5898a76e4694c1c63d7b7a462f8185aa8d932bc6 (patch) | |
| tree | 14f8dbaccafd667db5a78973031175f734ef77f7 /Makefile | |
| parent | 44da3b27308f573c655363993478c8e56b6293b0 (diff) | |
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
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -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) |