Index: head/math/facile/Makefile
===================================================================
--- head/math/facile/Makefile	(revision 385012)
+++ head/math/facile/Makefile	(revision 385013)
@@ -1,28 +1,28 @@
 # Created by: arved
 # $FreeBSD$
 
 PORTNAME=	facile
 PORTVERSION=	1.1
-PORTREVISION=	4
+PORTREVISION=	5
 CATEGORIES=	math
 MASTER_SITES=	http://www.recherche.enac.fr/log/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>