diff options
Diffstat (limited to 'lang/moscow_ml/patches/patch-ai')
| -rw-r--r-- | lang/moscow_ml/patches/patch-ai | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/lang/moscow_ml/patches/patch-ai b/lang/moscow_ml/patches/patch-ai new file mode 100644 index 00000000000..11b7a11758d --- /dev/null +++ b/lang/moscow_ml/patches/patch-ai @@ -0,0 +1,17 @@ +--- runtime/fail.c.orig Fri Jul 4 08:52:34 1997 ++++ runtime/fail.c Mon Feb 16 21:31:37 1998 +@@ -1,7 +1,14 @@ + /* Raising exceptions from C. */ + ++#if (defined(__unix__) || defined(unix)) && !defined(USG) ++#include <sys/param.h> ++#endif ++ + #if defined(__MWERKS__) || defined(__CYGWIN32__) + #define MAXDOUBLE 1.7976931348623157081e+308 ++#elif (defined(BSD) && BSD >= 199306) ++#include <float.h> ++#define MAXDOUBLE DBL_MAX + #else + #include <values.h> + #endif |