Project

General

Profile

Revision 990210f3 src/backends/C/c_backend_main.ml

View differences:

src/backends/C/c_backend_main.ml
178 178

  
179 179
let print_main_header fmt =
180 180
  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\"@.")
181
    !Options.include_dir
181
    (Options.core_dependency "io_frontend")
182 182

  
183 183
let print_main_c main_fmt main_machine basename prog machines _ (*dependencies*) =
184 184
  print_main_header main_fmt;

Also available in: Unified diff