diff options
| -rw-r--r-- | distrib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index e1a4aa06db..36ac77f42d 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -124,7 +124,7 @@ arch-tar-gz: ${COQPACKAGE}.tar.gz gunzip -c $(DISTRIBDIR)/${COQPACKAGE}.tar.gz | tar xf -;\ cd ${COQPACKAGE};\ ./configure -bindir /usr/local/bin -libdir /usr/local/lib/coq -mandir /usr/local/man -emacs emacs -emacslib /usr/local/lib/emacs/site-lisp -opt;\ - make world;\ + make world tools;\ rm -rf ${ARCHBUILDROOT}/buildroot/* || true;\ make -e COQINSTALLPREFIX=${ARCHBUILDROOT}/buildroot/ install) $(MAKE) arch-tar-gz-final |