blob: e3274ae22dd5cb99392ec40f27367cee1f46ef6f (
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
40
41
42
43
44
45
|
#!/bin/sh
#
# Install script to w32dlib
#
# $Id$
#
if [ "$2" == "" ] ; then
echo usage: $0 install-dir script-flag
exit 1
fi
incbase=$1/include
incdir=$incbase/w32dlib
libdir=$1/lib
mkinfo=$2
conf=/usr/local/bin/w32dlib-config
echo ==== Copying header files to $incdir ====
mkdir -p $incdir
cp --verbose --force w32dlib/*.h $incdir
echo ==== Copying library files to $libdir ====
mkdir -p $libdir
cp --verbose --force libw32dlib.a $libdir
if [ $mkinfo == "1" ] ; then
echo ==== Creating $conf ====
cat << EOF > $conf
#!/bin/sh
if [ "\$1" == "--libs" ] ; then
echo -L$libdir -mwindows -lw32dlib
elif [ "\$1" == "--cflags" ] ; then
echo -I$incbase
else
echo usage: \$0 [--libs\|--cflags]
fi
EOF
fi
exit 0
|
