blob: 67bbe5f617184129093410e46a96ace177c8bfaa (
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
|
PORTNAME= gfan
DISTVERSION= 0.6.2
PORTREVISION= 2
CATEGORIES= math
MASTER_SITES= https://users-math.au.dk/jensen/software/gfan/
DISTNAME= ${PORTNAME}${DISTVERSION}
MAINTAINER= moritz@schmi.tt
COMMENT= Software for computing Groebner fans and tropical varieties
LICENSE= GPLv2+
LICENSE_FILE= ${WRKSRC}/COPYING
LIB_DEPENDS= libcddgmp.so:math/cddlib \
libgmp.so:math/gmp
USES= compiler:c++11-lang gmake localbase
OPTIONS_DEFINE= DOCS EXAMPLES
CFLAGS+= -DGMPRATIONAL
LDFLAGS+= -L${LOCALBASE}/lib
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/gfan ${STAGEDIR}${PREFIX}/bin
cd ${STAGEDIR}${PREFIX}/bin && ./gfan installlinks
post-install-DOCS-on:
@${MKDIR} ${STAGEDIR}${DOCSDIR}
${INSTALL_MAN} ${WRKSRC}/doc/manual.dvi ${STAGEDIR}${DOCSDIR}
${INSTALL_MAN} ${WRKSRC}/doc/*.eps ${STAGEDIR}${DOCSDIR}
post-install-EXAMPLES-on:
@${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
${CP} ${WRKSRC}/examples/* ${STAGEDIR}${EXAMPLESDIR}
do-test:
cd ${WRKSRC} && ./gfan _test
.include <bsd.port.mk>
|
