Project

General

Profile

« Previous | Next » 

Revision 57c96fb7

Added by LĂ©lio Brun 11 months ago

setup tests for dune

View differences:

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

  
104 104
    (* Main binary *)

Also available in: Unified diff