From 84b78f7489c310be9436b900f25a523f1e787f7c Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Thu, 19 Mar 2009 17:34:59 +0000
Subject: [PATCH] * Work around a bug in java-front.

svn path=/nixpkgs/trunk/; revision=14620
---
 pkgs/development/compilers/strategoxt/0.17.nix | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/compilers/strategoxt/0.17.nix b/pkgs/development/compilers/strategoxt/0.17.nix
index fe8459150d71..7bc045fd64c4 100644
--- a/pkgs/development/compilers/strategoxt/0.17.nix
+++ b/pkgs/development/compilers/strategoxt/0.17.nix
@@ -56,9 +56,11 @@ rec {
       sha256 = "93d2919cfbda41a96a944f71ae57704ad1f0efcc0c1084b501a4536f82e25387";
     };
 
-    buildInputs = [pkgconfig aterm strategoxt];
+    buildInputs = [pkgconfig aterm sdf strategoxt];
 
-    configureFlags = "--disable-static";
+    # !!! The explicit `--with-strategoxt' is necessary; otherwise we
+    # get an XTC registration that refers to "/share/strategoxt/XTC".
+    configureFlags = "--disable-static --enable-xtc --with-strategoxt=${strategoxt}";
 
     meta = {
       homepage = http://strategoxt.org/Stratego/JavaFront;