File tree Expand file tree Collapse file tree 3 files changed +8
-6
lines changed Expand file tree Collapse file tree 3 files changed +8
-6
lines changed Original file line number Diff line number Diff line change @@ -5,12 +5,9 @@ default: build
5
5
start :
6
6
dune exec -- ./src/monorobot.exe
7
7
8
- build : gen_version
8
+ build :
9
9
dune build src/monorobot.exe
10
10
11
- gen_version :
12
- ./gen_version.sh
13
-
14
11
test :
15
12
dune runtest
16
13
23
20
dune build @fmt --auto-promote
24
21
25
22
clean :
26
- rm -f src/version.ml
27
23
dune clean
Original file line number Diff line number Diff line change 4
4
(preprocess
5
5
(pps lwt_ppx))
6
6
(public_name monorobot))
7
+
8
+ (rule
9
+ (targets version.ml)
10
+ (deps (universe) gen_version.sh)
11
+ (action
12
+ (run "./gen_version.sh")))
Original file line number Diff line number Diff line change 1
1
#! /bin/bash
2
2
3
3
VERSION=$( git describe --always --tags --dirty=+M)
4
- cat > src/ version.ml << - EOF
4
+ cat > version.ml << - EOF
5
5
(* do not edit; generated by gen_version.sh *)
6
6
7
7
let current = "$VERSION "
You can’t perform that action at this time.
0 commit comments