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