balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Hack to get propper dune dependencies for Version.ml

Browse Source
This commit is contained in:
Your Name 2019-03-01 17:59:58 +01:00
parent 0909650814
commit 15d5f2485d
4 changed files with 10 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitHEAD Symbolic link
View File

@ -0,0 +1 @@
.git/HEAD

1
.gitignore vendored
View File

@ -4,3 +4,4 @@ _build/*
.merlin
*/.merlin
*.install
/Version.ml

1
Version.ml
View File

@ -1 +0,0 @@
let version = "7445e9c0"

13
dune
View File

@ -41,13 +41,14 @@
)
(rule
(targets vera)
(deps hd)
(action (run "sh" "-c" "if git symbolic-ref HEAD; then ln -s ../../.git/\"$(git symbolic-ref HEAD)\" vera; else ln -s hd vera; fi"))
(targets Version.gitHEAD)
(deps .gitHEAD)
(action (run "sh" "-c" "if git symbolic-ref HEAD; then ln -s ../../.git/\"$(git symbolic-ref HEAD)\" Version.gitHEAD; else ln -s hd Version.gitHEAD; fi"))
)
(rule
(targets verb)
(deps vera)
(action (run "sh" "-c" "cat vera > verb"))
(targets Version.ml)
(deps Version.gitHEAD)
(action (run "sh" "-c" "printf 'let version = \"%s\"'\\\\n \"$(cat Version.gitHEAD)\" > Version.ml"))
(mode promote-until-clean)
)