From 11ccd44e95c16b9f7fcf51e75b511b1b6587397b Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Sun, 24 Oct 2010 21:48:59 +0000
Subject: [PATCH] * We need Bison 2.4 now.

---
 release.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/release.nix b/release.nix
index 695521d398..a34a202ae5 100644
--- a/release.nix
+++ b/release.nix
@@ -18,7 +18,7 @@ let
         inherit officialRelease;
 
         buildInputs =
-          [ curl bison flex2533 perl libxml2 libxslt w3m bzip2
+          [ curl bison24 flex2535 perl libxml2 libxslt w3m bzip2
             tetex dblatex nukeReferences
           ];
 
@@ -72,6 +72,7 @@ let
         configureFlags = ''
           --disable-init-state
           --with-bzip2=${bzip2}
+          --with-boehm-gc=${boehmgc}
         '';
       };