Rockbox open source high quality audio player as a Music Player Daemon
mpris
rockbox
mpd
libadwaita
audio
rust
zig
deno
Corrected the GMP & MPFR workaround.
git-svn-id: svn://svn.rockbox.org/rockbox/trunk@26606 a1c6a512-1295-4272-9138-f99709370657
+9
-3
+9
-3
tools/rockboxdev.sh
+9
-3
tools/rockboxdev.sh
···
159
159
160
160
# kludge to avoid having to install GMP and MPFR for new gcc
161
161
if test -n "$needs_gmp"; then
162
+
cd "gcc-$version"
162
163
if test ! -d gmp; then
163
164
echo "ROCKBOXDEV: Getting GMP"
164
-
getfile "gmp-5.0.1.tar.bz2" "$GNU_MIRROR/gmp"
165
+
if test ! -f $dlwhere/gmp-5.0.1.tar.bz2; then
166
+
getfile "gmp-5.0.1.tar.bz2" "$GNU_MIRROR/gmp"
167
+
fi
165
168
tar xjf $dlwhere/gmp-5.0.1.tar.bz2
166
-
ln -s gmp-5.0.1.tar.bz2 gmp
169
+
ln -s gmp-5.0.1 gmp
167
170
fi
168
171
169
172
if test ! -d mpfr; then
170
173
echo "ROCKBOXDEV: Getting MPFR"
171
-
getfile "mpfr-2.4.2.tar.bz2" "$GNU_MIRROR/mpfr"
174
+
if test ! -f $dlwhere/mpfr-2.4.2.tar.bz2; then
175
+
getfile "mpfr-2.4.2.tar.bz2" "$GNU_MIRROR/mpfr"
176
+
fi
172
177
tar xjf $dlwhere/mpfr-2.4.2.tar.bz2
173
178
ln -s mpfr-2.4.2 mpfr
174
179
fi
180
+
cd $builddir
175
181
fi
176
182
177
183
echo "ROCKBOXDEV: mkdir build-$toolname"