diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-12-22 19:22:49 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-12-22 19:22:49 +0000 |
commit | d3b7d5a155e8636015611e3e671c57346ea65900 (patch) | |
tree | 1cd89f2ba2c688739e64296c754f28ecdba12e9c /distrib | |
parent | 5eccab2a970259aee80e78e061efdd630bd97d8c (diff) |
Typo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1196 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib')
-rw-r--r-- | distrib/Makefile | 31 |
1 files changed, 5 insertions, 26 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index e6948a799..7e1e69221 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -80,38 +80,18 @@ arch-rpm: ${COQRPMPACKAGE}.${ARCH}.rpm test: cp ${COQPACKAGE}.tar.gz tmp.tar.gz gunzip tmp.tar.gz - @echo Trying "make world" then "make world-opt" + @echo Trying "make world" - rm -rf ${COQPACKAGE} tar xf tmp.tar (cd ${COQPACKAGE};\ configure -local -opt -emacs emacs;\ make world >& log.world;\ - if [ `tail -1 log.world` = "=== Compilation in bytecode is done ===" ];\ + if [ $$? = 0 ];\ then echo make world succeeded;\ else echo make world failed; exit 1;\ - fi;\ - make world-opt >& log.world-opt;\ - if [ `tail -1 log.world` = "=== Compilation in native code is done ===" ];\ - then echo make world-opt succeeded;\ - else echo make world-opt failed; exit 1;\ - fi) - rm -r ${COQPACKAGE} - @echo Trying "make world" then "make world-opt" - tar xf tmp.tar - (cd ${COQPACKAGE};\ - configure -local -opt -emacs emacs;\ - make world >& log.world;\ - if [ `tail -1 log.world` = "=== Compilation in bytecode is done ===" ];\ - then echo make world succeeded;\ - else echo make world failed; exit 1;\ - fi;\ - make world-opt >& log.world-opt;\ - if [ `tail -1 log.world` = "=== Compilation in native code is done ===" ];\ - then echo make world-opt succeeded;\ - else echo make world-opt failed; exit 1;\ fi) rm tmp.tar - @echo "Both orders of compilation suceeded" + @echo "Compilation succeeded" release-bin: @echo @@ -141,7 +121,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-opt world;\ + make world;\ rm -rf ${ARCHBUILDROOT}/buildroot/* || true;\ make -e COQINSTALLPREFIX=${ARCHBUILDROOT}/buildroot/ install) $(MAKE) arch-tar-gz-final @@ -184,8 +164,7 @@ ${COQRPMPACKAGE}.src.rpm: ${COQPACKAGE}.tar.gz ${RPM} -ba coq.spec mv ${RPMTOPDIR}/SRPMS/${COQRPMPACKAGE}.src.rpm . (if [ -f ${RPMTOPDIR}/RPMS/${ARCH}/${COQRPMPACKAGE}.${LOCALARCH}.rpm ];\ - then mv ${RPMTOPDIR}/RPMS/${ARCH}/${COQRPMPACKAGE}.${LOCALARCH}.rpm ${RPMT\ -OPDIR}/RPMS/${ARCH}/${COQRPMPACKAGE}.${ARCH}.rpm; + then mv ${RPMTOPDIR}/RPMS/${ARCH}/${COQRPMPACKAGE}.${LOCALARCH}.rpm ${RPMTOPDIR}/RPMS/${ARCH}/${COQRPMPACKAGE}.${ARCH}.rpm; fi) - mv ${RPMTOPDIR}/RPMS/${ARCH}/${COQRPMPACKAGE}.${ARCH}.rpm . |