Admin/polyml/makepkg
author wenzelm
Tue, 13 Feb 2001 16:31:18 +0100
changeset 11109 ce1cefc6c14c
parent 11107 09879d39b3f5
permissions -rwxr-xr-x
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11107
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
     1
#!/bin/bash
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
     2
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
     3
THIS="$(cd "$(dirname "$0")"; echo "$PWD")"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
     4
SUPER="$(cd "$THIS"; cd ..; echo "$PWD")"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
     5
NAME="$(basename "$THIS")"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
     6
11109
wenzelm
parents: 11107
diff changeset
     7
[ -h "$NAME" ] && { echo "$NAME is a symlink!"; exit 2; }
wenzelm
parents: 11107
diff changeset
     8
11107
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
     9
TAR=tar
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    10
type -path gtar >/dev/null && TAR=gtar
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    11
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    12
cd "$SUPER"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    13
mkdir -p "$NAME/dist"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    14
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    15
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    16
echo "*** ${NAME}_base.tar.gz"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    17
"$TAR" czf "$NAME/dist/${NAME}_base.tar.gz" polyml "$NAME/LICENCE" "$NAME/bin"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    18
ln -sf "${NAME}_base.tar.gz" "$NAME/dist/polyml_base.tar.gz"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    19
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    20
for PLATFORM in sparc-solaris x86-linux
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    21
do
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    22
  echo "*** ${NAME}_${PLATFORM}.tar.gz"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    23
  "$TAR" czf "$NAME/dist/${NAME}_${PLATFORM}.tar.gz" "$NAME/$PLATFORM"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    24
  ln -sf "${NAME}_${PLATFORM}.tar.gz" "$NAME/dist/polyml_${PLATFORM}.tar.gz"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    25
done