Project

General

Profile

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

View differences:

src/backends/C/c_backend_makefile.ml
47 47
    (("${INC}/io_frontend.c"):: (* IO functions when a main function is computed *)
48 48
	(List.map 
49 49
	   (fun (local, s, _) -> 
50
	     (if local then s else Version.prefix ^ "/include/lustrec/" ^ s) ^ ".c")
50
	     (if local then s else Version.include_path ^ "/" ^ s) ^ ".c")
51 51
	   compiled_dep))
52 52

  
53 53
module type MODIFIERS_MKF =

Also available in: Unified diff