idris-1.3.0: benchmarks/build.pl

#!/usr/bin/env perl

$bmarks = `cat ALL`;
@bm = split(/\n/, $bmarks);
$idris = $ENV{'IDRIS'} || "idris";

foreach $b (@bm) {
    if ($b =~ /([a-zA-Z0-9]+)\/([a-zA-Z0-9]+)\s+(.*)/) {
        print "Building $1 / $2\n";
        chdir $1;
        system("$idris --clean $2.ipkg");
        system("$idris --build $2.ipkg") == 0 or die "Unable to build $2: $?";
        chdir "..";
    }
}