author | ihse |
Mon, 05 Mar 2018 23:23:50 +0100 | |
branch | ihse-cflags-rewrite-branch |
changeset 56249 | 4141c47bb309 |
parent 47325 | d4d6bd42a6f3 |
permissions | -rw-r--r-- |
34491 | 1 |
#!/bin/bash |
2 |
# |
|
41458 | 3 |
# Copyright (c) 2015, 2016, Oracle and/or its affiliates. All rights reserved. |
34491 | 4 |
# DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
5 |
# |
|
6 |
# This code is free software; you can redistribute it and/or modify it |
|
7 |
# under the terms of the GNU General Public License version 2 only, as |
|
8 |
# published by the Free Software Foundation. |
|
9 |
# |
|
10 |
# This code is distributed in the hope that it will be useful, but WITHOUT |
|
11 |
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
12 |
# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
13 |
# version 2 for more details (a copy is included in the LICENSE file that |
|
14 |
# accompanied this code). |
|
15 |
# |
|
16 |
# You should have received a copy of the GNU General Public License version |
|
17 |
# 2 along with this work; if not, write to the Free Software Foundation, |
|
18 |
# Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
19 |
# |
|
20 |
# Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
21 |
# or visit www.oracle.com if you need additional information or have any |
|
22 |
# questions. |
|
23 |
# |
|
24 |
||
34496 | 25 |
# This script installs the JIB tool into it's own local repository and |
26 |
# puts a wrapper scripts into <source-root>/.jib |
|
34491 | 27 |
|
28 |
mydir="$(dirname "${BASH_SOURCE[0]}")" |
|
29 |
myname="$(basename "${BASH_SOURCE[0]}")" |
|
30 |
||
47291
c87f7ff9ef65
8188136: jib configure requires --src-dir for out of tree builds
erikj
parents:
47217
diff
changeset
|
31 |
installed_jib_script=${mydir}/../.jib/jib |
c87f7ff9ef65
8188136: jib configure requires --src-dir for out of tree builds
erikj
parents:
47217
diff
changeset
|
32 |
install_data=${mydir}/../.jib/.data |
34491 | 33 |
|
34 |
setup_url() { |
|
34768
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
35 |
if [ -f ~/.config/jib/jib.conf ]; then |
34496 | 36 |
source ~/.config/jib/jib.conf |
34491 | 37 |
fi |
38 |
||
34496 | 39 |
jib_repository="jdk-virtual" |
40 |
jib_organization="jpg/infra/builddeps" |
|
41 |
jib_module="jib" |
|
47325
d4d6bd42a6f3
8188910: jib configure requires --src-dir for out fo tree builds, second attempt
erikj
parents:
47295
diff
changeset
|
42 |
jib_revision="3.0-SNAPSHOT" |
34496 | 43 |
jib_ext="jib.sh.gz" |
34491 | 44 |
|
47291
c87f7ff9ef65
8188136: jib configure requires --src-dir for out of tree builds
erikj
parents:
47217
diff
changeset
|
45 |
closed_script="${mydir}/../../closed/make/conf/jib-install.conf" |
34491 | 46 |
if [ -f "${closed_script}" ]; then |
47 |
source "${closed_script}" |
|
48 |
fi |
|
49 |
||
34496 | 50 |
if [ -n "${JIB_SERVER}" ]; then |
51 |
jib_server="${JIB_SERVER}" |
|
34491 | 52 |
fi |
34768
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
53 |
if [ -n "${JIB_SERVER_MIRRORS}" ]; then |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
54 |
jib_server_mirrors="${JIB_SERVER_MIRRORS}" |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
55 |
fi |
34496 | 56 |
if [ -n "${JIB_REPOSITORY}" ]; then |
57 |
jib_repository="${JIB_REPOSITORY}" |
|
34491 | 58 |
fi |
34496 | 59 |
if [ -n "${JIB_ORGANIZATION}" ]; then |
60 |
jib_organization="${JIB_ORGANIZATION}" |
|
34491 | 61 |
fi |
34496 | 62 |
if [ -n "${JIB_MODULE}" ]; then |
63 |
jib_module="${JIB_MODULE}" |
|
34491 | 64 |
fi |
34496 | 65 |
if [ -n "${JIB_REVISION}" ]; then |
66 |
jib_revision="${JIB_REVISION}" |
|
34491 | 67 |
fi |
34496 | 68 |
if [ -n "${JIB_EXTENSION}" ]; then |
69 |
jib_extension="${JIB_EXTENSION}" |
|
34491 | 70 |
fi |
71 |
||
34496 | 72 |
if [ -n "${JIB_URL}" ]; then |
73 |
jib_url="${JIB_URL}" |
|
74 |
data_string="${jib_url}" |
|
34491 | 75 |
else |
34768
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
76 |
jib_path="${jib_repository}/${jib_organization}/${jib_module}/${jib_revision}/${jib_module}-${jib_revision}.${jib_ext}" |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
77 |
data_string="${jib_path}" |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
78 |
jib_url="${jib_server}/${jib_path}" |
34491 | 79 |
fi |
80 |
} |
|
81 |
||
34496 | 82 |
install_jib() { |
83 |
if [ -z "${jib_server}" -a -z "${JIB_URL}" ]; then |
|
84 |
echo "No jib server or URL provided, set either" |
|
85 |
echo "JIB_SERVER=<base server address>" |
|
34491 | 86 |
echo "or" |
34496 | 87 |
echo "JIB_URL=<full path to install script>" |
34491 | 88 |
exit 1 |
89 |
fi |
|
90 |
||
91 |
if command -v curl > /dev/null; then |
|
37862 | 92 |
getcmd="curl -s -L --retry 3 --retry-delay 5" |
34491 | 93 |
elif command -v wget > /dev/null; then |
94 |
getcmd="wget --quiet -O -" |
|
95 |
else |
|
96 |
echo "Could not find either curl or wget" |
|
97 |
exit 1 |
|
98 |
fi |
|
99 |
||
100 |
if ! command -v gunzip > /dev/null; then |
|
101 |
echo "Could not find gunzip" |
|
102 |
exit 1 |
|
103 |
fi |
|
104 |
||
34496 | 105 |
echo "Downloading JIB bootstrap script" |
106 |
mkdir -p "${installed_jib_script%/*}" |
|
107 |
rm -f "${installed_jib_script}.gz" |
|
108 |
${getcmd} ${jib_url} > "${installed_jib_script}.gz" |
|
109 |
if [ ! -s "${installed_jib_script}.gz" ]; then |
|
110 |
echo "Failed to download ${jib_url}" |
|
34768
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
111 |
if [ -n "${jib_path}" -a -n "${jib_server_mirrors}" ]; then |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
112 |
OLD_IFS="${IFS}" |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
113 |
IFS=" ," |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
114 |
for mirror in ${jib_server_mirrors}; do |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
115 |
echo "Trying mirror ${mirror}" |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
116 |
jib_url="${mirror}/${jib_path}" |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
117 |
${getcmd} ${jib_url} > "${installed_jib_script}.gz" |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
118 |
if [ -s "${installed_jib_script}.gz" ]; then |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
119 |
echo "Download from mirror successful" |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
120 |
break |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
121 |
else |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
122 |
echo "Failed to download ${jib_url}" |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
123 |
fi |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
124 |
done |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
125 |
IFS="${OLD_IFS}" |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
126 |
fi |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
127 |
if [ ! -s "${installed_jib_script}.gz" ]; then |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
128 |
exit 1 |
2d0d643ca57c
8146002: Need to support mirrors for bootstrapping Jib
erikj
parents:
34496
diff
changeset
|
129 |
fi |
34491 | 130 |
fi |
34496 | 131 |
echo "Extracting JIB bootstrap script" |
132 |
rm -f "${installed_jib_script}" |
|
133 |
gunzip "${installed_jib_script}.gz" |
|
134 |
chmod +x "${installed_jib_script}" |
|
34491 | 135 |
echo "${data_string}" > "${install_data}" |
136 |
} |
|
137 |
||
138 |
# Main body starts here |
|
139 |
||
140 |
setup_url |
|
141 |
||
34496 | 142 |
if [ ! -x "${installed_jib_script}" ]; then |
143 |
install_jib |
|
34491 | 144 |
elif [ ! -e "${install_data}" ] || [ "${data_string}" != "$(cat "${install_data}")" ]; then |
145 |
echo "Install url changed since last time, reinstalling" |
|
34496 | 146 |
install_jib |
34491 | 147 |
fi |
148 |
||
47325
d4d6bd42a6f3
8188910: jib configure requires --src-dir for out fo tree builds, second attempt
erikj
parents:
47295
diff
changeset
|
149 |
# Provide a reasonable default for the --src-dir parameter if run out of tree |
d4d6bd42a6f3
8188910: jib configure requires --src-dir for out fo tree builds, second attempt
erikj
parents:
47295
diff
changeset
|
150 |
if [ -z "${JIB_SRC_DIR}" ]; then |
d4d6bd42a6f3
8188910: jib configure requires --src-dir for out fo tree builds, second attempt
erikj
parents:
47295
diff
changeset
|
151 |
export JIB_SRC_DIR="${mydir}/../" |
d4d6bd42a6f3
8188910: jib configure requires --src-dir for out fo tree builds, second attempt
erikj
parents:
47295
diff
changeset
|
152 |
fi |
d4d6bd42a6f3
8188910: jib configure requires --src-dir for out fo tree builds, second attempt
erikj
parents:
47295
diff
changeset
|
153 |
|
34496 | 154 |
${installed_jib_script} "$@" |