aboutsummaryrefslogtreecommitdiff
path: root/math/facile/Makefile
blob: 445ac07df1ec8170380d461a284f0f05b4307a34 (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
PORTNAME=	facile
PORTVERSION=	1.1.3
PORTREVISION=	4
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 ocaml

HAS_CONFIGURE=	yes
ALL_TARGET=	compile

.include <bsd.port.options.mk>

.if ${ARCH} == powerpc
USE_BINUTILS=	yes
.endif

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>