Last change
on this file since 63 was 56, checked in by yakumo.izuru, 15 months ago |
[bugfix] Remove unescaped '$' character from cli/edit.ml
Signed-off-by: Izuru Yakumo <yakumo.izuru@…>
|
File size:
528 bytes
|
Line | |
---|
1 | OS=`uname -s`
|
---|
2 | MACHINE=`uname -m`
|
---|
3 | DATE=`date -r _build/default/cli/txt.exe +%Y%m%d`
|
---|
4 | COMMIT=`git rev-parse --short HEAD`
|
---|
5 | PREFIX=/usr/local
|
---|
6 |
|
---|
7 | CC=cc
|
---|
8 | LD=cc
|
---|
9 |
|
---|
10 | all:
|
---|
11 | dune build
|
---|
12 | deps:
|
---|
13 | opam install dune ocurl cmdliner=1.0.4 msgpck
|
---|
14 | cli:
|
---|
15 | dune build cli/txt.exe
|
---|
16 | clean:
|
---|
17 | dune clean
|
---|
18 | dist:
|
---|
19 | dune build
|
---|
20 | cp _build/default/cli/txt.exe txt.exe
|
---|
21 | strip txt.exe
|
---|
22 | tar czvf "logarion-${OS}-${MACHINE}-${DATE}-${COMMIT}" txt.exe readme.txt
|
---|
23 | rm txt.exe
|
---|
24 | install:
|
---|
25 | dune install --prefix ${PREFIX}
|
---|
26 | uninstall:
|
---|
27 | dune uninstall --prefix ${PREFIX}
|
---|
28 | .PHONY: cli
|
---|
Note:
See
TracBrowser
for help on using the repository browser.