git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/benchmarks/build.pl
14 lines 311 B history raw
1#!/usr/bin/env perl
3$bmarks = `cat ALL`;
4@bm = split(/\n/, $bmarks);
6foreach $b (@bm) {
7 if ($b =~ /([a-zA-Z0-9]+)\/([a-zA-Z0-9]+)\s+(.*)/) {
8 print "Building $1 / $2\n";
9 chdir $1;
10 system("idris --clean $2.ipkg");
11 system("idris --build $2.ipkg");
12 chdir "..";
13 }