(library
(name matita_cli)
(wrapped false)
- (libraries helm_grafite_engine lablgtk3-sourceview3)
+ (libraries helm_grafite_engine lablgtk3-sourceview3 dune-build-info dune-site)
(modules
- buildTimeConf matitaTypes matitaMiscCli applyTransformation matitaEngine matitaExcPp matitaInit))
+ mysites buildTimeConf matitaTypes matitaMiscCli applyTransformation matitaEngine matitaExcPp matitaInit))
+
+(generate_sites_module
+ (module mysites)
+ (sites matita))
(executable
(name matita)
(libraries matita_cli)
(modules matitac matitaclean))
+(install
+ (section (site (matita myshare)))
+ (files
+ (glob_files_rec lib/*)
+ (glob_files_rec help/*) ; brutal
+ (glob_files_rec icons/*)
+ matita.gtkrc
+ matita.lang
+ matita.ma.templ
+ matita.conf.xml
+ closed.xml
+ AUTHORS
+ LICENSE))
+
(env
- (dev
+ (_
(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