Revision cefc3744
Added by Pierre-Loïc Garoche almost 11 years ago
| src/backends/C/c_backend_makefile.ml | ||
|---|---|---|
| 1 | 1 |
open Format |
| 2 | 2 |
open Corelang |
| 3 | 3 |
|
| 4 |
module type MODIFIERS_MKF = |
|
| 5 |
sig |
|
| 6 |
end |
|
| 7 |
|
|
| 8 |
module EmptyMod = |
|
| 9 |
struct |
|
| 10 |
end |
|
| 11 |
|
|
| 12 |
module Main = functor (Mod: MODIFIERS_MKF) -> |
|
| 13 |
struct |
|
| 14 |
|
|
| 4 | 15 |
let header_has_code header = |
| 5 | 16 |
List.exists |
| 6 | 17 |
(fun top -> |
| ... | ... | |
| 50 | 61 |
fprintf fmt "@."; |
| 51 | 62 |
fprintf fmt "clean:@."; |
| 52 | 63 |
fprintf fmt "\t\\rm -f *.o %s_%s@." basename nodename |
| 53 |
|
|
| 64 |
end |
|
| 54 | 65 |
|
| 55 | 66 |
(* Local Variables: *) |
| 56 | 67 |
(* compile-command:"make -C ../../.." *) |
Also available in: Unified diff
Specialized the prefix/postfix modifiers through functors arguments
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/cleaner_backend@281 041b043f-8d7c-46b2-b46e-ef0dd855326e