;
;   Copy include files to local.  Delete stuff we don't care about.
;
;   Written Friday 02-Nov-90 18:20:10 Bryce Nesbitt
;
cd ram:icheck

echo "---------- Copying include files from server into work ----------"
if exists work
delete work all quiet
endif
makedir work
copy V:disk/support/include.test work all quiet nopro
delete >NIL: work/bcpl all quiet
delete >NIL: work/greenhills all quiet
delete >NIL: work/internal all quiet

;#### KLUDGES GO HERE ####
;---All the math libraries define the same constants in different ways
rename work/libraries/mathieeedp.h work/libraries/mathieeedp.x
rename work/libraries/mathieeesp.h work/libraries/mathieeesp.x
rename work/exec/exec_lib.i work/exec/exec_lib.x
