diff -r 83d03e966c68 -r 09879d39b3f5 Admin/polyml/makepkg
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/polyml/makepkg	Tue Feb 13 16:05:09 2001 +0100
@@ -0,0 +1,23 @@
+#!/bin/bash
+
+THIS="$(cd "$(dirname "$0")"; echo "$PWD")"
+SUPER="$(cd "$THIS"; cd ..; echo "$PWD")"
+NAME="$(basename "$THIS")"
+
+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