mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-26 00:55:14 +00:00
28 lines
550 B
Makefile
28 lines
550 B
Makefile
# New ports collection makefile for: facile
|
|
# Date created: 2008-02-09
|
|
# Whom: arved
|
|
#
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= facile
|
|
PORTVERSION= 1.1
|
|
PORTREVISION= 2
|
|
CATEGORIES= math
|
|
MASTER_SITES= http://www.recherche.enac.fr/log/facile/distrib/
|
|
|
|
MAINTAINER= arved@FreeBSD.org
|
|
COMMENT= A Functional Constraint Library
|
|
|
|
LICENSE= LGPL21
|
|
LICENSE_FILE= ${WRKSRC}/LICENSE
|
|
USE_OCAML= yes
|
|
HAS_CONFIGURE= yes
|
|
USE_GMAKE= yes
|
|
ALL_TARGET= compile
|
|
|
|
post-patch:
|
|
${REINPLACE_CMD} -e "s,make,${GMAKE},; \
|
|
s,cp,${INSTALL_DATA}," ${WRKSRC}/Makefile
|
|
|
|
.include <bsd.port.mk>
|