matita/matita/dune

   1 (library
   2  (name matita_cli)
   3  (wrapped false)
   4  (libraries helm_grafite_engine lablgtk3-sourceview3 dune-build-info dune-site)
   5  (modules
   6    mysites buildTimeConf matitaTypes matitaMiscCli applyTransformation matitaEngine matitaExcPp matitaInit))
   7
   8 (generate_sites_module
   9  (module mysites)
  10  (sites matita))
  11
  12 (executable
  13  (name matita)
  14  (public_name matita)
  15  (promote (until-clean))
  16  (libraries matita_cli)
  17  (modules_without_implementation matitaGuiTypes)
  18  (modules
  19    matitaGuiInit matitaGeneratedGui lablGraphviz matitaGuiTypes matitaMisc matitaGtkMisc virtuals cicMathView predefined_virtuals matitaMathView matitaScript matitaGui matita))
  20
  21 (executables
  22  (names matitac matitaclean)
  23  (public_names matitac matitaclean)
  24  (promote (until-clean))
  25  (libraries matita_cli)
  26  (modules matitac matitaclean))
  27
  28 (install
  29  (section (site (matita myshare)))
  30  (files
  31   (glob_files_rec lib/*)
  32   (glob_files_rec help/*) ; brutal
  33   (glob_files_rec icons/*)
  34   matita.gtkrc
  35   matita.lang
  36   matita.ma.templ
  37   matita.conf.xml
  38   closed.xml
  39   AUTHORS
  40   LICENSE))
  41
  42 (env
  43   (_
  44     (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