blob: dd1e78c35299c78b21d6c1ed670e6d59c47658de (
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
|
PORTNAME= facile
PORTVERSION= 1.1.3
PORTREVISION= 1
CATEGORIES= math
MASTER_SITES= http://opti.recherche.enac.fr/facile/distrib/
MAINTAINER= kde@FreeBSD.org
COMMENT= Functional Constraint Library
WWW= http://www.recherche.enac.fr/log/facile/
LICENSE= LGPL21
LICENSE_FILE= ${WRKSRC}/LICENSE
USES= gmake
USE_OCAML= yes
HAS_CONFIGURE= yes
ALL_TARGET= compile
post-configure:
${REINPLACE_CMD} -e "s,make,${MAKE_CMD},; \
s,cp,${INSTALL_DATA},;\
s,mkdir,${MKDIR}," ${WRKSRC}/Makefile
${REINPLACE_CMD} -e "s,${LOCALBASE},${STAGEDIR}${PREFIX}," \
${WRKSRC}/config_Makefile
.include <bsd.port.mk>
|
