# HG changeset patch # User wenzelm # Date 1001420369 -7200 # Node ID b6a181110c3c08fa47d08c6896d0ca9152d9c46e # Parent 94d2d6531c578b46a9c7a3aeb268a71f870b0bea *** empty log message *** diff -r 94d2d6531c57 -r b6a181110c3c Admin/polyml/makepkg --- a/Admin/polyml/makepkg Tue Sep 25 12:16:49 2001 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,25 +0,0 @@ -#!/bin/bash - -THIS="$(cd "$(dirname "$0")"; echo "$PWD")" -SUPER="$(cd "$THIS"; cd ..; echo "$PWD")" -NAME="$(basename "$THIS")" - -[ -h "$NAME" ] && { echo "$NAME is a symlink!"; exit 2; } - -TAR=tar -type -path gtar >/dev/null && TAR=gtar - -cd "$SUPER" -mkdir -p "$NAME/dist" - - -echo "*** ${NAME}_base.tar.gz" -"$TAR" czf "$NAME/dist/${NAME}_base.tar.gz" polyml "$NAME/LICENCE" "$NAME/bin" -ln -sf "${NAME}_base.tar.gz" "$NAME/dist/polyml_base.tar.gz" - -for PLATFORM in sparc-solaris x86-linux -do - echo "*** ${NAME}_${PLATFORM}.tar.gz" - "$TAR" czf "$NAME/dist/${NAME}_${PLATFORM}.tar.gz" "$NAME/$PLATFORM" - ln -sf "${NAME}_${PLATFORM}.tar.gz" "$NAME/dist/polyml_${PLATFORM}.tar.gz" -done