Remove all traces of autoconf/automake/makefile

[helm.git] / matita / matita / dune

diff --git a/matita/matita/dune b/matita/matita/dune
index 1c87a72695fdb569c0728ab4c3b8df9a26c5ea42..4f01419161f723712c9e08adafb02c25daf6cc50 100644 (file)
--- a/matita/matita/dune
+++ b/matita/matita/dune
@@ -1,9 +1,19 @@
 (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))
+
+(rule
+ (target matitaGeneratedGui.ml)
+ (deps matita.ui)
+ (mode (promote))
+ (action (with-stdout-to %{target} (run lablgladecc3 -embed %{deps}))))
 
 (executable
  (name matita)
@@ -21,6 +31,21 @@
  (libraries matita_cli)
  (modules matitac matitaclean))
 
+(install
+ (section (site (matita myshare)))
+ (files
+  (glob_files_rec lib/*)
+  (glob_files_rec help/C/*.xml)
+  (glob_files_rec help/C/figures/*)
+  (glob_files_rec icons/*)
+  matita.gtkrc
+  matita.lang
+  matita.ma.templ
+  matita.conf.xml
+  closed.xml
+  AUTHORS
+  LICENSE))
+
 (env
   (_
     (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