Revision 54ae8ac7 setup.ml
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