2012-11-07 21:10:39 +01:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
2013-07-31 18:56:27 +02:00
|
|
|
cat > sysimages.nix << "EOF"
|
2015-05-02 15:15:29 +02:00
|
|
|
# This file is generated from generate-sysimages.sh. DO NOT EDIT.
|
|
|
|
# Execute generate-sysimages.sh or fetch.sh to update the file.
|
2013-07-31 18:56:27 +02:00
|
|
|
{stdenv, fetchurl, unzip}:
|
|
|
|
|
|
|
|
let
|
|
|
|
buildSystemImage = args:
|
|
|
|
stdenv.mkDerivation (args // {
|
|
|
|
buildInputs = [ unzip ];
|
|
|
|
buildCommand = ''
|
|
|
|
mkdir -p $out
|
|
|
|
cd $out
|
|
|
|
unzip $src
|
|
|
|
'';
|
|
|
|
});
|
|
|
|
in
|
|
|
|
{
|
|
|
|
EOF
|
|
|
|
|
2014-09-02 19:18:30 +02:00
|
|
|
xsltproc generate-sysimages.xsl sys-img.xml >> sysimages.nix
|
2013-07-31 18:56:27 +02:00
|
|
|
|
|
|
|
cat >> sysimages.nix << "EOF"
|
|
|
|
}
|
|
|
|
EOF
|