chkr/gen_version.sh

   1 #!/bin/sh
   2 set -e
   3
   4 [ "$1" = "" ] && {
   5   echo "I need the dune-project version as arg" 1>&2
   6   exit 1
   7 }
   8 [ "$GIT_SHA" = "" ] && GIT_SHA="$(git log -1 --format="%h")"
   9
  10 cat <<EOF
  11 (* generated by $0 *)
  12 let dune_project_version = "$1"
  13 let git_sha = "$GIT_SHA"
  14 EOF