|
|
@ -31,7 +31,7 @@ if [ "$DEPLOY_FULL" != "true" ]; then |
|
|
|
echo |
|
|
|
echo |
|
|
|
fi |
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
. "$(dirname "$0")/functions/parse-version.sh.inc" |
|
|
|
. "$(dirname "$0")/tools/functions/parse-version.sh.inc" |
|
|
|
export PATH="$(dirname "$0")/tools:$PATH" |
|
|
|
export PATH="$(dirname "$0")/tools:$PATH" |
|
|
|
|
|
|
|
|
|
|
|
DEPLOYMENT_ID="${TRAVIS_TAG//\//_}" |
|
|
|
DEPLOYMENT_ID="${TRAVIS_TAG//\//_}" |
|
|
@ -46,6 +46,12 @@ if ! parse_version "$TRAVIS_TAG"; then |
|
|
|
exit 1 |
|
|
|
exit 1 |
|
|
|
fi |
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
echo "Deploying Pico $VERSION_MILESTONE ($VERSION_STABILITY)..." |
|
|
|
|
|
|
|
printf 'VERSION_FULL="%s"\n' "$VERSION_FULL" |
|
|
|
|
|
|
|
printf 'VERSION_NAME="%s"\n' "$VERSION_NAME" |
|
|
|
|
|
|
|
printf 'VERSION_ID="%s"\n' "$VERSION_ID" |
|
|
|
|
|
|
|
echo |
|
|
|
|
|
|
|
|
|
|
|
# clone repo |
|
|
|
# clone repo |
|
|
|
github-clone.sh "$DEPLOYMENT_DIR" "https://github.com/$DEPLOY_REPO_SLUG.git" "$DEPLOY_REPO_BRANCH" |
|
|
|
github-clone.sh "$DEPLOYMENT_DIR" "https://github.com/$DEPLOY_REPO_SLUG.git" "$DEPLOY_REPO_BRANCH" |
|
|
|
|
|
|
|
|
|
|
@ -56,14 +62,11 @@ github-setup.sh |
|
|
|
|
|
|
|
|
|
|
|
# generate phpDocs |
|
|
|
# generate phpDocs |
|
|
|
if [ "$DEPLOY_PHPDOC_RELEASES" == "true" ]; then |
|
|
|
if [ "$DEPLOY_PHPDOC_RELEASES" == "true" ]; then |
|
|
|
# get current Pico milestone |
|
|
|
|
|
|
|
MILESTONE="Pico $VERSION_MILESTONE" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# generate phpDocs |
|
|
|
# generate phpDocs |
|
|
|
generate-phpdoc.sh \ |
|
|
|
generate-phpdoc.sh \ |
|
|
|
"$TRAVIS_BUILD_DIR/.phpdoc.xml" \ |
|
|
|
"$TRAVIS_BUILD_DIR/.phpdoc.xml" \ |
|
|
|
"-" "$DEPLOYMENT_DIR/phpDoc/$DEPLOYMENT_ID" \ |
|
|
|
"-" "$DEPLOYMENT_DIR/phpDoc/$DEPLOYMENT_ID" \ |
|
|
|
"$MILESTONE API Documentation ($TRAVIS_TAG)" |
|
|
|
"Pico $VERSION_MILESTONE API Documentation ($TRAVIS_TAG)" |
|
|
|
|
|
|
|
|
|
|
|
if [ -n "$(git status --porcelain "$DEPLOYMENT_DIR/phpDoc/$DEPLOYMENT_ID")" ]; then |
|
|
|
if [ -n "$(git status --porcelain "$DEPLOYMENT_DIR/phpDoc/$DEPLOYMENT_ID")" ]; then |
|
|
|
# update phpDoc list |
|
|
|
# update phpDoc list |
|
|
@ -79,7 +82,7 @@ if [ "$DEPLOY_PHPDOC_RELEASES" == "true" ]; then |
|
|
|
fi |
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
# don't update version badge, version file and cloc statistics for pre-releases |
|
|
|
# don't update version badge, version file and cloc statistics for pre-releases |
|
|
|
if [ "$VERSION_STABILITY" != "stable" ]; then |
|
|
|
if [ "$VERSION_STABILITY" == "stable" ]; then |
|
|
|
# update version badge |
|
|
|
# update version badge |
|
|
|
if [ "$DEPLOY_VERSION_BADGE" == "true" ]; then |
|
|
|
if [ "$DEPLOY_VERSION_BADGE" == "true" ]; then |
|
|
|
generate-badge.sh \ |
|
|
|
generate-badge.sh \ |
|
|
|