Revision c02d255e
Added by Pierre-Loïc Garoche almost 9 years ago
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
Solved some bugs in the lustre printer
Generation of a witness with both the main node and hte inlined main node
Test script modified to check consistency of the inlining process