CristalCaveGem » LustreC

(********************************************************************)

(*                                                                  *)

(*  The LustreC compiler toolset   /  The LustreC Development Team  *)

(*  Copyright 2012 -    --   ONERA - CNRS - INPT                    *)

(*                                                                  *)

(*  LustreC is free software, distributed WITHOUT ANY WARRANTY      *)

(*  under the terms of the GNU Lesser General Public License        *)

(*  version 2.1.                                                    *)

(*                                                                  *)

(********************************************************************)

  Format.fprintf fmt "%b, %s, {%a}, %b"

    b id Printers.pp_prog tops stateful

let pp_deps fmt deps = Format.fprintf fmt "@[<v 0>%a@ @]" (Utils.fprintf_list ~sep:"@ ," pp_dep) deps

  List.exists 

    (fun top -> 

      match top.top_decl_desc with

    )

    header

let header_libs header =

  List.fold_left (fun accu top ->

    match top.top_decl_desc with

  ) [] header 

let compiled_dependencies dep = 

let lib_dependencies dep = 

  List.fold_left 

  List.iter (fun s -> Format.eprintf "Adding dependency: %s@." s;  

    (("${INC}/io_frontend.c"):: (* IO functions when a main function is computed *)

	(List.map 

module type MODIFIERS_MKF =

  val other_targets: Format.formatter -> string -> string -> dep_t list -> unit

module EmptyMod =

module Main = functor (Mod: MODIFIERS_MKF) -> 

struct

   basename, the string basename_nodename exceed a limit length for files on linux

   and prevent gcc to generate the binary of that name.

To be solved (later) with

- either the default name if it short

- a shorter version if it is long (md5?)

- a provided name given when calling the makefile so the user can control the 

  expected name of the binary

*)

    let binname =

      let s = basename ^ "_" ^ nodename in

      if String.length s > 100 (* seems that GCC fails from 144 characters and

				  on: File name too long collect2 ld error. *)

      then

	if String.length nodename > 100 then

	  basename ^ "_run" (* shorter version *)

	else

	  nodename ^ "run"

      else

	s

    in

    fprintf fmt "BINNAME?=%s@." binname;

    fprintf fmt "GCC=gcc -O0@.";

    fprintf fmt "LUSTREC=%s@." Sys.executable_name;

    fprintf fmt "LUSTREC_BASE=%s@." (Filename.dirname (Filename.dirname Sys.executable_name));

    fprintf fmt "INC=${LUSTREC_BASE}/include/lustrec@.";

    fprintf fmt "@.";

    fprintf fmt "%s_%s: %s.c %s_main.c@." basename "run"(*nodename*) basename basename;

    fprintf fmt "\t${GCC} -I${INC} -I. -c %s.c@." basename;  

    fprintf fmt "\t${GCC} -I${INC} -I. -c %s_main.c@." basename;   

    fprintf_dependencies fmt dependencies;    

    fprintf fmt "\t${GCC} -o ${BINNAME} io_frontend.o %a %s.o %s_main.o %a@." 

      (Utils.fprintf_list ~sep:" " (fun fmt (Dep (_, s, _, _)) -> Format.fprintf fmt "%s.o" s)) 

      (compiled_dependencies dependencies)

      basename (* library .o *)

      basename (* main function . o *) 

      (Utils.fprintf_list ~sep:" " (fun fmt lib -> fprintf fmt "-l%s" lib)) (lib_dependencies dependencies)

    fprintf fmt "clean:@.";

    fprintf fmt "\t\\rm -f *.o ${BINNAME}@.";

    fprintf fmt "@.";

    Mod.other_targets fmt basename nodename dependencies;

    fprintf fmt "@.";

(* Local Variables: *)

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

(* End: *)