File: loadall.ml

package info (click to toggle)
ocaml-doc 3.09-1
  • links: PTS
  • area: non-free
  • in suites: etch, etch-m68k
  • size: 10,428 kB
  • ctags: 4,963
  • sloc: ml: 9,244; makefile: 2,413; ansic: 122; sh: 49; asm: 17
file content (47 lines) | stat: -rw-r--r-- 1,642 bytes parent folder | download | duplicates (2)
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
(***********************************************************************)
(*                                                                     *)
(*                           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 run_command com f =
 match Sys.command (com ^ " " ^ f) with
 | 0 -> ()
 | _ -> failwith (Printf.sprintf "Cannot succeed to run ``%s %s''" com f);;

let compile f = run_command "ocamlc -c" f;;

compile "code.mli";;
compile "code.ml";;
#load "code.zo";;
compile "simul.mli";;
compile "simul.ml";;
#load "simul.zo";;
compile "exec.ml";;
#load "exec.zo";;
compile "stockage.mli";;
compile "stockage.ml";;
#load "stockage.zo";;
compile "lexuniv.mli";;
compile "lexuniv.ml";;
#load "lexuniv.zo";;
compile "lecture.mli";;
compile "lecture.ml";;
#load "lecture.zo";;
compile "asm.ml";;
#load "asm.zo";;

open Exec;;
open Asm;;

print_string
"Pour assembler un fichier:
     assemble_fichier \"fichier source\" \"fichier rsultat\"
Pour executer le fichier produit:
     excute_fichier \"fichier rsultat\" 4096";
print_newline();;