#!/bin/csh

foreach file ($*)
     #maxima $file $file:r.o S1000
   /usr/local/maxima/maxima/src/saved_max_compile  /usr/local/maxima/maxima/src $file $file:r.o S1000
end