#!/pkg/gnu/bin/perl
while(system("dc_shell -checkout VHDL-Compiler -x exit") != 0) {
  printf("Waiting for dc_shell.\n");
  sleep 20;
}
printf("dc_shell acquired.\n");
$command = $ARGV[0];
for($i=1; $i<=$#ARGV; $i=$i+1) {
  $command = $command . ' ' . $ARGV[$i];
}
system($command);