diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-04-18 17:35:10 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-04-18 17:35:10 +0200 |
| commit | aa182fa48d584da04d861f6136f65fd6419a6c1f (patch) | |
| tree | cc26fe1681aa880631678ed196a118280e128692 /update_exchange.sh | |
| parent | 22c5f7d5597736c716177453e8e33f191de04b62 (diff) | |
| download | deployment-aa182fa48d584da04d861f6136f65fd6419a6c1f.tar.gz deployment-aa182fa48d584da04d861f6136f65fd6419a6c1f.tar.bz2 deployment-aa182fa48d584da04d861f6136f65fd6419a6c1f.zip | |
adding all components to project-wise Makefile-based builder
Diffstat (limited to 'update_exchange.sh')
| -rwxr-xr-x | update_exchange.sh | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/update_exchange.sh b/update_exchange.sh deleted file mode 100755 index cd66b1e..0000000 --- a/update_exchange.sh +++ /dev/null @@ -1,27 +0,0 @@ -#!/bin/bash - -export PATH="$HOME/deployment":$PATH - -build_exchange() { - ( - set -eu - - cd $HOME/exchange - git clean -fdx - ./bootstrap - ./configure CFLAGS='-ggdb -O0' \ - --with-libgnurl=$HOME/local \ - --with-microhttpd=$HOME/local \ - --prefix=$HOME/local --with-gnunet=$HOME/local \ - --enable-logging=verbose - make - make install - ) -} - -cd $HOME/exchange && \ - git pull && \ - cd $HOME/deployment && \ - build_exchange && \ - arm.sh -k taler-exchange -arm.sh -i taler-exchange |