[MLton-commit] r6207

[Vesa Karvonen]

Fixed FFI generation.
----------------------------------------------------------------------

U   mltonlib/trunk/org/mlton/vesak/sdl/unstable/Generate-FFI.sh
U   mltonlib/trunk/org/mlton/vesak/sdl/unstable/detail/config/x86-linux.h

----------------------------------------------------------------------

Modified: mltonlib/trunk/org/mlton/vesak/sdl/unstable/Generate-FFI.sh
===================================================================
--- mltonlib/trunk/org/mlton/vesak/sdl/unstable/Generate-FFI.sh	2007-11-26 16:21:35 UTC (rev 6206)
+++ mltonlib/trunk/org/mlton/vesak/sdl/unstable/Generate-FFI.sh	2007-11-26 20:43:58 UTC (rev 6207)
@@ -59,10 +59,10 @@
 ##########################################################################
 # Generate ML-NLFFI
 
-#mlnlffigen -linkage static                             \
-#           -dir $outdir                                \
-#           -cppopt "-include detail/config/$target.h"  \
-#           $headers
+mlnlffigen -linkage static                             \
+           -dir $outdir                                \
+           -cppopt "-include detail/config/$target.h"  \
+           $headers
 
 ##########################################################################
 # Generate #define constants

Modified: mltonlib/trunk/org/mlton/vesak/sdl/unstable/detail/config/x86-linux.h
===================================================================
--- mltonlib/trunk/org/mlton/vesak/sdl/unstable/detail/config/x86-linux.h	2007-11-26 16:21:35 UTC (rev 6206)
+++ mltonlib/trunk/org/mlton/vesak/sdl/unstable/detail/config/x86-linux.h	2007-11-26 20:43:58 UTC (rev 6207)
@@ -8,6 +8,7 @@
 #define _SDL_endian_h
 
 #include <stddef.h>
+#include <stdint.h>
 #include <sys/types.h>
 
 #include <SDL/SDL_config.h>
@@ -28,9 +29,3 @@
 #undef HAVE_SYS_TYPES_H
 
 #undef HAVE_ICONV
-
-typedef unsigned char       uint8_t;
-typedef unsigned short      uint16_t;
-typedef unsigned int        uint32_t;
-typedef          long long  int64_t;
-typedef unsigned long long  uint64_t;