diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2007-08-06 08:45:25 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2007-08-06 08:45:25 +0000 |
commit | 94aea0609bb54f0fde29a558366b646b3b8d21a2 (patch) | |
tree | 2c81bb38c04b6ca50dd8588681fe68baa71a237a /test/lib/compcert_stdio.h | |
parent | c0bc146622528e3d52534909f5ae5cd2e375da8f (diff) | |
download | compcert-94aea0609bb54f0fde29a558366b646b3b8d21a2.tar.gz compcert-94aea0609bb54f0fde29a558366b646b3b8d21a2.zip |
Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu Makefiles
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@387 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/lib/compcert_stdio.h')
-rw-r--r-- | test/lib/compcert_stdio.h | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/test/lib/compcert_stdio.h b/test/lib/compcert_stdio.h deleted file mode 100644 index 761a8935..00000000 --- a/test/lib/compcert_stdio.h +++ /dev/null @@ -1,62 +0,0 @@ -#include <stdio.h> - -typedef struct compcert_FILE_ { void * f; } compcert_FILE; - -extern compcert_FILE * compcert_stdin; -extern compcert_FILE * compcert_stdout; -extern compcert_FILE * compcert_stderr; -extern void compcert_clearerr(compcert_FILE *); -extern int compcert_fclose(compcert_FILE *); -extern int compcert_feof(compcert_FILE *); -extern int compcert_ferror(compcert_FILE *); -extern int compcert_fflush(compcert_FILE *); -extern int compcert_fgetc(compcert_FILE *); -extern char *compcert_fgets(char * , int, compcert_FILE *); -extern compcert_FILE *compcert_fopen(const char * , const char * ); -extern int compcert_fprintf(compcert_FILE * , const char * , ...); -extern int compcert_fputc(int, compcert_FILE *); -extern int compcert_fputs(const char * , compcert_FILE * ); -extern size_t compcert_fread(void * , size_t, size_t, compcert_FILE * ); -extern compcert_FILE *compcert_freopen(const char * , const char * , - compcert_FILE * ); -extern int compcert_fscanf(compcert_FILE * , const char * , ...); -extern int compcert_fseek(compcert_FILE *, long, int); -extern long compcert_ftell(compcert_FILE *); -extern size_t compcert_fwrite(const void * , size_t, size_t, compcert_FILE * ); -extern int compcert_getc(compcert_FILE *); -extern int compcert_putc(int, compcert_FILE *); -extern void compcert_rewind(compcert_FILE *); -extern int compcert_ungetc(int, compcert_FILE *); -extern int compcert_vfprintf(compcert_FILE *, const char *, va_list); - -#ifndef INSIDE_COMPCERT_COMPATIBILITY_LIBRARY -#define FILE compcert_FILE -#undef stdin -#define stdin compcert_stdin -#undef stdout -#define stdout compcert_stdout -#undef stderr -#define stderr compcert_stderr -#define clearerr compcert_clearerr -#define fclose compcert_fclose -#define feof compcert_feof -#define ferror compcert_ferror -#define fflush compcert_fflush -#define fgetc compcert_fgetc -#define fgets compcert_fgets -#define fopen compcert_fopen -#define fprintf compcert_fprintf -#define fputc compcert_fputc -#define fputs compcert_fputs -#define fread compcert_fread -#define freopen compcert_freopen -#define fscanf compcert_fscanf -#define fseek compcert_fseek -#define ftell compcert_ftell -#define fwrite compcert_fwrite -#define getc compcert_getc -#define putc compcert_putc -#define rewind compcert_rewind -#define ungetc compcert_ungetc -#define vfprintf compcert_vfprintf -#endif |