mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-22 04:17:44 +00:00
67 lines
1.7 KiB
Makefile
67 lines
1.7 KiB
Makefile
# New ports collection makefile for: gprolog
|
|
# Date created: 30 June 2001
|
|
# Whom: Douglas Anestad <yotta@dougdidit.com>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= gprolog
|
|
PORTVERSION= 1.2.18
|
|
PORTREVISION= 3
|
|
CATEGORIES= lang
|
|
MASTER_SITES= ${MASTER_SITE_DEBIAN} ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/:doc
|
|
MASTER_SITE_SUBDIR= pool/main/g/${PORTNAME}
|
|
DISTFILES= ${PORTNAME}_${PORTVERSION}.orig${EXTRACT_SUFX}
|
|
.if !defined(NOPORTDOCS)
|
|
DISTFILES+= manual.pdf.gz:doc manual-html.tar.gz:doc
|
|
.endif
|
|
DIST_SUBDIR= gprolog
|
|
EXTRACT_ONLY= ${PORTNAME}_${PORTVERSION}.orig${EXTRACT_SUFX}
|
|
|
|
MAINTAINER= vs@FreeBSD.org
|
|
COMMENT= A free Prolog compiler
|
|
|
|
ONLY_FOR_ARCHS= i386
|
|
|
|
WRKSRC= ${WRKDIR}/${PORTNAME}_${PORTVERSION}.orig/src/src
|
|
|
|
USE_GCC= 2.95
|
|
USE_GMAKE= yes
|
|
USE_AUTOTOOLS= autoconf:261
|
|
CONFIGURE_TARGET= --build=${MACHINE_ARCH}-portbld-freebsd${OSREL}
|
|
CONFIGURE_ARGS= --with-c-flags="${CFLAGS}" \
|
|
--with-doc-dir=none \
|
|
--with-examples-dir="${EXAMPLESDIR}"
|
|
|
|
PLIST_SUB+= GPROLOG_VER=${PORTVERSION}
|
|
|
|
PORTDOCS= *
|
|
|
|
.include <bsd.port.pre.mk>
|
|
|
|
.if defined(WITHOUT_FD)
|
|
CONFIGURE_ARGS+=--disable-fd-solver
|
|
PLIST_SUB+= FD="@comment "
|
|
PKGNAMESUFFIX= -nofd
|
|
.else
|
|
PLIST_SUB+= FD=""
|
|
.endif
|
|
|
|
post-extract:
|
|
@${CP} ${PORTSDIR}/Templates/config.sub ${WRKSRC}
|
|
|
|
post-patch:
|
|
@${REINPLACE_CMD} -e \
|
|
's|<malloc\.h>|<stdlib.h>|g' ${WRKSRC}/EnginePl/machine.c
|
|
|
|
post-install:
|
|
. if !defined(NOPORTDOCS)
|
|
@${MKDIR} ${DOCSDIR}
|
|
@cd ${DOCSDIR} && ${GZIP_CMD} -cd ${_DISTDIR}/manual.pdf.gz >manual.pdf
|
|
@cd ${DOCSDIR} && ${TAR} zxf ${_DISTDIR}/manual-html.tar.gz
|
|
@${FIND} ${DOCSDIR}/ -type f -exec ${CHMOD} ${SHAREMODE} {} \;
|
|
@${FIND} ${DOCSDIR}/ -type f -exec ${CHOWN} ${SHAREOWN}:${SHAREGRP} {} \;
|
|
. endif
|
|
|
|
.include <bsd.port.post.mk>
|