From 94aea0609bb54f0fde29a558366b646b3b8d21a2 Mon Sep 17 00:00:00 2001 From: xleroy Date: Mon, 6 Aug 2007 08:45:25 +0000 Subject: 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 --- test/lib/Makefile | 8 --- test/lib/compcert_stdio.c | 128 ---------------------------------------------- test/lib/compcert_stdio.h | 62 ---------------------- test/lib/staticlib.S | 27 ---------- 4 files changed, 225 deletions(-) delete mode 100644 test/lib/Makefile delete mode 100644 test/lib/compcert_stdio.c delete mode 100644 test/lib/compcert_stdio.h delete mode 100644 test/lib/staticlib.S (limited to 'test/lib') diff --git a/test/lib/Makefile b/test/lib/Makefile deleted file mode 100644 index 03ba69eb..00000000 --- a/test/lib/Makefile +++ /dev/null @@ -1,8 +0,0 @@ -CFLAGS=-arch ppc -O1 -g -Wall -OBJS=compcert_stdio.o -LIB=libcompcert.a - -$(LIB): $(OBJS) - ar rcs $(LIB) $(OBJS) - -compcert_stdio.o: compcert_stdio.h diff --git a/test/lib/compcert_stdio.c b/test/lib/compcert_stdio.c deleted file mode 100644 index 28c9da4c..00000000 --- a/test/lib/compcert_stdio.c +++ /dev/null @@ -1,128 +0,0 @@ -#include -#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); -} 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 - -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 diff --git a/test/lib/staticlib.S b/test/lib/staticlib.S deleted file mode 100644 index 374c4016..00000000 --- a/test/lib/staticlib.S +++ /dev/null @@ -1,27 +0,0 @@ -/* Work around MacOX shared-library lossage. - (No static version of the C library.) */ - -.macro GLUE - .text - .globl _$0_static -_$0_static: - addis r11, 0, ha16(L$0) - lwz r11, lo16(L$0)(r11) - mtctr r11 - bctr - .non_lazy_symbol_pointer -L$0: - .indirect_symbol _$0 - .long 0 -.endmacro - - GLUE cos - GLUE sin - GLUE atan2 - GLUE asin - GLUE sqrt - GLUE fmod - GLUE fabs - GLUE memcpy - GLUE memset - \ No newline at end of file -- cgit