simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat(main): simpler computation of version

Browse source
This commit is contained in:
Simon Cruanes 2019-12-28 08:31:41 -06:00
parent 62b1d83cd6
commit 9ba5f508ce
2 changed files with 2 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/main/dune
View file

@ -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))

3
src/main/sidekick_version.ml
View file

@ -1,2 +1 @@
let version = {git|6aafaad48f3f58db2eec039347a42ba1c4511a6c
|git}
let version = {git|dev|git}