pkgs/applications/video/vlc/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

{ stdenv, fetchurl, x11, wxGTK, libdvdcss, libdvdplay
, mpeg2dec, a52dec, libmad, alsa}:

assert !isNull x11 && !isNull wxGTK && !isNull libdvdcss
  && !isNull libdvdplay && !isNull mpeg2dec && !isNull a52dec
  && !isNull libmad && !isNull alsa;
assert libdvdplay.libdvdread.libdvdcss == libdvdcss;

derivation {
  name = "vlc-0.7.0";
  system = stdenv.system;

  builder = ./builder.sh;
  src = fetchurl {
    url = http://download.videolan.org/pub/videolan/vlc/0.7.0/vlc-0.7.0.tar.gz;
    md5 = "05efef68528892ca933585c7db0842e3";
  };

  stdenv = stdenv;
  x11 = x11;
  wxGTK = wxGTK;
  libdvdcss = libdvdcss;
  libdvdplay = libdvdplay;
  libdvdread = libdvdplay.libdvdread;
  mpeg2dec = mpeg2dec;
  a52dec = a52dec;
  libmad = libmad;
  alsa = alsa;
}