comparison: make/install-lib.sh
make/install-lib.sh
- changeset 1484
- d72725216f37
- parent 1472
- c48cf649c10f
equal
deleted
inserted
replaced
| 1483:97a6cf1520ba | 1484:d72725216f37 |
|---|---|
| 1 #!/bin/sh | 1 #!/bin/sh |
| 2 | 2 |
| 3 if [ -z "$1" ] || [ -z "$2" ] || [ -z "$3" ] || [ -z "$4" ] ; then | 3 if [ -z "$1" ] || [ -z "$2" ] || [ -z "$3" ] || [ -z "$4" ] ; then |
| 4 echo "Usage: $0 <src> <libdir> <version> <major_version>" | 4 echo "Usage: $0 <src> <libdir> <version> <major_version> [destdir]" |
| 5 exit 1 | 5 exit 1 |
| 6 fi | 6 fi |
| 7 | 7 |
| 8 SRC=$1 | 8 SRC=$1 |
| 9 LIB=$(basename $1) | 9 LIB=$(basename $1) |
| 10 LIBDIR=$2 | 10 LIBDIR=$5$2 |
| 11 LIBVERSION=$3 | 11 LIBVERSION=$3 |
| 12 LIBVERSION_MAJOR=$4 | 12 LIBVERSION_MAJOR=$4 |
| 13 | 13 |
| 14 cp -f "$SRC" "$LIBDIR/$LIB.$LIBVERSION" | 14 cp -f "$SRC" "$LIBDIR/$LIB.$LIBVERSION" |
| 15 | 15 |
