mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-03 01:23:49 +00:00
290b515ad5
All install a program bin/pl.
31 lines
705 B
Makefile
31 lines
705 B
Makefile
# New ports collection makefile for: SWI-Prolog
|
|
# Date created: 10 August 1996
|
|
# Whom: Michael Butschky <butsch@computi.erols.com>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= swi-pl
|
|
PORTVERSION= 5.0.10
|
|
CATEGORIES= lang
|
|
MASTER_SITES= ftp://ftp.swi.psy.uva.nl/pub/SWI-Prolog/
|
|
DISTNAME= pl-${PORTVERSION}
|
|
|
|
MAINTAINER= max@FreeBSD.org
|
|
COMMENT= Edinburgh-style Prolog compiler
|
|
|
|
CONFLICTS= ploticus-* slffea-*
|
|
USE_GMAKE= yes
|
|
GNU_CONFIGURE= yes
|
|
CONFIGURE_ARGS= --host=${MACHINE_ARCH}-${OPSYS:L}
|
|
STRIP=
|
|
MAN1= pl.1 plrc.1 plld.1
|
|
PLIST_SUB= DISTNAME=${DISTNAME} ARCH=${ARCH} OS=${OPSYS:L}
|
|
|
|
post-install:
|
|
.for f in pl plld plrc
|
|
@${STRIP_CMD} ${PREFIX}/lib/${DISTNAME}/bin/${ARCH}-${OPSYS:L}/$f
|
|
.endfor
|
|
|
|
.include <bsd.port.mk>
|