Project

General

Profile

« Previous | Next » 

Revision b2e2b4d8

Added by Eric Noulard over 6 years ago

prepare lustrec 1.1

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@471 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/options.ml
13 13
let include_path = Version.include_path
14 14

  
15 15
let print_version () =
16
  Format.printf "Lustrec compiler, version %s (dev)@." version;
16
  Format.printf "Lustrec compiler, version %s (Xia/Qi)@." version;
17 17
  Format.printf "Include directory: %s@." include_path
18 18

  
19 19
let main_node = ref ""

Also available in: Unified diff