blob: c2b49558342ca1998837f83a9e5268f06e607116 (
plain) (
blame)
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
30
31
32
33
34
|
--- src/gifread.c.orig 2011-06-22 18:04:32 UTC
+++ src/gifread.c
@@ -140,7 +140,11 @@ value dGifOpenFileName( value name )
GifFileType *GifFile;
int i;
+#if GIFLIB_MAJOR >= 5
+ if((GifFile = DGifOpenFileName( String_val(name), NULL )) == NULL){
+#else
if((GifFile = DGifOpenFileName( String_val(name) )) == NULL){
+#endif
failwith("DGifOpenFileName");
}
@@ -161,7 +165,11 @@ value dGifCloseFile( value hdl )
segmentation faults */
((GifFileType *)hdl)->Image.ColorMap = NULL;
+#if GIFLIB_MAJOR == 5 && GIFLIB_MINOR >= 1 || GIFLIB_MAJOR > 5
+ DGifCloseFile( (GifFileType *) hdl, NULL );
+#else
DGifCloseFile( (GifFileType *) hdl );
+#endif
CAMLreturn(Val_unit);
}
@@ -200,7 +208,6 @@ value dGifGetLine( value hdl )
if( DGifGetLine(GifFile, String_val(buf), GifFile->Image.Width )
== GIF_ERROR ){
- PrintGifError ();
failwith("DGifGetLine");
}
CAMLreturn(buf);
|
