* Removed selectVersion. There's no good reason to write

  `selectVersion ./foo "bar"' instead of `import ./foo/bar.nix'.
* Replaced `with args' with formal function arguments in several
  packages.
* Renamed several files to `default.nix'.  As a general rule, version
  numbers should only be included in the filename when there is a
  reason to keep multiple versions of a package in Nixpkgs.
  Otherwise, it just makes it harder to update the package.

svn path=/nixpkgs/trunk/; revision=18403

2 files changed, 18 insertions, 21 deletions

diff --git a/pkgs/development/compilers/ikarus/0.0.3.nix b/pkgs/development/compilers/ikarus/0.0.3.nix
deleted file mode 100644
index 1976df7b742..00000000000
--- a/pkgs/development/compilers/ikarus/0.0.3.nix
+++ /dev/null
@@ -1,21 +0,0 @@
-
-args : with args; 
-rec {
-  src = fetchurl {
-    url = http://www.cs.indiana.edu/~aghuloum/ikarus/ikarus-0.0.3.tar.gz;
-    sha256 = "0d4vqwqfnj39l0gar2di021kcf6bfpkc6g40yapkmxm6sxpdcvjv";
-  };
-
-  buildInputs = [gmp];
-  configureFlags = [];
-
-  /* doConfigure should be specified separately */
-  phaseNames = ["doConfigure" "doMakeInstall"];
-      
-  name = "ikarus-" + version;
-  meta = {
-    description = "Ikarus - a Scheme compiler, aiming at R6RS";
-    homepage = http://www.cs.indiana.edu/~aghuloum/ikarus/;
-    license = "GPL3";
-  };
-}
diff --git a/pkgs/development/compilers/ikarus/default.nix b/pkgs/development/compilers/ikarus/default.nix
new file mode 100644
index 00000000000..7e14d13b7df
--- /dev/null
+++ b/pkgs/development/compilers/ikarus/default.nix
@@ -0,0 +1,18 @@
+{ stdenv, fetchurl, gmp }:
+        
+stdenv.mkDerivation rec {
+  name = "ikarus-0.0.3";
+  
+  src = fetchurl {
+    url = "http://www.cs.indiana.edu/~aghuloum/ikarus/${name}.tar.gz";
+    sha256 = "0d4vqwqfnj39l0gar2di021kcf6bfpkc6g40yapkmxm6sxpdcvjv";
+  };
+
+  buildInputs = [ gmp ];
+      
+  meta = {
+    description = "Ikarus - a Scheme compiler, aiming at R6RS";
+    homepage = http://www.cs.indiana.edu/~aghuloum/ikarus/;
+    license = "GPL3";
+  };
+}