#! /bin/csh -f -e

# (Re)compiles a package for platform $1
# by copying SOURCES to the directory $1
# and executing "make -f Makefile-$1" in there
# To be executed in the package's root directory.

if ( $#argv != 1 then
  echo "usage: $0 <platform>
  exit 1
endif

set pfm = "$1"

if ( ! ( -d ${pfm ) ) /bin/mkdir ${pfm}
/bin/cp -R -p SOURCES ${pfm}
cd ${pfm}
/bin/make -f Makefile-${pfm} all