coq/theories/FSets/vo.itarget, branch master

drop vo.itarget files and compute the corresponding the corresponding values automatically instead

2017-06-01T15:33:19+00:00

FSetPositive: sets of positive inspired by FMapPositive.

2010-07-16T15:50:16+00:00

 Contributed by Alexandre Ren, Damien Pous, and Thomas Braibant.

 I've also included a MSets version, hence FSetPositive might become
 soon a mere wrapper for MSetPositive, as for other FSets
 implementations.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13287 85f007b7-540e-0410-9357-904b9bb8a0f7

Factorisation between Makefile and ocamlbuild systems : .vo to compile are in //vo.itarget

2009-12-09T16:45:42+00:00

 On the way: no more -fsets (yes|no) and -reals (yes|no) option of configure
  if you want a partial build, make a specific rule such as theories-light

 Beware: these vo.itarget should not contain comments. Even if this is legal
  for ocamlbuild, the $(shell cat ...) we do in Makefile can't accept that.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12574 85f007b7-540e-0410-9357-904b9bb8a0f7

coq/theories/FSets/vo.itarget, branch master

drop vo.itarget files and compute the corresponding the corresponding values automatically instead

FSetPositive: sets of positive inspired by FMapPositive.

Factorisation between Makefile and ocamlbuild systems : .vo to compile are in */*/vo.itarget

Factorisation between Makefile and ocamlbuild systems : .vo to compile are in //vo.itarget