1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
(***********************************************************************)
(* *)
(* Objective Caml *)
(* *)
(* Pierre Weis, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 2001 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* only by permission. *)
(* *)
(***********************************************************************)
let compile f =
match Sys.command ("ocamlc -c " ^ f) with
| 0 -> ()
| _ -> failwith ("Cannot compile " ^ f);;
compile "syntaxe.mli";;
compile "eval.mli";;
compile "eval.ml";;
#load "eval.cmo";;
compile "lexuniv.mli";;
compile "lexuniv.ml";;
#load "lexuniv.cmo";;
compile "syntaxe.ml";;
#load "syntaxe.cmo";;
compile "types.mli";;
compile "types.ml";;
#load "types.cmo";;
compile "synthese.mli";;
compile "synthese.ml";;
#load "synthese.cmo";;
compile "caml.ml";;
#load "caml.cmo";;
open Caml;;
print_string
"Pour lancer: boucle();;\n\
Essayez par exemple:\n\
let rec fib =\n\
function x -> if x <= 1 then 1 else fib (x - 1) + fib (x - 2);;";
print_newline();;
|
