Project

General

Profile

Statistics
| Branch: | Revision:

cool / install-remote.sh @ master

History | View | Annotate | Download (703 Bytes)

1
#!/bin/bash -e
2

    
3

    
4
# install everything on a remote machine
5

    
6
[ -f FaCT++ ]   || { wget http://wwwcip.cs.fau.de/~re06huxa/pkg/FaCT++ && chmod +x FaCT++ ; }
7
[ -f tatl ]     || wget -O - http://atila.ibisc.univ-evry.fr/tableau_ATL/bin/tatl.tar.gz | tar xv
8

    
9
files=(
10
    coalg
11
    coalgcompare
12
    benchmarks/scripts/*
13

    
14
    FaCT++
15
    fact.conf
16

    
17
    cool2tatl/cool2tatl.sh
18
    tatl
19
    tatl-compatibility-wrapper.sh
20
)
21

    
22
#    $(ldd $(which FaCT++) | cut -d' ' -f3)
23
#    $(ldd coalg        | cut -d' ' -f3)
24
#    $(ldd coalgcompare | cut -d' ' -f3)
25

    
26
echo "==> sending files:"
27
printf ":: %s\n" "${files[@]}"
28

    
29
host="${1}:"
30
[ -z "$1" ] && host=""
31

    
32
rsync --copy-links -r "${files[@]}" "$host/${2:-/var/tmp/re06huxa/}"