#! /bin/csh -f 
# Last edited on 1999-06-06 07:49:30 by stolfi

set usage = "cd pkg/PKG; $0 PKG ORGDIR DSTDIR"

# Installs executables, libraries, and manpages for a Modula-3 package.
# from directory ORGDIR to DSTDIR

if ($#argv != 3) then
  echo "usage: ${usage}"; exit 1
endif

set pkg = "$1"; shift;
set orgdir = "$1"; shift;
set dstdir = "$1"; shift;

set orgdir = "`cd ${orgdir} && pwd`"

foreach dst ( bin/${pkg} man/man1/${pkg}.1 lib/${pkg}.a lib/${pkg}.so )
  set org = "${dst:t}"
  if ( -r ${orgdir}/${org} ) then
    echo "installing ${orgdir}/${org} in ${dstdir}/${dst}"
    rm -f ${dstdir}/${dst}
    cp -auv ${orgdir}/${org} ${dstdir}/${dst}
  endif
end