diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-09-26 17:57:03 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-09-26 17:57:03 +0000 |
| commit | cb50f91f5f3e5eafe73c13c61b1bfe6f94ebab5c (patch) | |
| tree | 8875685883c4b07ea69ad68e9c1ed2afbd030a26 /distrib/Makefile | |
| parent | d0be10f77a6bcec95fef983d32246bf820c69f42 (diff) | |
tools pas fait automatiquement
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2078 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib/Makefile')
| -rw-r--r-- | distrib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index e1a4aa06d..36ac77f42 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 |