summaryrefslogtreecommitdiffstats
path: root/release.nix
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2012-12-04 19:16:38 (GMT)
committerEelco Dolstra <eelco.dolstra@logicblox.com>2012-12-04 19:16:38 (GMT)
commit8dba0ae9d705d13c47114120660f706357e78cf4 (patch)
tree6bc5f834ace5dc647b1f80680468e81b1a697f2e /release.nix
parent1c057cd107ed2d58d368177b5f30e01206c6d5cf (diff)
downloadpatchelf-8dba0ae9d705d13c47114120660f706357e78cf4.zip
patchelf-8dba0ae9d705d13c47114120660f706357e78cf4.tar.gz
patchelf-8dba0ae9d705d13c47114120660f706357e78cf4.tar.bz2
Build on Ubuntu 12.10
Diffstat (limited to 'release.nix')
-rw-r--r--release.nix12
1 files changed, 7 insertions, 5 deletions
diff --git a/release.nix b/release.nix
index 16d6b2e..7ee1680 100644
--- a/release.nix
+++ b/release.nix
@@ -57,21 +57,21 @@ let
rpm_fedora13x86_64 = makeRPM_x86_64 (diskImages: diskImages.fedora13x86_64) 50;
rpm_fedora16i386 = makeRPM_i686 (diskImages: diskImages.fedora16i386) 60;
rpm_fedora16x86_64 = makeRPM_x86_64 (diskImages: diskImages.fedora16x86_64) 60;
-
+
rpm_opensuse103i386 = makeRPM_i686 (diskImages: diskImages.opensuse103i386) 40;
rpm_opensuse110i386 = makeRPM_i686 (diskImages: diskImages.opensuse110i386) 30;
rpm_opensuse110x86_64 = makeRPM_x86_64 (diskImages: diskImages.opensuse110x86_64) 30;
rpm_opensuse111i386 = makeRPM_i686 (diskImages: diskImages.opensuse111i386) 40;
rpm_opensuse111x86_64 = makeRPM_x86_64 (diskImages: diskImages.opensuse111x86_64) 40;
-
+
deb_debian40i386 = makeDeb_i686 (diskImages: diskImages.debian40i386) 40;
deb_debian40x86_64 = makeDeb_x86_64 (diskImages: diskImages.debian40x86_64) 40;
deb_debian50i386 = makeDeb_i686 (diskImages: diskImages.debian50i386) 50;
deb_debian50x86_64 = makeDeb_x86_64 (diskImages: diskImages.debian50x86_64) 50;
deb_debian60i386 = makeDeb_i686 (diskImages: diskImages.debian60i386) 60;
deb_debian60x86_64 = makeDeb_x86_64 (diskImages: diskImages.debian60x86_64) 60;
-
+
deb_ubuntu804i386 = makeDeb_i686 (diskImages: diskImages.ubuntu804i386) 20;
deb_ubuntu804x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu804x86_64) 20;
deb_ubuntu810i386 = makeDeb_i686 (diskImages: diskImages.ubuntu810i386) 30;
@@ -88,11 +88,13 @@ let
deb_ubuntu1110x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu1110x86_64) 70;
deb_ubuntu1204i386 = makeDeb_i686 (diskImages: diskImages.ubuntu1204i386) 70;
deb_ubuntu1204x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu1204x86_64) 70;
+ deb_ubuntu1210i386 = makeDeb_i686 (diskImages: diskImages.ubuntu1210i386) 80;
+ deb_ubuntu1210x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu1210x86_64) 80;
};
-
+
makeRPM_i686 = makeRPM "i686-linux";
makeRPM_x86_64 = makeRPM "x86_64-linux";
@@ -111,7 +113,7 @@ let
makeDeb_i686 = makeDeb "i686-linux";
makeDeb_x86_64 = makeDeb "x86_64-linux";
-
+
makeDeb =
system: diskImageFun: prio: