blob: b2ae01c3e9c8b82f69cb626bb9f7fb8d5787a311 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
PORTNAME= dolmen
DISTVERSIONPREFIX= v
DISTVERSION= 0.9
PORTREVISION= 2
CATEGORIES= devel
PKGNAMEPREFIX= ocaml-
MAINTAINER= freebsd@dev.thsi.be
COMMENT= Library for writing deduction and logic languages in Objective Caml
WWW= https://github.com/Gbury/dolmen
LICENSE= BSD2CLAUSE
LICENSE_FILE= ${WRKSRC}/LICENSE
BUILD_DEPENDS= ${LOCALBASE}/bin/menhir:devel/menhir \
${SA_DIR}/farith/META:math/ocaml-farith \
${SA_DIR}/fmt/META:devel/ocaml-fmt \
${SA_DIR}/gen/META:devel/ocaml-gen \
${SA_DIR}/linol/META:devel/ocaml-linol \
${SA_DIR}/logs/META:devel/ocaml-logs \
${SA_DIR}/lsp/META:devel/ocaml-lsp \
${SA_DIR}/pp_loc/META:devel/ocaml-pp_loc \
${SA_DIR}/ppx_deriving/META:devel/ocaml-ppx_deriving \
${SA_DIR}/ppx_hash/META:devel/ocaml-ppx_hash \
${SA_DIR}/ppx_yojson_conv/META:devel/ocaml-ppx_yojson_conv \
${SA_DIR}/spelll/META:textproc/ocaml-spelll \
${SA_DIR}/uutf/META:devel/ocaml-uutf
LIB_DEPENDS= libev.so:devel/libev \
libgmp.so:math/gmp
RUN_DEPENDS= ${SA_DIR}/farith/META:math/ocaml-farith \
${SA_DIR}/fmt/META:devel/ocaml-fmt \
${SA_DIR}/gen/META:devel/ocaml-gen \
${SA_DIR}/linol/META:devel/ocaml-linol \
${SA_DIR}/logs/META:devel/ocaml-logs \
${SA_DIR}/lsp/META:devel/ocaml-lsp \
${SA_DIR}/menhirLib/META:devel/menhir \
${SA_DIR}/pp_loc/META:devel/ocaml-pp_loc \
${SA_DIR}/ppx_deriving/META:devel/ocaml-ppx_deriving \
${SA_DIR}/ppx_hash/META:devel/ocaml-ppx_hash \
${SA_DIR}/ppx_yojson_conv_lib/META:devel/ocaml-ppx_yojson_conv_lib \
${SA_DIR}/spelll/META:textproc/ocaml-spelll \
${SA_DIR}/uutf/META:devel/ocaml-uutf
USES= ocaml:dune
USE_GITHUB= yes
GH_ACCOUNT= Gbury
OCAML_PACKAGES= ${PORTNAME} ${PORTNAME}_bin ${PORTNAME}_loop \
${PORTNAME}_lsp ${PORTNAME}_model ${PORTNAME}_type
DUNE_INSTALL_TARGETS= ${OCAML_PACKAGES}
DOCSDIR= ${OCAML_DOCSDIR}
PORTDOCS= dolmen/odoc-pages/index.mld \
${OCAML_PACKAGES:@p@$p/CHANGES.md $p/LICENSE $p/README.md@}
OPTIONS_DEFINE= DOCS MANPAGES
OPTIONS_SUB= yes
SA_DIR= ${LOCALBASE}/${OCAML_SITELIBDIR}
post-patch:
@${REINPLACE_CMD} \
-e "/^version:/s/dev/${PORTVERSION}/" \
${WRKSRC}/dolmen.opam \
${WRKSRC}/dolmen_bin.opam \
${WRKSRC}/dolmen_loop.opam \
${WRKSRC}/dolmen_lsp.opam \
${WRKSRC}/dolmen_model.opam \
${WRKSRC}/dolmen_type.opam
post-install:
@${STRIP_CMD} \
${STAGEDIR}${PREFIX}/bin/dolmen \
${STAGEDIR}${PREFIX}/bin/dolmenls
@(cd ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}; \
${STRIP_CMD} \
dolmen/ae/dolmen_ae.cmxs \
dolmen/class/dolmen_class.cmxs \
dolmen/dimacs/dolmen_dimacs.cmxs dolmen/dolmen.cmxs \
dolmen/icnf/dolmen_icnf.cmxs \
dolmen/intf/dolmen_intf.cmxs \
dolmen/line/dolmen_line.cmxs \
dolmen/smtlib2/dolmen_smtlib2.cmxs \
dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmxs \
dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmxs \
dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmxs \
dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmxs \
dolmen/std/dolmen_std.cmxs \
dolmen/tptp/dolmen_tptp.cmxs \
dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmxs \
dolmen/zf/dolmen_zf.cmxs dolmen_loop/dolmen_loop.cmxs \
dolmen_model/dolmen_model.cmxs \
dolmen_type/dolmen_type.cmxs)
.include <bsd.port.mk>
|
