blob: 5cbf186d788fa1ec9cd8b0ee81795a7b4b4818a9 (
plain)
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
|
travis_start () {
:
}
travis_finish () {
:
}
if [ -n "$TRAVIS" ]; then
# This is a trimmed down copy of https://github.com/travis-ci/travis-build/blob/master/lib/travis/build/bash/*
travis_time_start() {
# `date +%N` returns the date in nanoseconds. It is used as a replacement for $RANDOM, which is only available in bash.
travis_timer_id=`date +%N`
travis_start_time=$(travis_nanoseconds)
echo "travis_time:start:$travis_timer_id"
}
travis_time_finish() {
travis_end_time=$(travis_nanoseconds)
local duration=$(($travis_end_time-$travis_start_time))
echo "travis_time:end:$travis_timer_id:start=$travis_start_time,finish=$travis_end_time,duration=$duration"
}
if [ "$TRAVIS_OS_NAME" = "osx" ]; then
travis_nanoseconds() {
date -u '+%s000000000'
}
else
travis_nanoseconds() {
date -u '+%s%N'
}
fi
travis_start () {
echo "travis_fold:start:$1"
if [ -z "$3" ]; then
travis_time_start
fi
printf "$2\n"
}
travis_finish () {
if [ -z "$2" ]; then
travis_time_finish
fi
echo "travis_fold:end:$1"
}
fi
#--
buildCmdOpts () {
# Extract from IMAGE (defined in .travis.yml)
BUILD_ARG="$IMAGE"
if [ "x$1" != "x" ]; then
BUILD_ARG="$IMAGE+$1"
fi
# Compute package name
PKG_SHORTCOMMIT="$(printf $TRAVIS_COMMIT | cut -c1-10)"
PKG_VER=`grep "ghdl_version=" configure | sed -e 's/.*"\(.*\)";/\1/'`
if [ -z "$TRAVIS_TAG" ]; then
# No tag: use date + commit id
PKG_TAG="$(date -u +%Y%m%d)-$PKG_SHORTCOMMIT";
elif expr "$TRAVIS_TAG" : 'v[0-9].*' > /dev/null; then
# Remove leading 'v' in tags in the filenames.
PKG_TAG="$(echo $TRAVIS_TAG | cut -c2-)"
else
# Regular tag (like snapshots), nothing to change.
PKG_TAG="$TRAVIS_TAG"
fi
# Extract from BUILD_ARG
IFS='+' read -ra REFS <<< "$BUILD_ARG"
DDIST=${REFS[0]} # Linux distro (eg: ubuntuXX, fedoraXX)
DBLD=${REFS[1]} # Build/backend (eg: mcode, llvm)
DEXT=${REFS[2]} # Extra constraints: GPL, synth
PKG_NAME="ghdl-${PKG_TAG}-${DDIST}-${DBLD}"
BUILD_CMD_OPTS="$ENABLECOLOR -b $DBLD"
if [ "x$DEXT" = "xgpl" ]; then
BUILD_CMD_OPTS="$BUILD_CMD_OPTS --gpl"
PKG_NAME="ghdl-$DEXT-${PKG_TAG}"
fi
if [ "x$DEXT" = "xsynth" ]; then
BUILD_CMD_OPTS="$BUILD_CMD_OPTS --synth"
PKG_NAME="ghdl-$DEXT-${PKG_TAG}"
fi
export BUILD_CMD_OPTS="${BUILD_CMD_OPTS} -p $PKG_NAME"
GHDL_IMAGE_TAG="`echo $IMAGE | sed -e 's/+/-/g'`"
BUILD_IMAGE_TAG="$GHDL_IMAGE_TAG"
case $BUILD_ARG in
*gcc*)
BUILD_IMAGE_TAG="`echo $GHDL_IMAGE_TAG | sed 's#\(.*\)-gcc.*#\1-gcc#g'`"
;;
esac
if [ "x$DEXT" != "x" ]; then
GHDL_IMAGE_TAG="$GHDL_IMAGE_TAG-$DEXT"
fi
}
#--
. "$scriptdir/../ansi_color.sh"
#disable_color
|