commit 6916afed6ea2f35b1cf879bbe0000d11fab4b23a
parent bc69397f6dd8c00e32eca023126a8bf18b915663
Author: Kalin Maldzhanski <djodjo@djodjo.org>
Date: Wed, 5 Apr 2017 17:38:12 +0200
add travis and auto gen gh-pages closes #216
Diffstat:
4 files changed, 83 insertions(+), 0 deletions(-)
diff --git a/.scripts/deploy.sh b/.scripts/deploy.sh
@@ -0,0 +1,70 @@
+#!/bin/bash
+set -e # Exit with nonzero exit code if anything fails
+
+SOURCE_BRANCH="master"
+TARGET_BRANCH="gh-pages"
+
+function doCheck {
+ java -jar .scripts/lod-converter.jar release-doc-in-process/all_vf.TTL TTL vf https://valueflows.github.io/valueflows/vf.ttl
+}
+
+function doGenerate {
+ java -jar .scripts/lod-converter.jar release-doc-in-process/all_vf.TTL TTL vf https://valueflows.github.io/valueflows/vf.ttl
+}
+
+# Pull requests and commits to other branches shouldn't try to deploy, just build to verify
+if [ "$TRAVIS_PULL_REQUEST" != "false" -o "$TRAVIS_BRANCH" != "$SOURCE_BRANCH" ]; then
+ echo "Skipping deploy; just doing vocab check."
+ doCheck
+ exit 0
+fi
+
+
+# Save some useful information
+REPO=`git config remote.origin.url`
+SSH_REPO=${REPO/https:\/\/github.com\//git@github.com:}
+SHA=`git rev-parse --verify HEAD`
+
+# Clone the existing gh-pages for this repo into .out/
+# Create a new empty branch if gh-pages doesn't exist yet (should only happen on first deply)
+git clone $REPO .out
+cd .out
+git checkout $TARGET_BRANCH || git checkout --orphan $TARGET_BRANCH
+cd ..
+
+# Clean out existing contents
+rm -fr .out/vf.* || exit 0
+rm -fr .out/index.html || exit 0
+rm -fr .out/vowl-vf.json || exit 0
+
+# Run generate script
+doGenerate
+cp .out/vf.html .out/index.html
+# config the cloned repo
+cd .out
+git config user.name "Travis CI"
+git config user.email "$COMMIT_AUTHOR_EMAIL"
+
+# If there are no changes to the compiled out (e.g. this is a README update) then just bail.
+if [ -z `git diff --exit-code` ]; then
+ echo "No changes to the output on this push; exiting."
+ exit 0
+fi
+
+# Commit the "changes", i.e. the new version.
+# The delta will show diffs between new and old versions.
+git add .
+git commit -m "Deploy to GitHub Pages: ${SHA}"
+
+# Get the deploy key by using Travis's stored variables to decrypt deploy_key.enc
+ENCRYPTED_KEY_VAR="encrypted_${ENCRYPTION_LABEL}_key"
+ENCRYPTED_IV_VAR="encrypted_${ENCRYPTION_LABEL}_iv"
+ENCRYPTED_KEY=${!ENCRYPTED_KEY_VAR}
+ENCRYPTED_IV=${!ENCRYPTED_IV_VAR}
+openssl aes-256-cbc -K $ENCRYPTED_KEY -iv $ENCRYPTED_IV -in id_rsa.enc -out id_rsa -d
+chmod 600 id_rsa
+eval `ssh-agent -s`
+ssh-add id_rsa
+
+# Now that we're all set up, we can push.
+git push $SSH_REPO $TARGET_BRANCH+
\ No newline at end of file
diff --git a/.scripts/lod-converter.jar b/.scripts/lod-converter.jar
Binary files differ.
diff --git a/.travis.yml b/.travis.yml
@@ -0,0 +1,11 @@
+language: java
+
+jdk:
+ - oraclejdk8
+
+script: bash .scripts/deploy.sh
+
+env:
+ global:
+ - ENCRYPTION_LABEL: "3c80066119de"
+ - COMMIT_AUTHOR_EMAIL: "djodjo@djodjo.org"+
\ No newline at end of file
diff --git a/id_rsa.enc b/id_rsa.enc
Binary files differ.