From c1a512f2a10b9eca7c1c01512da3c828c66ae7be Mon Sep 17 00:00:00 2001
From: "Yury G. Kudryashov" <urkud.urkud@gmail.com>
Date: Tue, 29 Jan 2008 13:18:13 +0000
Subject: [PATCH] Added WebDSL

svn path=/nixpkgs/branches/stdenv-updates/; revision=10386
---
 pkgs/development/compilers/webdsl/builder.sh  |  8 ++++++++
 pkgs/development/compilers/webdsl/default.nix | 14 ++++++++++++++
 pkgs/top-level/all-packages.nix               |  7 +++++++
 3 files changed, 29 insertions(+)
 create mode 100644 pkgs/development/compilers/webdsl/builder.sh
 create mode 100644 pkgs/development/compilers/webdsl/default.nix

diff --git a/pkgs/development/compilers/webdsl/builder.sh b/pkgs/development/compilers/webdsl/builder.sh
new file mode 100644
index 000000000000..d77094a91b0c
--- /dev/null
+++ b/pkgs/development/compilers/webdsl/builder.sh
@@ -0,0 +1,8 @@
+source $stdenv/setup
+
+configureFlags="--with-aterm=$aterm --with-sdf=$sdf --with-strategoxt=$strategoxt"
+genericBuild
+
+# Replace /bin/bash in WebDSL script (maybe there is a better solution?)
+
+sed -i -e "s|#!/bin/bash|#!/bin/sh|" $out/bin/webdsl
diff --git a/pkgs/development/compilers/webdsl/default.nix b/pkgs/development/compilers/webdsl/default.nix
new file mode 100644
index 000000000000..da961cbf2f64
--- /dev/null
+++ b/pkgs/development/compilers/webdsl/default.nix
@@ -0,0 +1,14 @@
+{stdenv, fetchurl, aterm, sdf, strategoxt, pkgconfig, javafront}:
+
+stdenv.mkDerivation {
+  name = "webdsl-7.12pre876";
+  builder = ./builder.sh;
+
+  src = fetchurl {
+    url = http://buildfarm.st.ewi.tudelft.nl/releases/strategoxt/webdsl-7.12pre876-g60njq3p/webdsl-7.12pre876.tar.gz;
+    md5 = "7cd8709b02e03da74d90f8f8388e8d01";
+  };
+
+  inherit aterm sdf strategoxt javafront;
+  buildInputs = [pkgconfig aterm sdf strategoxt javafront];
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index c8e18e389bd8..69aca64e56fc 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -1291,6 +1291,13 @@ rec {
     inherit fetchurl stdenv cabextract;
   };
 
+  webdsl = import ../development/compilers/webdsl {
+    inherit stdenv fetchurl pkgconfig javafront;
+    aterm = aterm25;
+    sdf = sdf24;
+    strategoxt = strategoxt017;
+  };
+
   win32hello = import ../development/compilers/visual-c++/test {
     inherit fetchurl stdenv visualcpp windowssdk;
   };