From 3eafff483153eac36c99b025a38bc1735f7c4a8b Mon Sep 17 00:00:00 2001 From: letouzey Date: Sat, 29 Apr 2006 14:31:32 +0000 Subject: suite de l'ajout des FSets/FMaps dans les theories standards -> OrderedTypeEx: des exemples de OrderedType -> OrderedTypeAlt: une definition alternative de OrderedType -> FSetAVL et FMapAVL: realisation a coup d'AVL -> FMapPositive: realisation a coup d'arbre binaire (selon les chiffres binaires de la cle) -> FMapIntMap : realisation en utilisant IntMap -> FSetToFiniteSet: un ensemble de FSet est un ensemble de Ensemble.v FSetAVL et FMapAVL prenent 30 secondes chacuns sur ma machine: on peut ne pas les compiler en passant l'option "-fsets no" a configure, de facon similaire a "-reals no" git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8773 85f007b7-540e-0410-9357-904b9bb8a0f7 --- config/Makefile.template | 3 +++ 1 file changed, 3 insertions(+) (limited to 'config') diff --git a/config/Makefile.template b/config/Makefile.template index 9432a8843..f30ed2114 100644 --- a/config/Makefile.template +++ b/config/Makefile.template @@ -101,6 +101,9 @@ COQDOCDIR=COQDOCDIRECTORY # Win32 systems: true (actually strip is bogus) STRIP=STRIPCOMMAND +# Options for fsets (all/basic) +FSETS=FSETSOPT + # Options for reals (all/basic) REALS=REALSOPT -- cgit v1.2.3