diff options
Diffstat (limited to 'lang/mlton/files/patch-runtime_gc_int-inf.c')
| -rw-r--r-- | lang/mlton/files/patch-runtime_gc_int-inf.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/lang/mlton/files/patch-runtime_gc_int-inf.c b/lang/mlton/files/patch-runtime_gc_int-inf.c new file mode 100644 index 000000000000..fd325e159ead --- /dev/null +++ b/lang/mlton/files/patch-runtime_gc_int-inf.c @@ -0,0 +1,13 @@ +--- runtime/gc/int-inf.c.orig 2010-06-11 06:35:14.000000000 -0700 ++++ runtime/gc/int-inf.c 2013-02-17 15:45:47.000000000 -0800 +@@ -6,6 +6,10 @@ + * See the file MLton-LICENSE for details. + */ + ++#ifndef __gmp_const ++# define __gmp_const const ++#endif ++ + /* + * Test if a intInf is a fixnum. + */
\ No newline at end of file |