diff options
| author | Alex Kost <alezost@gmail.com> | 2015-04-28 22:21:37 +0300 |
|---|---|---|
| committer | Alex Kost <alezost@gmail.com> | 2015-05-10 18:30:54 +0300 |
| commit | 6633f86b4941ec35bb4c328ec1e0b2bbfc41ad83 (patch) | |
| tree | 09e0eda652523a63580ef0cc779b142101e4d24c /gnu/packages/patches/tvtime-videodev2.patch | |
| parent | f0b98b848384f2957a1658a73f0ff20bcec38c23 (diff) | |
gnu: Add tvtime.
* gnu/packages/tv.scm,
gnu/packages/patches/tvtime-gcc41.patch,
gnu/packages/patches/tvtime-pngoutput.patch,
gnu/packages/patches/tvtime-videodev2.patch,
gnu/packages/patches/tvtime-xmltv.patch: New files.
* gnu-system.am (GNU_SYSTEM_MODULES): Add package.
(dist_patch_DATA): Add patches.
Diffstat (limited to 'gnu/packages/patches/tvtime-videodev2.patch')
| -rw-r--r-- | gnu/packages/patches/tvtime-videodev2.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gnu/packages/patches/tvtime-videodev2.patch b/gnu/packages/patches/tvtime-videodev2.patch new file mode 100644 index 0000000000..74131f25d0 --- /dev/null +++ b/gnu/packages/patches/tvtime-videodev2.patch @@ -0,0 +1,15 @@ +Fix compilation error: non-existing header file. + +This is an excerpt from the debian patch: +http://http.debian.net/debian/pool/main/t/tvtime/tvtime_1.0.2-14.diff.gz + +--- tvtime-1.0.2.orig/src/videodev2.h ++++ tvtime-1.0.2/src/videodev2.h +@@ -16,7 +16,6 @@ + #ifdef __KERNEL__ + #include <linux/time.h> /* need struct timeval */ + #endif +-#include <linux/compiler.h> /* need __user */ + + /* for kernel versions 2.4.26 and below: */ + #ifndef __user |