--- rpl/src/rpl.h	2010/01/26 15:22:44	1.1.1.1
+++ rpl/src/rpl.h	2010/03/04 10:17:55	1.12
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.9
+  RPL/2 (R) version 4.0.12
   Copyright (C) 1989-2010 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -22,7 +22,12 @@
 
 #ifndef INCLUSION_RPL
 #define INCLUSION_RPL
+
 #define _GNU_SOURCE
+#define _REENTRANT
+
+// Nécessaire pour les systèmes qui ne comprennent pas _GNU_SOURCE
+#define _XOPEN_SOURCE 500
 
 /*
 ================================================================================
@@ -276,6 +281,17 @@ typedef unsigned char			t_8_bits;
 		__VA_ARGS__; fflush(stdout); \
 		pthread_kill(pthread_self(), SIGBUS); }} while(0)
 
+#define NOTICE(m) \
+	do \
+	{ \
+		ufprintf(stderr, "[%d-%llu] %s() from %s at line %d: %s\n", \
+				getpid(), (unsigned long long) pthread_self(), \
+			   	__FUNCTION__, __FILE__, __LINE__, m); \
+		fflush(stderr); \
+	} while(0)
+
+#ifdef __GLIBC__
+#include <execinfo.h>
 #define BACKTRACE(n) \
 	do \
 	{ \
@@ -300,15 +316,9 @@ typedef unsigned char			t_8_bits;
 		fflush(stdout); \
 		pthread_mutex_unlock(&mutex); \
 	} while(0)
-
-#define NOTICE(m) \
-	do \
-	{ \
-		ufprintf(stderr, "[%d-%llu] %s() from %s at line %d: %s\n", \
-				getpid(), pthread_self(), __FUNCTION__, __FILE__, __LINE__, \
-				m); \
-		fflush(stderr); \
-	} while(0)
+#else
+#define BACKTRACE(n) NOTICE("BACKTRACE only defined in glibc")
+#endif
 
 
 /*
@@ -317,10 +327,24 @@ typedef unsigned char			t_8_bits;
 ================================================================================
 */
 
+#ifdef DEBUG_MEMOIRE
+void *debug_memoire_ajout(size_t taille, const unsigned char *fonction,
+		unsigned long ligne, const unsigned char *argument);
+void *debug_memoire_modification(void *pointeur, size_t taille,
+		const unsigned char *fonction, unsigned long ligne,
+		const unsigned char *argument);
+void debug_memoire_retrait(void *ptr);
+
+#define malloc(s) debug_memoire_ajout(s, __FUNCTION__, __LINE__, #s)
+#define free(s) debug_memoire_retrait(s)
+#define realloc(s, t) debug_memoire_modification(s, t, \
+			__FUNCTION__, __LINE__, #t)
+#endif
+
 #ifdef DEBUG_RETURN
 #define return uprintf("[%d] Return from <%s()> at line #%d " \
 		"(%s [%d])\n", (int) getpid(), __FUNCTION__, \
-		__LINE__, strerror(errno), errno); fflush(stdout); errno=0; return
+		__LINE__, strerror(errno), errno); fflush(stdout); errno = 0; return
 #endif
 
 #ifdef DEBUG_MUTEX
@@ -1331,8 +1355,10 @@ typedef struct processus
 	unsigned char				*nom_fichier_source;
 	unsigned char				*nom_fichier_historique;
 
+	unsigned char				autorisation_conversion_chaine;		/*Y/N*/
 	unsigned char				autorisation_empilement_programme;	/*Y/N*/
 	unsigned char				autorisation_evaluation_nom;		/*Y/N*/
+	unsigned char				evaluation_forcee;					/*Y/N*/
 	unsigned char				instruction_valide;					/*Y/N*/
 	unsigned char				instruction_intrinseque;			/*Y/I/N*/
 	unsigned char				test_instruction;					/*Y/N*/
@@ -1343,7 +1369,6 @@ typedef struct processus
 	unsigned char				mode_interactif;					/*Y/N*/
 	unsigned char				mode_evaluation_expression;			/*Y/N*/
 	unsigned char				traitement_cycle_exit;				/*N/E/C*/
-	unsigned char				recherche_types_speciaux;			/*Y/N*/
 
 	unsigned long				position_courante;
 	unsigned long				longueur_definitions_chainees;
@@ -1395,7 +1420,12 @@ typedef struct processus
 	pthread_t					thread_fusible;
 	pthread_t					thread_surveille_par_fusible;
 
+#	ifndef Cygwin
 	stack_t						pile_signal;
+#	else
+#	define SA_ONSTACK			0
+#	define RTLD_LOCAL			0
+#	endif
 
 /* Contextes											*/
 
@@ -2355,6 +2385,7 @@ void conversion_hms_vers_decimal(real8 *
 void conversion_radians_vers_degres(real8 *angle);
 void correction_formateur_tex(struct_processus *s_etat_processus,
 		unsigned char **ligne);
+void debug_memoire_verification(struct_processus *s_etat_processus);
 void depilement_pile_systeme(struct_processus *s_etat_processus);
 void derivation(struct_processus *s_etat_processus,
 		struct_objet **s_expression);
@@ -2673,10 +2704,14 @@ inline ssize_t write_atomic(struct_proce
 --------------------------------------------------------------------------------
 */
 
-int wrapper_instruction_intrinseque(void (*fonction)(),
-		struct_rpl_arguments *rpl_arguments);
+int alsprintf(unsigned char **strp, const char *fmt, ...);
+int tex_fprintf(struct_processus *s_etat_processus,
+		file *flux, const char *format, ...);
 int transliterated_fprintf(struct_processus *s_etat_processus, file *flux,
 		const char *format, ...);
+int valsprintf(unsigned char **strp, const char *fmt, va_list ap);
+int wrapper_instruction_intrinseque(void (*fonction)(),
+		struct_rpl_arguments *rpl_arguments);
 
 /*
 --------------------------------------------------------------------------------