Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
executable file 22 lines (15 sloc) 325 Bytes
#!/usr/bin/perl
if ($#ARGV>=0) {
$test=shift(@ARGV);
} else {
print "What's its name?\n";
exit;
}
mkdir($test);
chdir($test);
open(FOO,">run");
print FOO "#!/bin/bash\n";
print FOO "idris \$@ $test.idr -o $test\n";
print FOO "./$test\n";print FOO "rm -f $test *.ibc\n";
close(FOO);
system("chmod +x run");
Something went wrong with that request. Please try again.