daily pastebin goal
3%
SHARE
TWEET

Untitled

a guest Feb 16th, 2019 67 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  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"]
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top