diff options
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/Makefile.build b/Makefile.build index 221fa56a7..4b9dd34f4 100644 --- a/Makefile.build +++ b/Makefile.build @@ -387,18 +387,11 @@ lists: $(LISTSVO) strings: $(STRINGSVO) sets: $(SETSVO) fsets: $(FSETSVO) -allfsets: $(ALLFSETS) relations: $(RELATIONSVO) wellfounded: $(WELLFOUNDEDVO) -# reals reals: $(REALSVO) -allreals: $(ALLREALS) setoids: $(SETOIDSVO) sorting: $(SORTINGVO) -# numbers -natural: $(NATURALVO) -integer: $(INTEGERVO) -rational: $(RATIONALVO) numbers: $(NUMBERSVO) noreal: logic arith bool zarith qarith lists sets fsets relations \ @@ -596,9 +589,6 @@ install-library-light: $(INSTALLLIB) states/*.coq $(FULLCOQLIB)/states -$(INSTALLLIB) revision $(FULLCOQLIB) -install-allreals:: - $(INSTALLSH) $(FULLCOQLIB) $(ALLREALS) - install-coq-info: install-coq-manpages install-emacs install-latex install-coq-manpages: |