1996-10-25 12:18:26 +02:00
|
|
|
# New ports collection makefile for: SWI-Prolog
|
|
|
|
|
# Date created: 10 August 1996
|
|
|
|
|
# Whom: Michael Butschky <butsch@computi.erols.com>
|
|
|
|
|
#
|
1999-08-25 08:35:40 +02:00
|
|
|
# $FreeBSD$
|
1996-10-25 12:18:26 +02:00
|
|
|
#
|
|
|
|
|
|
2000-04-12 08:21:15 +02:00
|
|
|
PORTNAME= swi-pl
|
2001-01-01 23:13:17 +01:00
|
|
|
PORTVERSION= 3.4.4
|
1999-04-20 12:51:46 +02:00
|
|
|
CATEGORIES= lang
|
1996-10-25 12:18:26 +02:00
|
|
|
MASTER_SITES= ftp://swi.psy.uva.nl/pub/SWI-Prolog/
|
2000-06-26 11:08:28 +02:00
|
|
|
DISTNAME= pl-${PORTVERSION}
|
1996-10-25 12:18:26 +02:00
|
|
|
|
1999-08-31 08:53:31 +02:00
|
|
|
MAINTAINER= max@FreeBSD.org
|
1996-10-25 12:18:26 +02:00
|
|
|
|
1999-07-08 13:11:14 +02:00
|
|
|
USE_GMAKE= yes
|
1996-10-25 12:18:26 +02:00
|
|
|
WRKSRC= ${WRKDIR}/${DISTNAME}/src
|
|
|
|
|
GNU_CONFIGURE= yes
|
2001-01-01 23:13:17 +01:00
|
|
|
CONFIGURE_ARGS= --host=${ARCH}-${OS}
|
1996-10-25 12:18:26 +02:00
|
|
|
STRIP=
|
|
|
|
|
MAKE_FLAGS+= CIFLAGS=-DRTLD_LAZY -f
|
1999-04-20 12:51:46 +02:00
|
|
|
MAN1= pl.1 plrc.1 plld.1
|
2001-01-01 23:13:17 +01:00
|
|
|
PLIST_SUB= DISTNAME=${DISTNAME} ARCH=${ARCH} OS=${OS}
|
|
|
|
|
|
|
|
|
|
OS!= uname -s | tr '[:upper:]' '[:lower:]'
|
1996-10-25 12:18:26 +02:00
|
|
|
|
|
|
|
|
post-install:
|
2000-06-26 11:08:28 +02:00
|
|
|
.for f in pl plld plrc
|
2001-01-01 23:13:17 +01:00
|
|
|
@/usr/bin/strip ${PREFIX}/lib/${DISTNAME}/bin/${ARCH}-${OS}/$f
|
1996-10-25 12:18:26 +02:00
|
|
|
.endfor
|
|
|
|
|
|
|
|
|
|
.include <bsd.port.mk>
|
