| #!/bin/sh |
| # |
| # Prepare distributable tarballs for MARS sources and docs |
| # |
| # Usage: |
| # make-dist VERSION |
| |
| VERSION="unknown" |
| |
| if [ "$1" ]; then |
| VERSION=$1 |
| else |
| echo Usage: make-dist VERSION |
| exit 1 |
| fi |
| |
| SRC_DIR=. |
| DEST_DIR=. |
| |
| DOXYGEN_DIR=$SRC_DIR/doxygen |
| |
| # make src dist tarball |
| pushd $SRC_DIR |
| ./bootstrap $VERSION |
| ./configure --with-mars-platform=cell |
| make dist |
| popd |
| mv $SRC_DIR/mars-$VERSION.tar.gz $DEST_DIR |
| |
| # make docs dist tarball |
| pushd $DOXYGEN_DIR && make docs-dist VERSION=$VERSION && popd |
| mv $DOXYGEN_DIR/mars-docs-$VERSION.tar.gz $DEST_DIR |
