diff --git a/src/main/dune b/src/main/dune index 689f2e91..188312bd 100644 --- a/src/main/dune +++ b/src/main/dune @@ -14,9 +14,6 @@ (mode promote) (action (with-stdout-to %{targets} - (progn - (echo "let version = {git|") - (run git rev-parse HEAD) - (echo "|git}"))))) + (echo "let version = {git|%{version:sidekick}|git}")))) (ocamllex (modules Dimacs_lexer)) diff --git a/src/main/sidekick_version.ml b/src/main/sidekick_version.ml index 068fdc87..fa6207d0 100644 --- a/src/main/sidekick_version.ml +++ b/src/main/sidekick_version.ml @@ -1,2 +1 @@ -let version = {git|6aafaad48f3f58db2eec039347a42ba1c4511a6c -|git} \ No newline at end of file +let version = {git|dev|git} \ No newline at end of file