;;; .EnTete "Le-Lisp (c) version 15.2" " " "Recette I"
;;; .EnPied "lelisps.rec.ll" "%" " "
;;;
;;; .Titre "Recette 0"
;;; .nr % 1
;;;
;;; .Centre "*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*"
;;; .Centre " Ce fichier est en lecture seule hors du projet ALE de l'INRIA.  "
;;; .Centre " Il est maintenu par ILOG SA, 2 Avenue Gallie'ni, 94250 Gentilly "
;;; .Centre " (c) Le-Lisp est une marque de'pose'e de l'INRIA                 "
;;; .Centre "*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*"
;;;
;;; .Centre "$Header: lelispi.rec.ll,v 1.1 89/01/11 19:27:34 kuczynsk Exp $"

; ===============================================================
; Ce fichier est l'entre'e standard de la recette technique no 0
;                    "Du Systeme Interpre'te'"
; ===============================================================

(unless (>= (version) 15.2)
        (error 'load 'erricf 'lelispi.rec))

; Cette recette technique demande de passer les 3 fichiers 
; de recette suivants :
;         I - lelisps.rec
;         II - lelisp.rec
;         III - complice.rec
; C'est ge'ne'ralement fait en lancant les scripts-shell suivants :
;         % lelisps.rec  > lelisps.rec.log
;         % lelisp.rec   > lelisp.rec.log
;         % complice.rec > complice.rec.log
 
; ===============================================================
;         SEULES LES ERREURS D'ARRONDIS DES NOMBRES FLOTTANTS
;             PEUVENT APPARAITRE EN EXECUTANT CES TESTS
; ===============================================================

; Ce fichier suppose charge' le fichier initial "startup.ll"

(load-std  () t t t () ())
(df compile l)
(defun compiler l)
(defun compile-all-in-core ())
;;; .EnTete "Le-Lisp (c) version 15.2" " " "La recette technique"
;;; .EnPied "recette.ll" "%" " "
;;;
;;; .Titre "La recette technique"
;;; .nr % 1
;;;
;;; .Centre "*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-"
;;; .Centre "Ce fichier est en lecture seule hors du projet ALE de l'INRIA."
;;; .Centre "Il est maintenu par ILOG SA, 2 Avenue Gallieni, 94250 Gentilly"
;;; .Centre "(c) Le-Lisp est une marque de'pose'e de l'INRIA               "
;;; .Centre "*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-"
;;;
;;; .Centre "$Header: lelispi.rec.ll,v 1.1 89/01/11 19:27:34 kuczynsk Exp $"

; Ce fichier est l'entre'e standard de la recette technique Le-Lisp.

(unless (featurep 'date)
       (libload "date"))

; Pour diffe'rencier la pre'cision 32 bits et 64 bits
(add-feature (if (eq 0.0 0.0)
                 '31BITFLOATS
                 '64BITFLOATS))

(setq #:recette:n 0)

(de imprimetest (l)
    (terpri 2)
    (prin (incr #:recette:n))(prin l)
    (terpri 2))

(de printime ()
    (gc t)
    (print "; date: " (date) "  runtime: " (runtime))
    (print "; gcinfo: " (gcinfo))
    ())

(comline "ps -l")

(print)
(print "; gcinfo initial: " (gcinfo t))
(print)

(imprimetest "). Test de l'interpre`te")

(printime)
(libload "testfn" t)


(imprimetest "). Test de Lecture")

(printime)
(libload "testread" t)

(imprimetest "). Test d'Ecriture")

(printime)
(libload "testprint" t)

(imprimetest "). Test de Format")

(printime)
(unless (featurep 'format)
       (libload "format"))
(compile-all-in-core)
(libload "testformat" t)

(imprimetest "). Test de MicroCeyx")

(printime)
(libload "testmcx" t)
(compile-all-in-core)

;(imprimetest "). Test des nombres flottants")
;
;(printime)
;(libload "testfloat" t)
;(compile-all-in-core)

(imprimetest "). Test de l'arithme'tique ge'ne'rique")

(printime)
(libload "genr" t)
(compile-all-in-core)
(libload "testgenr" t)

(imprimetest "). Test des rationnels")

(printime)
(libload "ratio" t)
(compile-all-in-core)
(libload "testratio" t)

(imprimetest "). Test de Gabriel")

(printime)
(newl #:system:path (catenate #:system:directory 
			      "gabriel/"))

(libload "testgab" t)