#! /bin/csh -f
# Last edited on 2000-05-02 14:12:52 by stolfi

set usage = "cd .../THESES/hcgl; $0"

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

set cdir = `pwd`
if ( "${cdir}" !~ */THESES/hcgl ) then
  echo "usage: ${usage}"; exit 1
endif

if ( ! ( -d bin/${M3PLATFORM} ) ) then
  mkdir bin/${M3PLATFORM}
endif

foreach dir ( */SOLgnu ) 
  set pgm = ${dir:h}
  if ( -x ${dir}/${pgm} ) then 
    if ( ! ( -x bin/${M3PLATFORM}/${pgm} ) ) then
      ( cd bin/${M3PLATFORM} && ln -s ../../${dir}/${pgm} ${pgm} )
      ls -ld bin/${M3PLATFORM}/${pgm}
    endif
  endif
end