1
(***********************************************************************)
5
(* Pierre Weis, projet Cristal, INRIA Rocquencourt *)
7
(* Copyright 2001 Institut National de Recherche en Informatique et *)
8
(* en Automatique. All rights reserved. This file is distributed *)
9
(* only by permission. *)
11
(***********************************************************************)
13
match Sys.command ("ocamlc -c " ^ f) with
15
| _ -> failwith ("Cannot compile " ^ f);;
17
compile "syntaxe.mli";;
23
compile "lexuniv.mli";;
24
compile "lexuniv.ml";;
27
compile "syntaxe.ml";;
34
compile "synthese.mli";;
35
compile "synthese.ml";;
36
#load "synthese.cmo";;
43
"Pour lancer: boucle();;\n\
44
Essayez par exemple:\n\
46
function x -> if x <= 1 then 1 else fib (x - 1) + fib (x - 2);;";