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 (rule
  13  (target matitaGeneratedGui.ml)
  14  (deps matita.ui)
  15  (mode (promote))
  16  (action (with-stdout-to %{target} (run lablgladecc3 -embed %{deps}))))
  17
  18 (executable
  19  (name matita)
  20  (public_name matita)
  21  (promote (until-clean))
  22  (libraries matita_cli)
  23  (modules_without_implementation matitaGuiTypes)
  24  (modules
  25    matitaGuiInit matitaGeneratedGui lablGraphviz matitaGuiTypes matitaMisc matitaGtkMisc virtuals cicMathView predefined_virtuals matitaMathView matitaScript matitaGui matita))
  26
  27 (executables
  28  (names matitac matitaclean)
  29  (public_names matitac matitaclean)
  30  (promote (until-clean))
  31  (libraries matita_cli)
  32  (modules matitac matitaclean))
  33
  34 (install
  35  (section (site (matita myshare)))
  36  (files
  37   (glob_files_rec lib/*)
  38   (glob_files_rec help/C/*.xml)
  39   (glob_files_rec help/C/figures/*)
  40   (glob_files_rec icons/*)
  41   matita.gtkrc
  42   matita.lang
  43   matita.ma.templ
  44   matita.conf.xml
  45   closed.xml
  46   AUTHORS
  47   LICENSE))
  48
  49 (env
  50   (_
  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