git.iko.soy/Idris-dev
on dcdebfc help sign in
Idris-dev/test/mktest.pl
21 lines 336 B history raw
1#!/usr/bin/env perl
3if ($#ARGV>=0) {
4 $test=shift(@ARGV);
5} else {
6 print "What's its name?\n";
7 exit;
8}
10mkdir($test);
12chdir($test);
13open(FOO,">run");
15print FOO "#!/usr/bin/env bash\n";
16print FOO "idris \$@ $test.idr -o $test\n";
17print FOO "./$test\n";print FOO "rm -f $test *.ibc\n";
19close(FOO);
21system("chmod +x run");