diff options
Diffstat (limited to 'distrib/Makefile')
| -rw-r--r-- | distrib/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index 671987369..2f1ca1d34 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -140,8 +140,8 @@ win: ${COQPACKAGE}.tar.gz rm -rf ${COQPACKAGE} || true;\ gunzip -c $(DISTRIBDIR)/${COQPACKAGE}.tar.gz | tar xf -;\ cd ${COQPACKAGE};\ - ./configure -bindir /coq/bin -libdir /coq/lib -mandir /coq/man -emacslib /coq/emacs;\ - make world check;\ + ./configure -bindir /coq/bin -libdir /coq/lib -mandir /coq/man -emacslib /coq/emacs -reals all;\ + make world;\ rm -rf ${ARCHBUILDROOT}/buildroot/* || true;\ make -e COQINSTALLPREFIX=${ARCHBUILDROOT}/buildroot/ install;\ cd ${ARCHBUILDROOT}/buildroot;\ |