blob: eb40ad66ebdb6977f1373134b4328bf6e456f32a (
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
|
#!/bin/sh
#
# Install the dpi framework programs inside the user's account.
#
BASE="$HOME/.dillo"
BASE2="$BASE/dpi"
if [ -r $BASE/dpi_socket_dir ] ; then
rm -r `cat $BASE/dpi_socket_dir`
rm $BASE/dpi_socket_dir
fi
if [ ! -x dpid/dpid ] ; then
echo "You MUST run this script after make."
exit 1
fi
if [ ! -d $BASE ] ; then
mkdir $BASE
fi
if [ ! -d $BASE2 ] ; then
mkdir $BASE2
fi
cp dpid/dpid dpid/dpidc dpid/dpidrc $BASE
strip $BASE/dpid $BASE/dpidc
cd dpi
for F in *.dpi ; do
D="`echo $F | sed 's/\..*$//'`"
if [ ! -d $BASE2/$D ] ; then
mkdir $BASE2/$D
fi
cp $F $BASE2/$D
strip $BASE2/$D/$F
done
cd ..
|
