UE Conception de Langages -- Octobre 2007
Fichier: LISEZMOI

Application 'sem'
=================

 Evaluateur pour les programmes d'un langage fonctionnel
 et impratif bas sur leur smantique dnotationnelle. 
 Le langage est dcrit dans la documentation contenue
 dans le fichier reference.pdf.

Fichiers sources composant l'application
========================================

 lb_type.ml
 lb_eval.ml 

 lb_utils.ml

 lsrc_ast.ml
 lsrc_lexer.mll
 lsrc_parser.mly
 lsrc_sem.ml
 sem.ml

Documentation
=============

 ce fichier (LISEZMOI)
 reference.pdf

Fichiers d'exemples du langage trait
=====================================

 ex*.src

Compilation de l'application
============================

 L'application est dveloppe en ocaml. Sa compilation ncessite que soient
 installs:
   ocamlc
   ocamlyacc
   ocamllex

 Voir le fichier Makefile pour plus de dtail.

 Pour obtenir l'excutable (ocamlrun byte-code) sem, tapez:

   make sem

 Pour dtruire les fichiers intermdiaires engendrs lors de la compilation,
 tapez:
   
   make clean

 Pour ne conserver que les sources, tapez

   make cleanall

Utilisation
===========

 ./sem <fichier_source>
