Merge pull request #24 from mbarbin/cli-rename

Internal lib rename (command -> cli)
mbarbin · Feb 23, 2025 · 5e37592 · 5e37592
2 parents 0d2bf57 + e21010a
commit 5e37592
Show file tree

Hide file tree

Showing 41 changed files with 50 additions and 54 deletions.
diff --git a/bin/dune b/bin/dune
@@ -2,5 +2,5 @@
  (name main)
  (package bopkit)
  (public_name bopkit)
- (libraries bopkit_command cmdlang-cmdliner-runner)
+ (libraries bopkit_cli cmdlang-cmdliner-runner)
  (flags :standard -w +a-4-40-41-42-44-45-48-66 -warn-error +a))
diff --git a/bin/main.ml b/bin/main.ml
@@ -1,3 +1 @@
-let () =
-  Cmdlang_cmdliner_runner.run Bopkit_command.main ~name:"bopkit" ~version:"%%VERSION%%"
-;;
+let () = Cmdlang_cmdliner_runner.run Bopkit_cli.main ~name:"bopkit" ~version:"%%VERSION%%"
diff --git a/...kit_bdd_command/src/bopkit_bdd_command.ml → lib/bopkit_bdd_cli/src/bopkit_bdd_cli.ml b/...kit_bdd_command/src/bopkit_bdd_command.ml → lib/bopkit_bdd_cli/src/bopkit_bdd_cli.ml
diff --git a/...it_bdd_command/src/bopkit_bdd_command.mli → lib/bopkit_bdd_cli/src/bopkit_bdd_cli.mli b/...it_bdd_command/src/bopkit_bdd_command.mli → lib/bopkit_bdd_cli/src/bopkit_bdd_cli.mli
diff --git a/lib/bopkit_bdd_command/src/cmd_bomber.ml → lib/bopkit_bdd_cli/src/cmd_bomber.ml b/lib/bopkit_bdd_command/src/cmd_bomber.ml → lib/bopkit_bdd_cli/src/cmd_bomber.ml
diff --git a/lib/bopkit_bdd_command/src/cmd_bomber.mli → lib/bopkit_bdd_cli/src/cmd_bomber.mli b/lib/bopkit_bdd_command/src/cmd_bomber.mli → lib/bopkit_bdd_cli/src/cmd_bomber.mli
diff --git a/lib/bopkit_bdd_command/src/cmd_checker.ml → lib/bopkit_bdd_cli/src/cmd_checker.ml b/lib/bopkit_bdd_command/src/cmd_checker.ml → lib/bopkit_bdd_cli/src/cmd_checker.ml
diff --git a/lib/bopkit_bdd_command/src/cmd_checker.mli → lib/bopkit_bdd_cli/src/cmd_checker.mli b/lib/bopkit_bdd_command/src/cmd_checker.mli → lib/bopkit_bdd_cli/src/cmd_checker.mli
diff --git a/lib/bopkit_bdd_command/src/cmd_synthesize.ml → lib/bopkit_bdd_cli/src/cmd_synthesize.ml b/lib/bopkit_bdd_command/src/cmd_synthesize.ml → lib/bopkit_bdd_cli/src/cmd_synthesize.ml
diff --git a/...bopkit_bdd_command/src/cmd_synthesize.mli → lib/bopkit_bdd_cli/src/cmd_synthesize.mli b/...bopkit_bdd_command/src/cmd_synthesize.mli → lib/bopkit_bdd_cli/src/cmd_synthesize.mli
diff --git a/lib/bopkit_bdd_command/src/dune → lib/bopkit_bdd_cli/src/dune b/lib/bopkit_bdd_command/src/dune → lib/bopkit_bdd_cli/src/dune
@@ -1,6 +1,6 @@
 (library
- (name bopkit_bdd_command)
- (public_name bopkit.bdd-command)
+ (name bopkit_bdd_cli)
+ (public_name bopkit.bdd-cli)
  (flags
   :standard
   -w

diff --git a/project/subleq/lib/subleq_command/test/dune → lib/bopkit_bdd_cli/test/dune b/project/subleq/lib/subleq_command/test/dune → lib/bopkit_bdd_cli/test/dune
@@ -1,9 +1,9 @@
 (library
- (name subleq_command_test)
- (public_name bopkit-tests.subleq_command_test)
+ (name bopkit_bdd_cli_test)
+ (public_name bopkit-tests.bopkit_bdd_cli_test)
  (inline_tests)
  (flags :standard -w +a-4-40-41-42-44-45-48-66 -warn-error +a)
- (libraries subleq_command)
+ (libraries bopkit_bdd_cli)
  (lint
   (pps ppx_js_style -check-doc-comments))
  (preprocess

diff --git a/lib/bopkit_command/src/bopkit_command.ml → lib/bopkit_cli/src/bopkit_cli.ml b/lib/bopkit_command/src/bopkit_command.ml → lib/bopkit_cli/src/bopkit_cli.ml
@@ -21,7 +21,7 @@ let fmt_cmd =
 let main =
   Command.group
     ~summary:"bopkit command line"
-    [ "bdd", Bopkit_bdd_command.main
+    [ "bdd", Bopkit_bdd_cli.main
     ; "bop2c", Cmd_bop2c.main
     ; "check", Cmd_check.main
     ; "counter", Bopkit_counter.Counter.main
@@ -30,7 +30,7 @@ let main =
     ; "echo", Cmd_echo.main
     ; "fmt", fmt_cmd
     ; "print-sites", print_sites_cmd
-    ; "process", Bopkit_process_command.main
+    ; "process", Bopkit_process_cli.main
     ; "pulse", Bopkit_pulse.Pulse.main
     ; "simu", Cmd_simu.main
     ]

diff --git a/lib/bopkit_command/src/bopkit_command.mli → lib/bopkit_cli/src/bopkit_cli.mli b/lib/bopkit_command/src/bopkit_command.mli → lib/bopkit_cli/src/bopkit_cli.mli
diff --git a/lib/bopkit_command/src/cmd_bop2c.ml → lib/bopkit_cli/src/cmd_bop2c.ml b/lib/bopkit_command/src/cmd_bop2c.ml → lib/bopkit_cli/src/cmd_bop2c.ml
diff --git a/lib/bopkit_command/src/cmd_bop2c.mli → lib/bopkit_cli/src/cmd_bop2c.mli b/lib/bopkit_command/src/cmd_bop2c.mli → lib/bopkit_cli/src/cmd_bop2c.mli
diff --git a/lib/bopkit_command/src/cmd_check.ml → lib/bopkit_cli/src/cmd_check.ml b/lib/bopkit_command/src/cmd_check.ml → lib/bopkit_cli/src/cmd_check.ml
diff --git a/lib/bopkit_command/src/cmd_check.mli → lib/bopkit_cli/src/cmd_check.mli b/lib/bopkit_command/src/cmd_check.mli → lib/bopkit_cli/src/cmd_check.mli
diff --git a/lib/bopkit_command/src/cmd_echo.ml → lib/bopkit_cli/src/cmd_echo.ml b/lib/bopkit_command/src/cmd_echo.ml → lib/bopkit_cli/src/cmd_echo.ml
diff --git a/lib/bopkit_command/src/cmd_echo.mli → lib/bopkit_cli/src/cmd_echo.mli b/lib/bopkit_command/src/cmd_echo.mli → lib/bopkit_cli/src/cmd_echo.mli
diff --git a/lib/bopkit_command/src/cmd_simu.ml → lib/bopkit_cli/src/cmd_simu.ml b/lib/bopkit_command/src/cmd_simu.ml → lib/bopkit_cli/src/cmd_simu.ml
diff --git a/lib/bopkit_command/src/cmd_simu.mli → lib/bopkit_cli/src/cmd_simu.mli b/lib/bopkit_command/src/cmd_simu.mli → lib/bopkit_cli/src/cmd_simu.mli
diff --git a/lib/bopkit_command/src/dune → lib/bopkit_cli/src/dune b/lib/bopkit_command/src/dune → lib/bopkit_cli/src/dune
@@ -1,5 +1,5 @@
 (library
- (name bopkit_command)
+ (name bopkit_cli)
  (public_name bopkit.command)
  (flags
   :standard
@@ -19,12 +19,12 @@
   auto-format
   base
   bopkit
-  bopkit_bdd_command
+  bopkit_bdd_cli
   bopkit_circuit
   bopkit_compiler
   bopkit_counter
   bopkit_pp
-  bopkit_process_command
+  bopkit_process_cli
   bopkit_pulse
   bopkit_simulator
   bopkit_sites

diff --git a/project/visa/lib/visa_command/test/dune → lib/bopkit_cli/test/dune b/project/visa/lib/visa_command/test/dune → lib/bopkit_cli/test/dune
@@ -1,9 +1,9 @@
 (library
- (name visa_command_test)
- (public_name bopkit-tests.visa_command_test)
+ (name bopkit_cli_test)
+ (public_name bopkit-tests.bopkit_cli_test)
  (inline_tests)
  (flags :standard -w +a-4-40-41-42-44-45-48-66 -warn-error +a)
- (libraries visa_command)
+ (libraries bopkit_cli)
  (lint
   (pps ppx_js_style -check-doc-comments))
  (preprocess

diff --git a/...ess_command/src/bopkit_process_command.ml → ...kit_process_cli/src/bopkit_process_cli.ml b/...ess_command/src/bopkit_process_command.ml → ...kit_process_cli/src/bopkit_process_cli.ml
diff --git a/...ss_command/src/bopkit_process_command.mli → ...it_process_cli/src/bopkit_process_cli.mli b/...ss_command/src/bopkit_process_command.mli → ...it_process_cli/src/bopkit_process_cli.mli
diff --git a/lib/bopkit_process_command/src/dune → lib/bopkit_process_cli/src/dune b/lib/bopkit_process_command/src/dune → lib/bopkit_process_cli/src/dune
@@ -1,6 +1,6 @@
 (library
- (name bopkit_process_command)
- (public_name bopkit.process-command)
+ (name bopkit_process_cli)
+ (public_name bopkit.process-cli)
  (flags
   :standard
   -w

diff --git a/lib/bopkit_bdd_command/test/dune → lib/bopkit_process_cli/test/dune b/lib/bopkit_bdd_command/test/dune → lib/bopkit_process_cli/test/dune
@@ -1,9 +1,9 @@
 (library
- (name bopkit_bdd_command_test)
- (public_name bopkit-tests.bopkit_bdd_command_test)
+ (name bopkit_process_cli_test)
+ (public_name bopkit-tests.bopkit_process_cli_test)
  (inline_tests)
  (flags :standard -w +a-4-40-41-42-44-45-48-66 -warn-error +a)
- (libraries bopkit_bdd_command)
+ (libraries bopkit_process_cli)
  (lint
   (pps ppx_js_style -check-doc-comments))
  (preprocess

diff --git a/lib/bopkit_process_command/test/dune b/lib/bopkit_process_command/test/dune
diff --git a/project/subleq/bin/dune b/project/subleq/bin/dune
@@ -2,5 +2,5 @@
  (name main)
  (package subleq)
  (public_name subleq)
- (libraries cmdlang-cmdliner-runner subleq_command)
+ (libraries cmdlang-cmdliner-runner subleq_cli)
  (flags :standard -w +a-4-40-41-42-44-45-48-66 -warn-error +a))
diff --git a/project/subleq/bin/main.ml b/project/subleq/bin/main.ml
@@ -1,3 +1 @@
-let () =
-  Cmdlang_cmdliner_runner.run Subleq_command.main ~name:"subleq" ~version:"%%VERSION%%"
-;;
+let () = Cmdlang_cmdliner_runner.run Subleq_cli.main ~name:"subleq" ~version:"%%VERSION%%"
diff --git a/project/subleq/lib/subleq_command/src/dune → project/subleq/lib/subleq_cli/src/dune b/project/subleq/lib/subleq_command/src/dune → project/subleq/lib/subleq_cli/src/dune
@@ -1,6 +1,6 @@
 (library
- (name subleq_command)
- (public_name bopkit.subleq-command)
+ (name subleq_cli)
+ (public_name bopkit.subleq-cli)
  (flags
   :standard
   -w

diff --git a/.../lib/subleq_command/src/subleq_command.ml → ...t/subleq/lib/subleq_cli/src/subleq_cli.ml b/.../lib/subleq_command/src/subleq_command.ml → ...t/subleq/lib/subleq_cli/src/subleq_cli.ml
diff --git a/...lib/subleq_command/src/subleq_command.mli → .../subleq/lib/subleq_cli/src/subleq_cli.mli b/...lib/subleq_command/src/subleq_command.mli → .../subleq/lib/subleq_cli/src/subleq_cli.mli
diff --git a/lib/bopkit_command/test/dune → project/subleq/lib/subleq_cli/test/dune b/lib/bopkit_command/test/dune → project/subleq/lib/subleq_cli/test/dune
@@ -1,9 +1,9 @@
 (library
- (name bopkit_command_test)
- (public_name bopkit-tests.bopkit_command_test)
+ (name subleq_cli_test)
+ (public_name bopkit-tests.subleq_cli_test)
  (inline_tests)
  (flags :standard -w +a-4-40-41-42-44-45-48-66 -warn-error +a)
- (libraries bopkit_command)
+ (libraries subleq_cli)
  (lint
   (pps ppx_js_style -check-doc-comments))
  (preprocess

diff --git a/project/visa/bin/dune b/project/visa/bin/dune
@@ -2,5 +2,5 @@
  (name main)
  (package visa)
  (public_name visa)
- (libraries cmdlang-cmdliner-runner visa_command)
+ (libraries cmdlang-cmdliner-runner visa_cli)
  (flags :standard -w +a-4-40-41-42-44-45-48-66 -warn-error +a))
diff --git a/project/visa/bin/main.ml b/project/visa/bin/main.ml
@@ -1 +1 @@
-let () = Cmdlang_cmdliner_runner.run Visa_command.main ~name:"visa" ~version:"%%VERSION%%"
+let () = Cmdlang_cmdliner_runner.run Visa_cli.main ~name:"visa" ~version:"%%VERSION%%"
diff --git a/project/visa/lib/visa_command/src/dune → project/visa/lib/visa_cli/src/dune b/project/visa/lib/visa_command/src/dune → project/visa/lib/visa_cli/src/dune
@@ -1,6 +1,6 @@
 (library
- (name visa_command)
- (public_name bopkit.visa-command)
+ (name visa_cli)
+ (public_name bopkit.visa-cli)
  (flags
   :standard
   -w

diff --git a/...visa/lib/visa_command/src/visa_command.ml → project/visa/lib/visa_cli/src/visa_cli.ml b/...visa/lib/visa_command/src/visa_command.ml → project/visa/lib/visa_cli/src/visa_cli.ml
diff --git a/...isa/lib/visa_command/src/visa_command.mli → project/visa/lib/visa_cli/src/visa_cli.mli b/...isa/lib/visa_command/src/visa_command.mli → project/visa/lib/visa_cli/src/visa_cli.mli
diff --git a/project/visa/lib/visa_cli/test/dune b/project/visa/lib/visa_cli/test/dune
@@ -0,0 +1,19 @@
+(library
+ (name visa_cli_test)
+ (public_name bopkit-tests.visa_cli_test)
+ (inline_tests)
+ (flags :standard -w +a-4-40-41-42-44-45-48-66 -warn-error +a)
+ (libraries visa_cli)
+ (lint
+  (pps ppx_js_style -check-doc-comments))
+ (preprocess
+  (pps
+   -unused-type-warnings=force
+   ppx_compare
+   ppx_enumerate
+   ppx_expect
+   ppx_hash
+   ppx_here
+   ppx_let
+   ppx_sexp_conv
+   ppx_sexp_value)))
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		let () = Cmdlang_cmdliner_runner.run Visa_command.main ~name:"visa" ~version:"%%VERSION%%"
		let () = Cmdlang_cmdliner_runner.run Visa_cli.main ~name:"visa" ~version:"%%VERSION%%"