Project

General

Profile

Revision 9b0432bc backends/C/c_backend_makefile.ml

View differences:

backends/C/c_backend_makefile.ml
98 98
    fprintf fmt "BINNAME?=%s@." binname;
99 99
    fprintf fmt "GCC=gcc -O0@.";
100 100
    fprintf fmt "LUSTREC=%s@." Sys.executable_name;
101
    fprintf fmt "LUSTREC_BASE=%s@." (Filename.dirname (Filename.dirname Sys.executable_name));
102
    fprintf fmt "INC=${LUSTREC_BASE}/include/lustrec@.";
101
    fprintf fmt "INC=%s@." Lustrec.Version.include_path;
103 102
    fprintf fmt "@.";
104 103

  
105 104
    (* Main binary *)

Also available in: Unified diff