tools/ci/scripts/init.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146

#!/bin/bash

pwd
mkdir logs

export dir=$(pwd)
export ERRFILE=${dir}/logs/${LOGFILE}

cat /etc/os-release
$CC --version
$CXX --version

rm ${ERRFILE}

function aptget_update {
    apt-get update
    if [ "$?" != 0 ]; then
        sleep 1s
        apt-get update
        if [ "$?" != 0 ]; then
            sleep 1s
            apt-get update
        fi
    fi
}

function aptget_install {
    apt-get -y -qq install $*
    if [ "$?" != 0 ]; then
        sleep 1s
        apt-get -y -qq install $*
        if [ "$?" != 0 ]; then
            sleep 2s
            apt-get -y -qq install $*
        fi
    fi
}

function run_configure_simple {
    rm $ERRFILE
    autoreconf -i 2>$ERRFILE
    result=$?
    if [ "$result" != 0 ]; then
        cat $ERRFILE
        exit $result
    fi

    rm $ERRFILE
    ./configure $* 2>$ERRFILE
    result=$?
    if [ "$result" != 0 ]; then
        cat $ERRFILE
        exit $result
    fi
}

function run_configure {
    run_configure_simple $*

    rm $ERRFILE
    cd po
    make update-gmo 2>$ERRFILE
    result=$?
    if [ "$result" != 0 ]; then
        cat $ERRFILE
        exit $result
    fi
    cd ..

    rm $ERRFILE
    cd po
    make update-po 2>$ERRFILE
    result=$?
    if [ "$result" != 0 ]; then
        cat $ERRFILE
        exit $result
    fi
    cd ..
}

function run_cmake {
    rm $ERRFILE
    cmake . 2>$ERRFILE
    result=$?
    if [ "$result" != 0 ]; then
        cat $ERRFILE
        exit $result
    fi
}

function run_make {
    rm $ERRFILE
    make -j2 V=0 $* 2>$ERRFILE
    result=$?
    if [ "$result" != 0 ]; then
        cat $ERRFILE
        exit $result
    fi
}

function run_check_warnings {
    DATA=$(cat $ERRFILE)
    if [ "$DATA" != "" ];
    then
        cat $ERRFILE
        exit 1
    fi
}

function run_h {
    rm $ERRFILE
    $CC -c -x c++ $* $includes */*/*/*.h */*/*.h */*.h *.h 2>$ERRFILE
    DATA=$(cat $ERRFILE)
    if [ "$DATA" != "" ];
    then
        cat $ERRFILE
        exit 1
    fi
}

function run_tarball {
    rm $ERRFILE
    make dist-xz 2>$ERRFILE
    result=$?
    if [ "$result" != 0 ]; then
        cat $ERRFILE
        exit $result
    fi

    mkdir $1
    cd $1
    tar xf ../*.tar.xz
    cd manaplus*
}

function run_mplint {
    rm $ERRFILE
    mplint/src/mplint $* >$ERRFILE
    result=$?
    if [ "$result" != 0 ]; then
        cat $ERRFILE
        exit $result
    fi
}

aptget_update