1 #!/usr/bin/env bash

     2 pushd () {

     3     command pushd "$@" > /dev/null

     4 }

     5 

     6 popd () {

     7     command popd "$@" > /dev/null

     8 }

     9 

    10 

    11 SCRIPTPATH="$( cd "$(dirname "$0")" ; pwd -P )"

    12 

    13 pushd $SCRIPTPATH

    14 

    15 echo "Building hdalab"

    16 pushd ../src

    17 

    18 HDALAB_ARCH_BASENAME=`python setup.py --fullname`

    19 python setup.py sdist

    20 popd

    21 

    22 rm -fr hdalab/dist/*

    23 mkdir -p hdalab/dist/data

    24 mkdir -p hdalab/dist/renkan

    25 

    26 echo "building renkanmanager"

    27 echo "-> downloading renkan"

    28 curl "https://www.iri.centrepompidou.fr/dev/hg/renkan/archive/tip.tar.gz" -o hdalab/dist/renkan/renkan.tar.gz

    29 pushd hdalab/dist/renkan

    30 tar zxf renkan.tar.gz --strip 1

    31 popd

    32 echo "-> building renkan"

    33 pushd hdalab/dist/renkan/server/python/django

    34 

    35 RENKANMANAGER_ARCH_BASENAME=`python setup.py --fullname`

    36 python setup.py sdist

    37 popd

    38 cp "hdalab/dist/renkan/server/python/django/dist/$RENKANMANAGER_ARCH_BASENAME.tar.gz" hdalab/dist/renkanmanager.tar.gz

    39 echo "-> cleaning renkan"

    40 rm -fr hdalab/dist/renkan

    41 

    42 cp ../virtualenv/web/res/base_requirements.txt hdalab/dist/

    43 cp "../src/dist/$HDALAB_ARCH_BASENAME.tar.gz" hdalab/dist/hdalab.tar.gz

    44 cp ../data/* hdalab/dist/data/

    45 

    46 popd