Guest User

Untitled

a guest
Feb 16th, 2019
103
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.50 KB | None | 0 0
  1. diff --git a/ocamlbuild/ocaml_specific.ml b/ocamlbuild/ocaml_specific.ml
  2. index fc8c57e..2d07613 100644
  3. --- a/ocamlbuild/ocaml_specific.ml
  4. +++ b/ocamlbuild/ocaml_specific.ml
  5. @@ -58,6 +58,11 @@ let x_p_o = "%.p"-.-ext_obj;;
  6. let x_p_a = "%.p"-.-ext_lib;;
  7. let x_p_dll = "%.p"-.-ext_dll;;
  8.  
  9. +(* -output-obj targets *)
  10. +let x_byte_c = "%.byte.c";;
  11. +let x_byte_o = "%.byte"-.-ext_obj;;
  12. +let x_native_o = "%.native"-.-ext_obj;;
  13. +
  14. rule "target files"
  15. ~dep:"%.itarget"
  16. ~stamp:"%.otarget"
  17. @@ -162,15 +167,15 @@ rule "ocaml: cmo* -> byte"
  18.  
  19. rule "ocaml: cmo* -> byte.o"
  20. ~tags:["ocaml"; "byte"; "link"; "output_obj" ]
  21. - ~prod:"%.byte.o"
  22. + ~prod:x_byte_o
  23. ~dep:"%.cmo"
  24. - (Ocaml_compiler.byte_output_obj "%.cmo" "%.byte.o");;
  25. + (Ocaml_compiler.byte_output_obj "%.cmo" x_byte_o);;
  26.  
  27. rule "ocaml: cmo* -> byte.c"
  28. ~tags:["ocaml"; "byte"; "link"; "output_obj" ]
  29. - ~prod:"%.byte.c"
  30. + ~prod:x_byte_c
  31. ~dep:"%.cmo"
  32. - (Ocaml_compiler.byte_output_obj "%.cmo" "%.byte.c");;
  33. + (Ocaml_compiler.byte_output_obj "%.cmo" x_byte_c);;
  34.  
  35. rule "ocaml: p.cmx* & p.o* -> p.native"
  36. ~tags:["ocaml"; "native"; "profile"; "program"]
  37. @@ -186,9 +191,9 @@ rule "ocaml: cmx* & o* -> native"
  38.  
  39. rule "ocaml: cmx* & o* -> native.o"
  40. ~tags:["ocaml"; "native"; "output_obj" ]
  41. - ~prod:"%.native.o"
  42. + ~prod:x_native_o
  43. ~deps:["%.cmx"; x_o]
  44. - (Ocaml_compiler.native_output_obj "%.cmx" "%.native.o");;
  45. + (Ocaml_compiler.native_output_obj "%.cmx" x_native_o);;
  46.  
  47. rule "ocaml: mllib & d.cmo* -> d.cma"
  48. ~tags:["ocaml"; "byte"; "debug"; "library"]
Add Comment
Please, Sign In to add comment