Project

General

Profile

Revision 1e48ef45 src/backends/C/c_backend_main.ml

View differences:

src/backends/C/c_backend_main.ml
107 107
  fprintf fmt "@]@ }@."       
108 108

  
109 109
let print_main_header fmt =
110
  fprintf fmt "#include <stdio.h>@.#include <unistd.h>@.#include \"%s/include/lustrec/io_frontend.h\"@." Version.prefix
110
  fprintf fmt "#include <stdio.h>@.#include <unistd.h>@.#include \"%s/io_frontend.h\"@." Version.include_path 
111 111

  
112 112

  
113 113
let print_main_c main_fmt main_machine basename prog machines dependencies =

Also available in: Unified diff