diff options
Diffstat (limited to 'dev-lang/mozart/files')
| -rw-r--r-- | dev-lang/mozart/files/mozart-1.4.0-cstdio.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/dev-lang/mozart/files/mozart-1.4.0-cstdio.patch b/dev-lang/mozart/files/mozart-1.4.0-cstdio.patch new file mode 100644 index 000000000000..a74b686816cd --- /dev/null +++ b/dev-lang/mozart/files/mozart-1.4.0-cstdio.patch @@ -0,0 +1,10 @@ +--- mozart-1.4.0.20080704.orig/platform/emulator/value.hh 2008-06-27 01:39:31.000000000 +1200 ++++ mozart-1.4.0.20080704/platform/emulator/value.hh 2008-08-24 09:24:46.000000000 +1200 +@@ -284,6 +284,7 @@ + // #include <math.h> + #include <limits.h> + ++#include <cstdio> + #ifndef GMP_NEEDS_CPLUSPLUS + extern "C" { + #endif |