Project

General

Profile

Revision 54ae8ac7 setup.ml

View differences:

setup.ml
1 1
(* setup.ml generated for the first time by OASIS v0.2.0 *)
2 2

  
3 3
(* OASIS_START *)
4
(* DO NOT EDIT (digest: 199ddf56e2399fc7ababf7124443bcc9) *)
4
(* DO NOT EDIT (digest: 243f7ef4ca5fa7182acbe98e77d9c7f4) *)
5 5
(*
6 6
   Regenerated by OASIS v0.3.0
7 7
   Visit http://oasis.forge.ocamlcore.org for more information and
......
5791 5791
                              "$(prefix)/include/lustrec;";
5792 5792
                              "cp";
5793 5793
                              "-rf";
5794
                              "include/*.[ch]";
5795
                              "$(prefix)/include/lustrec;";
5796
                              "cp";
5797
                              "-rf";
5798
                              "include/*.java";
5794
                              "include/*";
5799 5795
                              "$(prefix)/include/lustrec"
5800 5796
                           ])))
5801 5797
                 ];
......
5875 5871
          };
5876 5872
     oasis_fn = Some "_oasis";
5877 5873
     oasis_version = "0.3.0";
5878
     oasis_digest = Some "^\201\165\144\189\n\251D\168\165\229o\014u\145\241";
5874
     oasis_digest = Some "wX\249B\007\151\134\1970p\217\138\017\214\244\241";
5879 5875
     oasis_exec = None;
5880 5876
     oasis_setup_args = [];
5881 5877
     setup_update = false;
......
5883 5879

  
5884 5880
let setup () = BaseSetup.setup setup_t;;
5885 5881

  
5886
# 5887 "setup.ml"
5882
# 5883 "setup.ml"
5887 5883
(* OASIS_STOP *)
5888 5884
let () = setup ();;

Also available in: Unified diff