From e6e6301c5f80a845282fba673d003f57d8466f58 Mon Sep 17 00:00:00 2001
From: Antono Vasiljev <self@antono.info>
Date: Mon, 25 Jun 2012 16:46:26 +0300
Subject: [PATCH 1/2] Vala 14, 15, 16, 17. Default is 17 now

---
 pkgs/development/compilers/vala/14.2.nix    | 22 +++++++++++++++++++++
 pkgs/development/compilers/vala/15.2.nix    | 22 +++++++++++++++++++++
 pkgs/development/compilers/vala/16.1.nix    | 22 +++++++++++++++++++++
 pkgs/development/compilers/vala/default.nix |  9 ++++++---
 pkgs/top-level/all-packages.nix             |  8 +++++++-
 5 files changed, 79 insertions(+), 4 deletions(-)
 create mode 100644 pkgs/development/compilers/vala/14.2.nix
 create mode 100644 pkgs/development/compilers/vala/15.2.nix
 create mode 100644 pkgs/development/compilers/vala/16.1.nix

diff --git a/pkgs/development/compilers/vala/14.2.nix b/pkgs/development/compilers/vala/14.2.nix
new file mode 100644
index 00000000000..ffdf7b1aeb8
--- /dev/null
+++ b/pkgs/development/compilers/vala/14.2.nix
@@ -0,0 +1,22 @@
+{stdenv, fetchurl, yacc, flex, pkgconfig, glib, xz}:
+
+stdenv.mkDerivation rec {
+  name = "vala-0.14.2";
+
+  src = fetchurl {
+    url = mirror://gnome/sources/vala/0.14/vala-0.14.2.tar.xz;
+    sha256 = "1l5kllw9vpwv24lzv9fp64l3sad46wpxgvsgryrwlrjg91w6jzl0";
+  };
+
+  buildNativeInputs = [ yacc flex pkgconfig xz ];
+
+  buildInputs = [ glib ];
+
+  meta = {
+    description = "Compiler for the GObject type system";
+    homepage = "http://live.gnome.org/Vala";
+    license = "free-copyleft";
+    platforms = stdenv.lib.platforms.all;
+    maintainers = [ stdenv.lib.maintainers.antono ];
+  };
+}
diff --git a/pkgs/development/compilers/vala/15.2.nix b/pkgs/development/compilers/vala/15.2.nix
new file mode 100644
index 00000000000..55c61c3b321
--- /dev/null
+++ b/pkgs/development/compilers/vala/15.2.nix
@@ -0,0 +1,22 @@
+{stdenv, fetchurl, yacc, flex, pkgconfig, glib, xz}:
+
+stdenv.mkDerivation rec {
+  name = "vala-0.15.2";
+
+  src = fetchurl {
+    url = mirror://gnome/sources/vala/0.15/vala-0.15.2.tar.xz;
+    sha256 = "0g71zq6dpqrw2f40wfzdf18fdw41ymr17laqniy2kr622hkxdi8w";
+  };
+
+  buildNativeInputs = [ yacc flex pkgconfig xz ];
+
+  buildInputs = [ glib ];
+
+  meta = {
+    description = "Compiler for the GObject type system";
+    homepage = "http://live.gnome.org/Vala";
+    license = "free-copyleft";
+    platforms = stdenv.lib.platforms.all;
+    maintainers = [ stdenv.lib.maintainers.antono ];
+  };
+}
diff --git a/pkgs/development/compilers/vala/16.1.nix b/pkgs/development/compilers/vala/16.1.nix
new file mode 100644
index 00000000000..70422798075
--- /dev/null
+++ b/pkgs/development/compilers/vala/16.1.nix
@@ -0,0 +1,22 @@
+{stdenv, fetchurl, yacc, flex, pkgconfig, glib, xz}:
+
+stdenv.mkDerivation rec {
+  name = "vala-0.16.1";
+
+  src = fetchurl {
+    url = mirror://gnome/sources/vala/0.16/vala-0.16.1.tar.xz;
+    sha256 = "1n708n9ixyy9qrzyv1wf4ybvcclx43ib9ki028wwpvkz6kv8zqlb";
+  };
+
+  buildNativeInputs = [ yacc flex pkgconfig xz ];
+
+  buildInputs = [ glib ];
+
+  meta = {
+    description = "Compiler for the GObject type system";
+    homepage = "http://live.gnome.org/Vala";
+    license = "free-copyleft";
+    platforms = stdenv.lib.platforms.all;
+    maintainers = [ stdenv.lib.maintainers.antono ];
+  };
+}
diff --git a/pkgs/development/compilers/vala/default.nix b/pkgs/development/compilers/vala/default.nix
index 0aaab91cd81..12b01baf53d 100644
--- a/pkgs/development/compilers/vala/default.nix
+++ b/pkgs/development/compilers/vala/default.nix
@@ -1,11 +1,11 @@
 {stdenv, fetchurl, yacc, flex, pkgconfig, glib, xz}:
 
 stdenv.mkDerivation rec {
-  name = "vala-0.14.2";
+  name = "vala-0.17.2";
 
   src = fetchurl {
-    url = mirror://gnome/sources/vala/0.14/vala-0.14.2.tar.xz;
-    sha256 = "1l5kllw9vpwv24lzv9fp64l3sad46wpxgvsgryrwlrjg91w6jzl0";
+    url = mirror://gnome/sources/vala/0.17/vala-0.17.2.tar.xz;
+    sha256 = "09i2s0dwmrk147ind2dx7nq845g12fp6fsjqrphhrr0dbi0zzgh3";
   };
 
   buildNativeInputs = [ yacc flex pkgconfig xz ];
@@ -15,5 +15,8 @@ stdenv.mkDerivation rec {
   meta = {
     description = "Compiler for the GObject type system";
     homepage = "http://live.gnome.org/Vala";
+    license = "free-copyleft";
+    platforms = stdenv.lib.platforms.all;
+    maintainers = [ stdenv.lib.maintainers.antono ];
   };
 }
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 64829164584..c22a40953ed 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -2500,7 +2500,13 @@ let
 
   urweb = callPackage ../development/compilers/urweb { };
 
-  vala = callPackage ../development/compilers/vala { };
+  vala14 = callPackage ../development/compilers/vala/14.2.nix { };
+
+  vala15 = callPackage ../development/compilers/vala/15.2.nix { };
+
+  vala16 = callPackage ../development/compilers/vala/16.1.nix { };
+
+  vala   = callPackage ../development/compilers/vala/default.nix { };
 
   visualcpp = callPackage ../development/compilers/visual-c++ { };
 

From 58738223ab0de7c8df5091f38b01161c194b3b9a Mon Sep 17 00:00:00 2001
From: Antono Vasiljev <self@antono.info>
Date: Mon, 25 Jun 2012 19:01:51 +0300
Subject: [PATCH 2/2] Rm vala 14 add versions

---
 pkgs/development/compilers/vala/14.2.nix    | 22 ---------------------
 pkgs/development/compilers/vala/15.2.nix    |  6 ++++--
 pkgs/development/compilers/vala/16.1.nix    |  6 ++++--
 pkgs/development/compilers/vala/default.nix |  6 ++++--
 pkgs/top-level/all-packages.nix             |  4 ++--
 5 files changed, 14 insertions(+), 30 deletions(-)
 delete mode 100644 pkgs/development/compilers/vala/14.2.nix

diff --git a/pkgs/development/compilers/vala/14.2.nix b/pkgs/development/compilers/vala/14.2.nix
deleted file mode 100644
index ffdf7b1aeb8..00000000000
--- a/pkgs/development/compilers/vala/14.2.nix
+++ /dev/null
@@ -1,22 +0,0 @@
-{stdenv, fetchurl, yacc, flex, pkgconfig, glib, xz}:
-
-stdenv.mkDerivation rec {
-  name = "vala-0.14.2";
-
-  src = fetchurl {
-    url = mirror://gnome/sources/vala/0.14/vala-0.14.2.tar.xz;
-    sha256 = "1l5kllw9vpwv24lzv9fp64l3sad46wpxgvsgryrwlrjg91w6jzl0";
-  };
-
-  buildNativeInputs = [ yacc flex pkgconfig xz ];
-
-  buildInputs = [ glib ];
-
-  meta = {
-    description = "Compiler for the GObject type system";
-    homepage = "http://live.gnome.org/Vala";
-    license = "free-copyleft";
-    platforms = stdenv.lib.platforms.all;
-    maintainers = [ stdenv.lib.maintainers.antono ];
-  };
-}
diff --git a/pkgs/development/compilers/vala/15.2.nix b/pkgs/development/compilers/vala/15.2.nix
index 55c61c3b321..822102b7bd4 100644
--- a/pkgs/development/compilers/vala/15.2.nix
+++ b/pkgs/development/compilers/vala/15.2.nix
@@ -1,10 +1,12 @@
 {stdenv, fetchurl, yacc, flex, pkgconfig, glib, xz}:
 
 stdenv.mkDerivation rec {
-  name = "vala-0.15.2";
+
+  version = "0.15.2";
+  name = "vala-${version}";
 
   src = fetchurl {
-    url = mirror://gnome/sources/vala/0.15/vala-0.15.2.tar.xz;
+    url = "mirror://gnome/sources/vala/0.15/${name}.tar.xz";
     sha256 = "0g71zq6dpqrw2f40wfzdf18fdw41ymr17laqniy2kr622hkxdi8w";
   };
 
diff --git a/pkgs/development/compilers/vala/16.1.nix b/pkgs/development/compilers/vala/16.1.nix
index 70422798075..54e6af8798d 100644
--- a/pkgs/development/compilers/vala/16.1.nix
+++ b/pkgs/development/compilers/vala/16.1.nix
@@ -1,10 +1,12 @@
 {stdenv, fetchurl, yacc, flex, pkgconfig, glib, xz}:
 
 stdenv.mkDerivation rec {
-  name = "vala-0.16.1";
+
+  version = "0.16.1";
+  name = "vala-${version}";
 
   src = fetchurl {
-    url = mirror://gnome/sources/vala/0.16/vala-0.16.1.tar.xz;
+    url = "mirror://gnome/sources/vala/0.16/${name}.tar.xz";
     sha256 = "1n708n9ixyy9qrzyv1wf4ybvcclx43ib9ki028wwpvkz6kv8zqlb";
   };
 
diff --git a/pkgs/development/compilers/vala/default.nix b/pkgs/development/compilers/vala/default.nix
index 12b01baf53d..a60a71e3580 100644
--- a/pkgs/development/compilers/vala/default.nix
+++ b/pkgs/development/compilers/vala/default.nix
@@ -1,10 +1,12 @@
 {stdenv, fetchurl, yacc, flex, pkgconfig, glib, xz}:
 
 stdenv.mkDerivation rec {
-  name = "vala-0.17.2";
+
+  version = "0.17.2";
+  name = "vala-${version}";
 
   src = fetchurl {
-    url = mirror://gnome/sources/vala/0.17/vala-0.17.2.tar.xz;
+    url = "mirror://gnome/sources/vala/0.17/${name}.tar.xz";
     sha256 = "09i2s0dwmrk147ind2dx7nq845g12fp6fsjqrphhrr0dbi0zzgh3";
   };
 
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index c22a40953ed..fbee8a05152 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -2500,13 +2500,13 @@ let
 
   urweb = callPackage ../development/compilers/urweb { };
 
-  vala14 = callPackage ../development/compilers/vala/14.2.nix { };
+  vala = vala17;
 
   vala15 = callPackage ../development/compilers/vala/15.2.nix { };
 
   vala16 = callPackage ../development/compilers/vala/16.1.nix { };
 
-  vala   = callPackage ../development/compilers/vala/default.nix { };
+  vala17 = callPackage ../development/compilers/vala/default.nix { };
 
   visualcpp = callPackage ../development/compilers/visual-c++ { };