chore(deploy) Adjust deploy scripts for alpha/beta

Signed-off-by: Jerome Simeon <jeromesimeon@me.com>

.travis/base.sh

@@ -27,7 +27,6 @@ function _exit(){
 function _abortBuild(){
     echo "ABORT_BUILD=true" > ${DIR}/build.cfg
     echo "ABORT_CODE=$1" >> ${DIR}/build.cfg
-    echo "BUILD_FOCUS=${BUILD_FOCUS}" >> ${DIR}/build.cfg
     echo "BUILD_RELEASE=${BUILD_RELEASE}" >> ${DIR}/build.cfg
 }
 
@@ -37,21 +36,19 @@ if [ ! -f ${DIR}/build.cfg ]; then
     echo "ABORT_BUILD=false" > ${DIR}/build.cfg
     echo "ABORT_CODE=0" >> ${DIR}/build.cfg
     ## determine the build type here
-    if [ -z "${TRAVIS_TAG}" ] || [ "${TRAVIS_BRANCH}" != "master" ]; then
+    if [[ -z "${TRAVIS_TAG}" ]] || [[ "${TRAVIS_BRANCH}" != "master" ]]; then
         BUILD_RELEASE="unstable"
-        BUILD_FOCUS="latest"
+    elif [[ "${TRAVIS_TAG}" == *"-alpha"* ]] || [[ "${TRAVIS_TAG}" == *"-beta"* ]]; then
+        BUILD_RELEASE="alpha"
     else
         BUILD_RELEASE="stable"
-        BUILD_FOCUS="latest"
     fi
 
-    echo "BUILD_FOCUS=${BUILD_FOCUS}" >> ${DIR}/build.cfg
     echo "BUILD_RELEASE=${BUILD_RELEASE}" >> ${DIR}/build.cfg
 fi
 
 source ${DIR}/build.cfg
 
-echo "--I-- Build focus is ${BUILD_FOCUS}"
 echo "--I-- Build release is ${BUILD_RELEASE}"
 
 if [ "${ABORT_BUILD}" == "true" ]; then

.travis/deploy.sh

@@ -55,14 +55,16 @@ if [[ "${BUILD_RELEASE}" == "unstable" ]]; then
     npm run pkgstamp
 
     TAG="unstable"
-elif  [[ "${BUILD_RELEASE}" == "stable" ]]; then
+elif [[ "${BUILD_RELEASE}" == "alpha" ]]; then
+    TAG="unstable"
+elif [[ "${BUILD_RELEASE}" == "stable" ]]; then
     TAG="latest"
-else 
-    _exit "Unknown build focus" 1 
+else
+    _exit "Unknown build release" 1 
 fi
 
-## Stable releases only; both latest and next then clean up git, and bump version number
-if [[ "${BUILD_RELEASE}" = "stable" ]]; then
+## Stable or alpha/beta releases only; both latest and next then clean up git, and bump version number
+if [[ "${BUILD_RELEASE}" = "stable" ]] || [[ "${BUILD_RELEASE}" = "alpha" ]]; then
 
     # Configure the Git repository and clean any untracked and unignored build files.
     git config user.name "${GH_USER_NAME}"

Makefile

@@ -56,9 +56,6 @@ npm-setup:
 	@echo "[Ergo] "
 	lerna bootstrap
 
-publish:
-	lerna bootstrap && lerna publish --force-publish=*
-
 ## Documentation
 documentation:
 	$(MAKE) -C mechanization documentation

mechanization/Version.v

@@ -17,7 +17,7 @@
 Require Import String.
 
 Section Version.
-    Definition ergo_version := "0.20.0-alpha.2"%string.
+    Definition ergo_version := "0.20.0-beta.1"%string.
 
 End Version.