1 files changed, 128 insertions, 0 deletions
diff --git a/test/lib/compcert_stdio.c b/test/lib/compcert_stdio.c
new file mode 100644
index 00000000..28c9da4c
--- /dev/null
+++ b/test/lib/compcert_stdio.c
@@ -0,0 +1,128 @@
+#include <stdarg.h>
+#define INSIDE_COMPCERT_COMPATIBILITY_LIBRARY
+#include "compcert_stdio.h"
+
+compcert_FILE * compcert_stdin = (compcert_FILE *) stdin;
+compcert_FILE * compcert_stdout = (compcert_FILE *) stdout;
+compcert_FILE * compcert_stderr = (compcert_FILE *) stderr;
+
+void	 compcert_clearerr(compcert_FILE * f)
+{
+  clearerr((FILE *) f);
+}
+
+int	 compcert_fclose(compcert_FILE * f)
+{
+  return fclose((FILE *) f);
+}
+
+int	 compcert_feof(compcert_FILE * f)
+{
+  return feof((FILE *) f);
+}
+
+int	 compcert_ferror(compcert_FILE * f)
+{
+  return ferror((FILE *) f);
+}
+
+int	 compcert_fflush(compcert_FILE * f)
+{
+  return fflush((FILE *) f);
+}
+
+int	 compcert_fgetc(compcert_FILE * f)
+{
+  return fgetc((FILE *) f);
+}
+
+char	*compcert_fgets(char * s, int n, compcert_FILE * f)
+{
+  return fgets(s, n, (FILE *) f);
+}
+
+compcert_FILE	*compcert_fopen(const char * p, const char * m)
+{
+  return (compcert_FILE *) fopen(p, m);
+}
+
+int	 compcert_fprintf(compcert_FILE * f, const char * s, ...)
+{
+  va_list ap;
+  int retcode;
+  va_start(ap, s);
+  retcode = vfprintf((FILE *) f, s, ap);
+  va_end(ap);
+  return retcode;
+}
+
+int	 compcert_fputc(int c, compcert_FILE * f)
+{
+  return fputc(c, (FILE *) f);
+}
+
+int	 compcert_fputs(const char * s, compcert_FILE * f)
+{
+  return fputs(s, (FILE *) f);
+}
+
+size_t	 compcert_fread(void * s, size_t p, size_t q, compcert_FILE * f)
+{
+  return fread(s, p, q, (FILE *) f);
+}
+
+compcert_FILE	*compcert_freopen(const char * s, const char * m,
+                                  compcert_FILE * f)
+{
+  return (compcert_FILE *) freopen(s, m, (FILE *) f);
+}
+
+int	 compcert_fscanf(compcert_FILE * f, const char * s, ...)
+{
+  va_list ap;
+  int retcode;
+  va_start(ap, s);
+  retcode = vfscanf((FILE *) f, s, ap);
+  va_end(ap);
+  return retcode;
+}
+
+int	 compcert_fseek(compcert_FILE * f, long p, int q)
+{
+  return fseek((FILE *) f, p, q);
+}
+
+long	 compcert_ftell(compcert_FILE *f)
+{
+  return ftell((FILE *) f);
+}
+
+size_t	 compcert_fwrite(const void * b, size_t p, size_t q, compcert_FILE * f)
+{
+  return fwrite(b, p, q, (FILE *) f);
+}
+
+int	 compcert_getc(compcert_FILE * f)
+{
+  return getc((FILE *) f);
+}
+
+int	 compcert_putc(int c , compcert_FILE * f)
+{
+  return putc(c, (FILE *) f);
+}
+
+void	 compcert_rewind(compcert_FILE * f)
+{
+  rewind((FILE *) f);
+}
+
+int	 compcert_ungetc(int c, compcert_FILE * f)
+{
+  return ungetc(c, (FILE *) f);
+}
+
+int	 compcert_vfprintf(compcert_FILE * f, const char * s, va_list va)
+{
+  return vfprintf((FILE *) f, s, va);
+}