From 78205146b8ed38104c63d3c0d6643168a00f7035 Mon Sep 17 00:00:00 2001
From: Martin Bravenboer <martin.bravenboer@logicblox.com>
Date: Tue, 12 Sep 2006 23:41:21 +0000
Subject: [PATCH] Use gnumake 3.80 for cil-aterm

svn path=/nixpkgs/trunk/; revision=6507
---
 pkgs/top-level/all-packages.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 38b82cef117..78788091da2 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -1065,8 +1065,8 @@ rec {
   };
 
   cilaterm = (import ../development/libraries/cil-aterm) {
-    ocaml = ocaml3080;
-    inherit stdenv fetchurl perl;
+    stdenv = overrideInStdenv stdenv [gnumake380];
+    inherit fetchurl perl ocaml;
   };
 
   pcre = (import ../development/libraries/pcre) {