4 (libraries helm_grafite_engine lablgtk3-sourceview3 dune-build-info dune-site)
6 mysites buildTimeConf matitaTypes matitaMiscCli applyTransformation matitaEngine matitaExcPp matitaInit))
13 (target matitaGeneratedGui.ml)
16 (action (with-stdout-to %{target} (run lablgladecc3 -embed %{deps}))))
21 (promote (until-clean))
22 (libraries matita_cli)
23 (modules_without_implementation matitaGuiTypes)
25 matitaGuiInit matitaGeneratedGui lablGraphviz matitaGuiTypes matitaMisc matitaGtkMisc virtuals cicMathView predefined_virtuals matitaMathView matitaScript matitaGui matita))
28 (names matitac matitaclean)
29 (public_names matitac matitaclean)
30 (promote (until-clean))
31 (libraries matita_cli)
32 (modules matitac matitaclean))
35 (section (site (matita myshare)))
37 (glob_files_rec lib/*)
38 (glob_files_rec help/C/*.xml)
39 (glob_files_rec help/C/figures/*)
40 (glob_files_rec icons/*)
51 (flags (:standard -thread -rectypes -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7-57-3-68-69-70-50-29)))) ; -29 for non portable strings