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