Merge pull request #4385 from jacereda/smaller-closure

Smaller closure

Author: melted

benchmarks/build.pl

@@ -2,13 +2,14 @@
 
 $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: $?";
+        system("$idris --clean $2.ipkg");
+        system("$idris --build $2.ipkg") == 0 or die "Unable to build $2: $?";
         chdir "..";
     }
 }

libs/base/Makefile

@@ -1,4 +1,4 @@
-IDRIS := idris
+IDRIS ?= idris
 PKG := base
 
 build:

libs/contrib/Makefile

@@ -1,4 +1,4 @@
-IDRIS := idris
+IDRIS ?= idris
 PKG := contrib
 
 build:

libs/effects/Makefile

@@ -1,4 +1,4 @@
-IDRIS     := idris
+IDRIS     ?= idris
 PKG       := effects
 
 build:

libs/prelude/Makefile

@@ -1,4 +1,4 @@
-IDRIS := idris
+IDRIS ?= idris
 PKG   := prelude
 
 build:

libs/pruviloj/Makefile

@@ -1,4 +1,4 @@
-IDRIS     := idris
+IDRIS     ?= idris
 PKG       := pruviloj
 
 build:

rts/Makefile

@@ -40,6 +40,6 @@ install :
 clean :
 	rm -f $(OBJS) $(LIBTARGET) $(DYLIBTARGET)
 
-idris_rts.o: idris_rts.h
+$(OBJS): $(HDRS)
 
 .PHONY: build install clean