matita/matita/dune

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