From 9ba5f508cebb82e98f6b4ad3e052bb5fb7ad4775 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 28 Dec 2019 08:31:41 -0600
Subject: [PATCH] feat(main): simpler computation of version

---
 src/main/dune                | 5 +----
 src/main/sidekick_version.ml | 3 +--
 2 files changed, 2 insertions(+), 6 deletions(-)

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