-
Notifications
You must be signed in to change notification settings - Fork 5
Expand file tree
/
Copy pathdune
More file actions
22 lines (21 loc) · 718 Bytes
/
Copy pathdune
File metadata and controls
22 lines (21 loc) · 718 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(library
(name ordma)
(public_name ordma)
(wrapped false)
(libraries lwt lwt.unix lwt_log)
(c_names ordma_accept ordma_bind ordma_close ordma_connect ordma_engine ordma_listen ordma_lwt ordma_sendrecv ordma_socket ordma_sockopt)
(flags :standard -w -3-27-32-39)
(c_flags -Wall -Wextra -Werror -ggdb3 -O2)
(c_library_flags -lrdmacm)
)
(rule
(targets ordma_version.ml)
(action
(with-stdout-to %{targets}
(system "echo let git_revision = \\\"$(git describe --all --long --always --dirty)\\\";
echo let major, minor, patch = $(git describe --tags --abbrev=0 | sed s/[.]/,/g);
echo let summary = major, minor, patch, git_revision")
)
)
(mode fallback)
)