Admin/polyml/makepkg
author wenzelm
Tue, 13 Feb 2001 16:05:09 +0100
changeset 11107 09879d39b3f5
child 11109 ce1cefc6c14c
permissions -rwxr-xr-x
create dist packages;
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
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
     7
TAR=tar
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
     8
type -path gtar >/dev/null && TAR=gtar
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
     9
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    10
cd "$SUPER"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    11
mkdir -p "$NAME/dist"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    12
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    13
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    14
echo "*** ${NAME}_base.tar.gz"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    15
"$TAR" czf "$NAME/dist/${NAME}_base.tar.gz" polyml "$NAME/LICENCE" "$NAME/bin"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    16
ln -sf "${NAME}_base.tar.gz" "$NAME/dist/polyml_base.tar.gz"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    17
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    18
for PLATFORM in sparc-solaris x86-linux
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    19
do
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    20
  echo "*** ${NAME}_${PLATFORM}.tar.gz"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    21
  "$TAR" czf "$NAME/dist/${NAME}_${PLATFORM}.tar.gz" "$NAME/$PLATFORM"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    22
  ln -sf "${NAME}_${PLATFORM}.tar.gz" "$NAME/dist/polyml_${PLATFORM}.tar.gz"
09879d39b3f5 create dist packages;
wenzelm
parents:
diff changeset
    23
done