generate binary and source jars during linux docker build (#4)

Author: arifogel

common.sh

@@ -14,3 +14,11 @@ z3_git_version() {
   fi
 }
 
+z3_jar_name() {
+  echo "com.microsoft.z3-$(z3_git_version).jar"
+}
+
+z3_src_jar_name() {
+  echo "com.microsoft.z3-$(z3_git_version)-sources.jar"
+}
+

contrib/ci/scripts/travis_ci_linux_entry_point.sh

@@ -238,5 +238,9 @@ docker build \
   .
 DOCKER_REPO_ROOT="/home/user/z3_src"
 Z3_ZIP="$(docker run "${POSTBUILD_IMAGE}" /bin/bash -c ". ${DOCKER_REPO_ROOT}/linux_common.sh && linux_zip_name")"
+Z3_JAR="$(docker run "${POSTBUILD_IMAGE}" /bin/bash -c ". ${DOCKER_REPO_ROOT}/common.sh && z3_jar_name")"
+Z3_SRC_JAR="$(docker run "${POSTBUILD_IMAGE}" /bin/bash -c ". ${DOCKER_REPO_ROOT}/common.sh && z3_src_jar_name")"
 docker cp "$(docker create "${POSTBUILD_IMAGE}"):${DOCKER_REPO_ROOT}/build/generated-packages/${Z3_ZIP}" "${PACKAGE_OUTPUT_DIR}/"
+docker cp "$(docker create "${POSTBUILD_IMAGE}"):${DOCKER_REPO_ROOT}/build/generated-packages/${Z3_JAR}" "${PACKAGE_OUTPUT_DIR}/"
+docker cp "$(docker create "${POSTBUILD_IMAGE}"):${DOCKER_REPO_ROOT}/build/generated-packages/${Z3_SRC_JAR}" "${PACKAGE_OUTPUT_DIR}/"
 

package_z3_linux.sh

@@ -32,6 +32,8 @@ WORKING="$(mktemp -d)"
 cd "${WORKING}"
 umask 0022
 Z3_VERSION="$(z3_version)"
+Z3_JAR="$(z3_jar_name)"
+Z3_SRC_JAR="$(z3_src_jar_name)"
 mkdir -p "${Z3_VERSION}/bin" "${Z3_VERSION}/lib"
 cp "${BUILD_DIR}/z3" "${Z3_VERSION}/bin/z3"
 chmod 0755 "${Z3_VERSION}/bin/z3"
@@ -42,6 +44,15 @@ chmod 0644 "${Z3_VERSION}/lib/libz3java.so"
 cp "${BUILD_DIR}/../LICENSE.txt" "${Z3_VERSION}/LICENSE"
 chmod 0644 "${Z3_VERSION}/LICENSE"
 mkdir -p "${BUILD_DIR}/generated-packages"
+# java classes
+cp "${BUILD_DIR}/com.microsoft.z3.jar" "${BUILD_DIR}/generated-packages/${Z3_JAR}"
+# java source
+mkdir -p "${BUILD_DIR}/java-src/com/microsoft/z3"
+cp -r "${BUILD_DIR}/../src/api/java/." "${BUILD_DIR}/java-src/com/microsoft/z3"
+pushd "${BUILD_DIR}/java-src"
+zip -r "${BUILD_DIR}/generated-packages/${Z3_SRC_JAR}" com
+popd
+# platform-specific binary/libs
 zip -r "${BUILD_DIR}/generated-packages/${Z3_ZIP}" "${Z3_VERSION}"
 cd "${BUILD_DIR}"
 rm -rf "${WORKING}"