1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-23 09:10:43 +00:00
freebsd-ports/math/facile/Makefile

29 lines
589 B
Makefile
Raw Normal View History

# Created by: arved
# $FreeBSD$
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
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>