Project

General

Profile

Revision c02d255e 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: bfbef9a3c28e55b657d10679aeb14c68) *)
4
(* DO NOT EDIT (digest: 6666f62d55895fd4c2e5dbbf8e9d4998) *)
5 5
(*
6 6
   Regenerated by OASIS v0.2.0
7 7
   Visit http://oasis.forge.ocamlcore.org for more information and
......
5165 5165
                        (("mkdir",
5166 5166
                           [
5167 5167
                              "-p";
5168
                              "/usr/local/include/lustrec;";
5168
                              "$(prefix)/include;";
5169 5169
                              "cp";
5170
                              "include/*";
5171
                              "/usr/local/include/lustrec/"
5170
                              "-rf";
5171
                              "include";
5172
                              "$(prefix)/include/lustrec"
5172 5173
                           ])))
5173 5174
                 ];
5174 5175
               };

Also available in: Unified diff