Update

INRIA · Oct 23, 2024 · 67c854a · 67c854a
1 parent 7112547
commit 67c854a
Show file tree

Hide file tree

Showing 49 changed files with 5,473 additions and 463 deletions.
diff --git a/src/global/deps_tools.ml → src/compiler/common/deps_tools.ml b/src/global/deps_tools.ml → src/compiler/common/deps_tools.ml
diff --git a/src/global/graph.ml → src/compiler/common/graph.ml b/src/global/graph.ml → src/compiler/common/graph.ml
diff --git a/src/global/zelus.ml.8 b/src/global/zelus.ml.8
diff --git a/src/lib/gtk/dune b/src/lib/gtk/dune
@@ -0,0 +1,22 @@
+;(rule
+; (targets input.zci gtkplot.zci)
+; (deps (:zli input.zli gtkplot.zli) ../std/stdlib.zci)
+; (action (run zeluc -I ../std %{zli})))
+
+;(rule
+; (targets scope.ml scope.zci)
+; (deps (:zls scope.zls) gtkplot.zci ../std/basics.zci ../std/stdlib.zci)
+; (action (run zeluc -I ../std %{zls})))
+
+;(library
+; (name gtklib)
+; (public_name zelus-gtk)
+; (optional)
+; (libraries zelus lablgtk2)
+; (wrapped false)
+; (modules input scope gtkplot zlsrungtk))
+
+;(install
+; (package zelus-gtk)
+; (section share)
+; (files input.zci scope.zci gtkplot.zci))