This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "". The branch, master has been updated via 1d65f16d5ffefe90c736d508f35a4129cb9e3108 (commit) via 66c58bb41e77100bb8179152be9f27c6d1263eb3 (commit) from 9cac8154fee6c6238f54e4e29a2f4443f6990456 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 1d65f16d5ffefe90c736d508f35a4129cb9e3108 Author: Dries Kimpe <[email protected]> Date: Wed Mar 27 10:40:52 2013 -0500 Initial version of jenkins build script commit 66c58bb41e77100bb8179152be9f27c6d1263eb3 Author: Dries Kimpe <[email protected]> Date: Wed Mar 27 10:39:53 2013 -0500 improve cabal install script ----------------------------------------------------------------------- Summary of changes: maint/hs/setup-cabal-local | 6 ++++ maint/jenkins/build.sh | 61 +++++++++++++++++++++++++++++++++++++++ maint/jenkins/install-openpa.sh | 20 +++++++++++++ 3 files changed, 87 insertions(+), 0 deletions(-) create mode 100755 maint/jenkins/build.sh create mode 100755 maint/jenkins/install-openpa.sh Diff of changes: diff --git a/maint/hs/setup-cabal-local b/maint/hs/setup-cabal-local index 62d98cf..107a19a 100755 --- a/maint/hs/setup-cabal-local +++ b/maint/hs/setup-cabal-local @@ -4,8 +4,14 @@ # Installs cabal locally # Use apt-get install cabal-install to install globally +# Note: some files are in $HOME/.cabal, some things are in $HOME/.ghc/ + +DIR=$(mktemp -d) +pushd $DIR wget -c http://www.haskell.org/cabal/release/cabal-install-0.14.0/cabal-install-0.14... tar xvfz cabal-install-0.14.0.tar.gz cd cabal-install-0.14.0 sh ./bootstrap.sh +popd + diff --git a/maint/jenkins/build.sh b/maint/jenkins/build.sh new file mode 100755 index 0000000..47251ee --- /dev/null +++ b/maint/jenkins/build.sh @@ -0,0 +1,61 @@ +#!/bin/sh + +echo "Some info:" +date +ls +set +echo "============" + +# get root +SRC_ROOT=$PWD + +BUILD_ROOT=$PWD/build +INSTALL_ROOT=$PWD/install + +if ! test -d ${BUILD_ROOT} ; then +mkdir $BUILD_ROOT || exit 2 +fi +if ! test -d ${INSTALL_ROOT} ; then +mkdir $INSTALL_ROOT || exit 2 +fi + + +# Generate build system files +./prepare || exit 2 + +# check if we have cabal +CABAL=$(which cabal) +if test -z $CABAL; then + ./maint/hs/setup-cabal-local || exit 3 + export PATH=$PATH:$HOME/.cabal/bin + CABAL=$(which cabal) + if test -z $CABAL; then + echo "Error installing cabal!" > /dev/stderr + exit 3 + fi +fi + +# Get HS packages +./maint/hs/setup-hs-local || exit 4 + +# Get modified Language.C +./maint/hs/setup-aesop || exit 5 + +# Install OpenPA +OPENPA=${BUILD_ROOT}/openpa +./maint/jenkins/install-openpa.sh $OPENPA || exit 6 +CONFIGURE_OPTS="${CONFIGURE_OPTS} --with-openpa=${OPENPA}" + +# Configure + +CONFIGURE_OPTS="${CONFIGURE_OPTS} --prefix=${INSTALL_ROOT}" + +BUILD_DIR=${SRC_ROOT} # no-VPATH +BUILD_DIR=${BUILD_ROOT} # VPATH + +cd ${BUILD_ROOT} +${SRC_ROOT}/configure ${CONFIGURE_OPTS} + +# make +make + diff --git a/maint/jenkins/install-openpa.sh b/maint/jenkins/install-openpa.sh new file mode 100755 index 0000000..dfe8daf --- /dev/null +++ b/maint/jenkins/install-openpa.sh @@ -0,0 +1,20 @@ +#!/bin/sh + +VERSION=1.0.4 +FILE=openpa-${VERSION}.tar.gz + +PREFIX=$1 +if test -z $PREFIX; then + echo "Need destination prefix!" > /dev/stderr + exit 1 +fi + +TMPDIR=$(mktemp -d) +pushd $TMPDIR +wget -c http://trac.mcs.anl.gov/projects/openpa/raw-attachment/wiki/Downloads/${FILE} +tar -xvzf $FILE +cd openpa-${VERSION} +./configure --prefix=${PREFIX} && make && make install || exit 1 +popd + + hooks/post-receive --