about summary refs log tree commit diff
path: root/pkgs/development/compilers
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2004-04-01 16:02:53 +0000
committerEelco Dolstra <eelco.dolstra@logicblox.com>2004-04-01 16:02:53 +0000
commite50417845df51ebf94fb4d3c5f192bb0235803b5 (patch)
tree1dd7b8ede56ed2085bcd6ae6901145fc97f5665b /pkgs/development/compilers
parent8e4d58631e1379e0352626aa91a963ec8e01ae13 (diff)
* Fixed Stratego.
* Added Zoom, an interpreter for Z-Code.

svn path=/nixpkgs/trunk/; revision=894
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r--pkgs/development/compilers/strategoxt/default.nix6
-rw-r--r--pkgs/development/compilers/strategoxt/strategoxt-0.9.3.nix14
-rw-r--r--pkgs/development/compilers/strategoxt/strategoxt-0.9.5.nix12
3 files changed, 3 insertions, 29 deletions
diff --git a/pkgs/development/compilers/strategoxt/default.nix b/pkgs/development/compilers/strategoxt/default.nix
index b4207a3bb9924..2d748fd336685 100644
--- a/pkgs/development/compilers/strategoxt/default.nix
+++ b/pkgs/development/compilers/strategoxt/default.nix
@@ -1,11 +1,11 @@
 {stdenv, fetchurl, aterm, sdf}:
 
 stdenv.mkDerivation {
-  name = "strategoxt-0.9.4";
+  name = "strategoxt-0.9.5";
   builder = ./builder.sh;
   src = fetchurl {
-    url = ftp://ftp.stratego-language.org/pub/stratego/StrategoXT/strategoxt-0.9.4.tar.gz;
-    md5 = "b61aee784cebac6cce0d96383bdb1b37";
+    url = ftp://ftp.stratego-language.org/pub/stratego/StrategoXT/strategoxt-0.9.5.tar.gz;
+    md5 = "c3caea5c05f8d8439450866b6d5664df";
   };
   inherit aterm sdf;
 }
diff --git a/pkgs/development/compilers/strategoxt/strategoxt-0.9.3.nix b/pkgs/development/compilers/strategoxt/strategoxt-0.9.3.nix
deleted file mode 100644
index 1773241cbd44c..0000000000000
--- a/pkgs/development/compilers/strategoxt/strategoxt-0.9.3.nix
+++ /dev/null
@@ -1,14 +0,0 @@
-{stdenv, fetchurl, aterm, sdf}: derivation {
-  name = "strategoxt-0.9.3";
-  system = stdenv.system;
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = ftp://ftp.stratego-language.org/pub/stratego/StrategoXT/strategoxt-0.9.3.tar.gz;
-    md5 = "3425e7ae896426481bd258817737e3d6";
-  };
-  stdenv = stdenv;
-  aterm = aterm;
-  sdf = sdf;
-  tarfile = "true";
-  dir = "strategoxt";
-}
diff --git a/pkgs/development/compilers/strategoxt/strategoxt-0.9.5.nix b/pkgs/development/compilers/strategoxt/strategoxt-0.9.5.nix
deleted file mode 100644
index f608cb47c5cf2..0000000000000
--- a/pkgs/development/compilers/strategoxt/strategoxt-0.9.5.nix
+++ /dev/null
@@ -1,12 +0,0 @@
-{stdenv, fetchurl, aterm, sdf}: derivation {
-  name = "strategoxt-0.9.5";
-  system = stdenv.system;
-  builder = ./builder.sh;
-  src = fetchurl {
-    url = ftp://ftp.stratego-language.org/pub/stratego/StrategoXT/strategoxt-0.9.5.tar.gz;
-    md5 = "c3caea5c05f8d8439450866b6d5664df";
-  };
-  inherit stdenv aterm sdf;
-  tarfile = "true";
-  dir = "strategoxt";
-}