2016-07-19 21:43:14 +00:00
|
|
|
clibrary {
|
2016-06-09 04:55:44 +00:00
|
|
|
name = "headers",
|
2016-07-19 21:43:14 +00:00
|
|
|
hdrs = {
|
2022-07-14 21:57:54 +00:00
|
|
|
"./h/ansi.h",
|
|
|
|
|
"./h/em_arith.h",
|
|
|
|
|
"./h/em.h",
|
|
|
|
|
"./h/em_label.h",
|
|
|
|
|
"./h/em_mesX.h",
|
|
|
|
|
"./h/emO_code.h",
|
2016-07-19 21:43:14 +00:00
|
|
|
}
|
2016-06-09 04:55:44 +00:00
|
|
|
}
|
|
|
|
|
|
