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

5 files changed, 1 insertions, 226 deletions

diff --git a/test/cminor/Makefile b/test/cminor/Makefile
index bff498c..1d0af21 100644
--- a/test/cminor/Makefile
+++ b/test/cminor/Makefile
@@ -56,7 +56,7 @@ clean::
 	rm -f manyargs
 
 lists: lists.o mainlists.o
-	$(CC) $(CFLAGS) -o lists lists.o mainlists.o
+	$(CC) $(CFLAGS) -o lists lists.o mainlists.o -L../../runtime -lcompcert
 clean::
 	rm -f lists
 
diff --git a/test/lib/Makefile b/test/lib/Makefile
deleted file mode 100644
index 03ba69e..0000000
--- 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 28c9da4..0000000
--- a/test/lib/compcert_stdio.c
+++ /dev/null
@@ -1,128 +0,0 @@
-#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);
-}
diff --git a/test/lib/compcert_stdio.h b/test/lib/compcert_stdio.h
deleted file mode 100644
index 761a893..0000000
--- 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
diff --git a/test/lib/staticlib.S b/test/lib/staticlib.S
deleted file mode 100644
index 374c401..0000000
--- 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