Fix dep issue

mirage · Oct 3, 2023 · d28e427 · d28e427
1 parent 18ee9ac
commit d28e427
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 10 deletions.
diff --git a/irmin-pack-tools.opam b/irmin-pack-tools.opam
@@ -24,8 +24,6 @@ depends: [
   "cmdliner"    {>= "1.1.0"}
   "cmdliner"    {>= "1.1.0"}
   "notty"       {>= "0.2.3"}
-  "tsdl"        {>= "1.0.0"}
-  "tsdl-ttf"    {>= "0.6"}
   "prettree"
   "ptime"
   "hex"

diff --git a/src/irmin-pack-tools/README.md b/src/irmin-pack-tools/README.md
@@ -105,6 +105,7 @@ TODO
 
 ## tezos-explorer-gui
 This tool is a graphical UI, meant to allow the user to figure out rapidly the shape of a commit, giving him informations on it's content.
+In order to launch it, uncomment the `dune` file under the path `src/irmin-pack-tools/tezos_explorer_gui` and install the deps `tsdl` and `tsdl-ttf`.
 It can be launched using the following command:
 ```shell
 $ dune exec -- irmin-tezos-explorer-gui <path-to-store> <path-to-ttf-font> <commit>

diff --git a/src/irmin-pack-tools/tezos_explorer_gui/dune b/src/irmin-pack-tools/tezos_explorer_gui/dune
@@ -1,8 +1,8 @@
-(executable
- (public_name irmin-tezos-explorer-gui)
- (package irmin-pack-tools)
- (name main)
- (modules main context load_tree tree sdl_util layout loading)
- (libraries prettree tsdl tsdl-ttf fmt irmin_pack irmin_tezos cmdliner)
- (preprocess
-  (pps ppx_repr)))
+; (executable
+;  (public_name irmin-tezos-explorer-gui)
+;  (package irmin-pack-tools)
+;  (name main)
+;  (modules main context load_tree tree sdl_util layout loading)
+;  (libraries prettree tsdl tsdl-ttf fmt irmin_pack irmin_tezos cmdliner)
+;  (preprocess
+;   (pps ppx_repr)))