mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-21 22:17:19 +03:00
22 lines
336 B
Perl
Executable File
22 lines
336 B
Perl
Executable File
#!/usr/bin/env perl
|
|
|
|
if ($#ARGV>=0) {
|
|
$test=shift(@ARGV);
|
|
} else {
|
|
print "What's its name?\n";
|
|
exit;
|
|
}
|
|
|
|
mkdir($test);
|
|
|
|
chdir($test);
|
|
open(FOO,">run");
|
|
|
|
print FOO "#!/usr/bin/env 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");
|