CristalCaveGem » LustreC

	fprintf fmt "#include <mpfr.h>@."

      end;

  if !Options.cpp then

  else

  end

let print_main_header fmt =

  fprintf fmt (if !Options.cpp then "#include <stdio.h>@.#include <unistd.h>@.#include \"%s/io_frontend.hpp\"@." else "#include <stdio.h>@.#include <unistd.h>@.#include \"%s/io_frontend.h\"@.")

let print_main_c main_fmt main_machine basename prog machines _ (*dependencies*) =

  print_main_header main_fmt;

  List.iter

    (fun dep ->

      let (local, s) = Corelang.dependency_of_top dep in

      Log.report ~level:1 (fun fmt -> Format.fprintf fmt "@[<v 0> Horn Library %s@," basename);

      let horn = load_file basename in

      fprintf fmt "@.%s@." horn;

  List.fold_left

    (fun (compilation_dep, type_env, clock_env) dep ->

      let (local, s) = Corelang.dependency_of_top dep in

      Log.report ~level:1 (fun fmt -> Format.fprintf fmt "  Library %s@ " basename);

      let lusic = Modules.import_dependency dep.top_decl_loc (local, s) in

      (*Log.report ~level:1 (fun fmt -> Format.fprintf fmt "");*)

    deps

  end

(* alias and type definition table *)

let top_int_type = mktop (TypeDef {tydef_id = "int"; tydef_desc = Tydec_int})

let top_bool_type = mktop (TypeDef {tydef_id = "bool"; tydef_desc = Tydec_bool})

(* extracts a header from a program representing module owner = dirname/basename *)

let extract_header dirname basename prog =

  let owner = dirname ^ "/" ^ basename in

let check_obsolete lusic basename =

  if lusic.obsolete then raise (Error (Location.dummy_loc, Wrong_number basename))

let arrow_top_decl =

  {

    top_decl_desc = Node arrow_desc;

    top_decl_itf = false;

    top_decl_loc = Location.dummy_loc

  }

  | Corelang.Error _ (*| Task_set.Error _*)

  | Causality.Error _ -> exit 1

  | Sys_error msg -> (eprintf "Failure: %s@." msg)

(* Local Variables: *)

(* compile-command:"make -C .." *)

  | Corelang.Error _ (*| Task_set.Error _*)

  | Causality.Error _ -> exit 1

  | Sys_error msg -> (eprintf "Failure: %s@." msg)

(* Local Variables: *)

(* compile-command:"make -C .." *)

    | _       -> assert false

  with Not_found -> Hashtbl.add consts_table name value

let import_dependency_aux loc (local, dep) =

  let extension = ".lusic" in 

  try

    let lusic = Lusic.read_lusic basename extension in

    | Const c -> (add_const true c.const_id decl; imported)

    | TypeDef tdef -> (add_type true tdef.tydef_id decl; imported)

    | Open (local, dep) ->

       if ISet.mem basename imported then imported else

	 let lusic = import_dependency_aux decl.top_decl_loc (local, dep)

	 in load_header_rec (ISet.add basename imported) lusic.Lusic.contents

    | Const c -> (add_const false c.const_id decl; imported)

    | TypeDef tdef -> (add_type false tdef.tydef_id decl; imported)

    | Open (local, dep) ->

       if ISet.mem basename imported then imported else

	 let lusic = import_dependency_aux decl.top_decl_loc (local, dep)

	 in load_header_rec (ISet.add basename imported) lusic.Lusic.contents

let version = Version.number

let codename = Version.codename

let print_version () =

  Format.printf "Lustrec compiler, version %s (%s)@." version codename;

let main_node = ref ""

let static_mem = ref true

let gen_mcdc = ref false

let no_mutation_suffix = ref false

let set_mpfr prec =

  if prec > 0 then (

    mpfr := true;

let common_options =

  [ "-d", Arg.Set_string dest_dir, "uses the specified \x1b[4mdirectory\x1b[0m as root for generated/imported object and C files <default: .>";

    "-node", Arg.Set_string main_node, "specifies the \x1b[4mmain\x1b[0m node";

    "-print-types", Arg.Set print_types, "prints node types";

    "-print-clocks", Arg.Set print_clocks, "prints node clocks";

let get_new_id () = incr var_id_cpt;!var_id_cpt

(* for lexing purposes *)

(* Update line number for location info *)