Run dune from the crate root to regenerate .opam files

AeneasVerif · Oct 31, 2024 · 516e241 · 516e241
1 parent 91bf684
commit 516e241
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -103,7 +103,7 @@ clean-generated:
 clean: clean-generated
 	cd charon && cargo clean
 	cd charon/macros && cargo clean
-	cd charon-ml && dune clean
+	dune clean
 
 # Build the Nix packages
 .PHONY: nix

diff --git a/charon-ml/Makefile b/charon-ml/Makefile
@@ -5,14 +5,14 @@ build: format build-dev
 # Build, without formatting the code
 .PHONY: build-dev
 build-dev:
-	dune build && dune build @doc
+	cd .. && dune build && dune build @doc
 
 # The tests.
 # You can use the environment variable "CHARON_LOG" to activate the log.
 # For instance: `CHARON_LOG=1 make tests`.
 .PHONY: tests
 tests: copy-tests
-	dune test
+	cd .. && dune test
 
 # Reformat the code
 .PHONY: format

diff --git a/charon-ml/charon.opam → charon.opam b/charon-ml/charon.opam → charon.opam
diff --git a/charon-ml/name_matcher_parser.opam → name_matcher_parser.opam b/charon-ml/name_matcher_parser.opam → name_matcher_parser.opam