(*
 Oukseh Lee

 Copyright(c) 2000-2004 KAIST/SNU Research On Program Analysis System
 (National Creative Research Initiative Center 1998-2003)
 http://ropas.snu.ac.kr/n

 All rights reserved. This file is distributed under the terms of
 an Open Source License.
*)

open Format

let version = "0.92b"
let interface_suffix = ref ".ni"
let updatedate = "2004/04/19"
let programmer = "H. Eo, J. Kim, and O. Lee"


type lang = Eng | Kor | Tough
let lang = ref Kor


let print_header () =
  match !lang with
    Eng -> printf "nML compiler %s (built on %s)@." version updatedate 
  | Kor -> printf "nML ÄÄÆÄÀÏ·¯ %s (%s)@." version updatedate
  | Tough -> printf "nML ²­»¡·¯¯ %s (%s)@." version updatedate

let print_opt_header () =
  match !lang with 
    Eng -> printf "nML native-code compiler %s (built on %s)@." version updatedate 
  | Kor -> printf "nML ±â°è¾î ÄÄÆÄÀÏ·¯ %s (%s)@." version updatedate
  | Tough -> printf "nML ºü¸¥ ÄÚµå ²­»¡·¯ %s (%s)@." version updatedate

let print_full_header () =
  print_header();
  match !lang with
  | Kor | Tough ->
      printf "  @[Copyright(c) 2000-2004 KAIST/SNU ÇÁ·Î±×·¥ ºÐ¼® ½Ã½ºÅÛ ¿¬±¸´Ü@\n";
	  printf "(°ú±âºÎ âÀÇÀû ¿¬±¸ÁøÈï»ç¾÷ 1998-2003)@\n";
	  printf "http://ropas.snu.ac.kr/n@\n";
	  printf "Objective Caml 3.04 Äڵ带 ±â¹ÝÀ¸·Î ÀÛ¼º@."
  | Eng ->
      printf "  @[Copyright(c) 2000-2002 Research On Program Analysis System, SNU@\n";
      printf "National Creative Research Initiative Center 1998-2003@\n";
      printf "http://ropas.snu.ac.kr/n@\n";
      printf "Based on Objective Caml 3.04 Code@."



(*
let print_header () =
  printf "nML ÄÄÆÄÀÏ·¯ %s (Á¦ÀÛÀÏ: %s)@." version updatedate

let print_full_header () =
  print_header();
  printf "  Copyright(c) 2000-2001 KAIST ÇÁ·Î±×·¥ ºÐ¼® ½Ã½ºÅÛ ¿¬±¸´Ü\n";
  printf "  (°ú±âºÎ âÀÇÀû ¿¬±¸ÁøÈï»ç¾÷ÀÇ Áö¿ø)\n";
  printf "  Objectivel Caml 3.01 Äڵ带 ±â¹ÝÀ¸·Î ÀÛ¼º@.";
*)