1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-05 06:27:37 +00:00
freebsd-ports/lang/gprolog/Makefile
Volker Stolz 00cd57b7a9 Somehow GCC 3.x generates a gprolog binary which fails immediately on startup.
Fall back to GCC 2.95 and bump PORTREVISION accordingly.
This update also brings back the FD-solver!

Maybe somebody should check what other distros do about this, but e.g. blindly
applying the Debian patch set doesn't fix this error.

Reminded by: Fernando López
2006-03-16 09:43:10 +00:00

63 lines
1.5 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= 1
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:253
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}
.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
. endif
.include <bsd.port.post.mk>