Warning (!)

Wiki Cloud Migration Deadline

IMPORTANT!

On January 8th, 2024 the University of Iowa Wiki hosted at https://wiki.uiowa.edu will be shut down permanently. If you would like to continue using Confluence (Wiki) in the Cloud, you will need to request licenses by filling out this Workflow form if you haven't done so already.

For more information and other options for your content, please visit the Wiki Service Change Options and FAQs page. Your content from https://wiki.uiowa.edu will be available for migration upon request for two years (until 1/8/2026).

StarExec Dev Wiki

Space shortcuts

Child pages
  • Deploying from GitHub
  • Created by Unknown User (hawks), last modified on Mar 21, 2018

Usually when deploying from GitHub, you can just run the script stardeploy.sh from https://svn.divms.uiowa.edu/repos/clc/projects/starexec/util. In this case, to deploy a particular tag, the tag name is passed as an argument to the script.

Deploying with stardeploy.sh
./stardeploy.sh $TAG_NAME

Deploying Manually

In cases where stardeploy.sh is not used, it is possible to deploy manually by following these steps.

Make sure that $STAREXEC_CONFIG refers to a properties file with your specific deploy configuration.

Deploying Manually
# This first step can be skipped if an existing clone exists on disk (from a previous deploy)
git clone -- https://github.com/StarExec/StarExec.git StarExec-deploy # Clone the GitHub repository if no existing clone exists

cd StarExec-deploy
git fetch origin $TAG_NAME
git checkout $TAG_NAME -B deploy

ant -propertyfile "$STAREXEC_CONFIG" build
ant reload-sql update-sql

script/soft-deploy.sh