File tree Expand file tree Collapse file tree 5 files changed +20
-1
lines changed Expand file tree Collapse file tree 5 files changed +20
-1
lines changed Original file line number Diff line number Diff line change 2
2
set -e
3
3
4
4
cd " $( dirname ${BASH_SOURCE[0]} ) "
5
+ source config.sh
5
6
6
7
./prepare.sh
7
8
./fetch.sh
Original file line number Diff line number Diff line change @@ -7,8 +7,10 @@ source config.sh
7
7
cd " $JDKDIR "
8
8
9
9
JAVA_VERSION=" $( hg log -r " ." --template " {latesttag}\n" | sed ' s/jdk-//' ) -ev3"
10
+ echo " [BUILD] Java version string: $JAVA_VERSION "
10
11
11
12
# refresh patched build system
13
+ echo " [BUILD] Regenerating autoconf"
12
14
bash " $AUTOGEN_PATH "
13
15
14
16
# # Description ##
@@ -30,6 +32,7 @@ bash "$AUTOGEN_PATH"
30
32
# BUILD_NM="gcc-nm"
31
33
32
34
# configure the build
35
+ echo " [BUILD] Configuring Java"
33
36
bash ./configure --with-boot-jdk=" $HOSTJDK " \
34
37
--openjdk-target=arm-linux-gnueabi \
35
38
--with-abi-profile=arm-ev3 \
@@ -46,4 +49,5 @@ bash ./configure --with-boot-jdk="$HOSTJDK" \
46
49
BUILD_NM=" gcc-nm"
47
50
48
51
# start the build
52
+ echo " [BUILD] Building Java"
49
53
make clean images
Original file line number Diff line number Diff line change @@ -7,19 +7,22 @@ source config.sh
7
7
if [ ! -d " $JDKDIR " ]; then
8
8
9
9
# clone the root project
10
+ echo " [FETCH] Cloning Java repo"
10
11
hg clone " $JAVA_REPO " " $JDKDIR "
11
12
12
13
# enter the jdk repo
13
14
cd " $JDKDIR "
14
15
15
16
# clone the rest of the tree, if needed
16
17
if [ -f " ./get_source.sh" ]; then
18
+ echo " [FETCH] Downloading Java components"
17
19
bash ./get_source.sh
18
20
fi
19
21
20
22
# apply the EV3-specific patches
23
+ echo " [FETCH] Patching the source tree"
21
24
patch -p1 -i " $SCRIPTDIR /$PATCHVER .patch"
22
25
23
26
else
24
- echo " Directory for JDK repository exists, assuming everything has been done already." 2>&1
27
+ echo " [FETCH] Directory for JDK repository exists, assuming everything has been done already." 2>&1
25
28
fi
Original file line number Diff line number Diff line change @@ -6,7 +6,13 @@ source config.sh
6
6
7
7
if [ ! -d " HOSTJDK" ]; then
8
8
if [ ! -e " $HOSTJDK_FILE " ]; then
9
+ echo " [PREPARE] Downloading host JDK"
9
10
wget " $HOSTJDK_URL " -O " $HOSTJDK_FILE "
11
+ else
12
+ echo " [PREPARE] Using cached host JDK archive"
10
13
fi
14
+ echo " [PREPARE] Unpacking host JDK"
11
15
tar -xf " $HOSTJDK_FILE " -C " $( dirname " $HOSTJDK " ) "
16
+ else
17
+ echo " [PREPARE] Using cached host JDK directory"
12
18
fi
Original file line number Diff line number Diff line change @@ -8,9 +8,11 @@ source config.sh
8
8
cd " $IMAGEDIR "
9
9
10
10
# clean destinations
11
+ echo " [ZIP] Cleaning JRI images"
11
12
rm -rf ./jri-ev3
12
13
13
14
# build ev3 runtime image
15
+ echo " [ZIP] Building JRI"
14
16
" $HOSTJDK /bin/jlink" \
15
17
--module-path ./jmods/ \
16
18
--endian little \
@@ -22,6 +24,9 @@ rm -rf ./jri-ev3
22
24
--output ./jri-ev3
23
25
24
26
# create zip files
27
+ echo " [ZIP] Creating JRI archive"
25
28
tar -cf - jri-ev3 | pigz -9 > " $BUILDDIR /jri-ev3.tar.gz"
29
+ echo " [ZIP] Creating JDK archive"
26
30
tar -cf - jdk | pigz -9 > " $BUILDDIR /jdk-ev3.tar.gz"
31
+ echo " [ZIP] Cleaning jmods archive"
27
32
tar -cf - jmods | pigz -9 > " $BUILDDIR /jmods.tar.gz"
You can’t perform that action at this time.
0 commit comments