blob: 90cf02810f8931e88a1131d525e15e18bc695066 (
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
|
#!/bin/sh
# Make sure we're in our directory (i.e., where this shell script is)
echo $0
cd `dirname $0`
# Configure fetch method
URL="http://www.minix3.org/pkgsrc/distfiles/minix/3.4.0/mpfr-3.1.2.tar.bz2"
BACKUP_URL="http://www.mpfr.org/mpfr-3.1.2/mpfr-3.1.2.tar.bz2"
FETCH=ftp
which curl >/dev/null
if [ $? -eq 0 ]; then
FETCH="curl -O -f"
fi
# Fetch sources if not available
if [ ! -d dist ];
then
if [ ! -f mpfr-3.1.2.tar.bz2 ]; then
$FETCH $URL
if [ $? -ne 0 ]; then
$FETCH $BACKUP_URL
fi
fi
tar -oxjf mpfr-3.1.2.tar.bz2
mv mpfr-3.1.2 dist && \
cd dist && \
cat ../patches/* |patch -p1
fi
|
