From 0909650814e5f2baa7eb6aa04fdca4ebf9cea448 Mon Sep 17 00:00:00 2001 From: Your Name Date: Fri, 1 Mar 2019 17:53:52 +0100 Subject: [PATCH] tmp --- dune | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/dune b/dune index 44683b84d..a0aa8eec8 100644 --- a/dune +++ b/dune @@ -39,3 +39,15 @@ (action (copy LexerMain.exe Lexer.exe)) (mode promote-until-clean) ) + +(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")) +) + +(rule + (targets verb) + (deps vera) + (action (run "sh" "-c" "cat vera > verb")) +)