1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-05 01:55:52 +00:00
freebsd-ports/lang/xsb/Makefile

53 lines
1.2 KiB
Makefile
Raw Normal View History

# New ports collection makefile for: xsb
# Date created: 29 Jul 2001
# Whom: Christopher Rued
#
# $FreeBSD$
#
PORTNAME= XSB
PORTVERSION= 2.6
PORTREVISION= 1
CATEGORIES= lang
MASTER_SITES= SF/${PORTNAME:L}
DISTNAME= ${PORTNAME}-${PORTVERSION:S/./_/g}
MAINTAINER= c.rued@xsb.com
2003-02-21 12:35:09 +00:00
COMMENT= A tabled Logic Programming and Deductive Database system
BUILD_DEPENDS= makedepend:${PORTSDIR}/devel/makedepend
WRKSRC= ${WRKDIR}/XSB/build
2001-08-23 16:07:34 +00:00
USE_GMAKE= yes
MAN1= xsb.1
PLIST_SUB+= MACHINE_ARCH=${MACHINE_ARCH} \
OPSYS=${OPSYS:S/BSD/bsd/g:S/F/f/g:S/O/o/g:S/N/n/g}
2004-03-29 06:48:52 +00:00
.include <bsd.port.pre.mk>
2008-09-23 09:17:59 +00:00
.if ${OSVERSION} >= 700042 && ${OSVERSION} < 800000
BROKEN= Does not compile on FreeBSD 7.x
2007-10-01 09:52:51 +00:00
.endif
2005-04-10 21:14:31 +00:00
.if ${ARCH} != "i386" && ${ARCH} != "sparc64"
BROKEN= "Does not compile on !i386 and !sparc64"
2004-03-29 06:48:52 +00:00
.endif
do-build:
@ cd ${WRKSRC} ; \
./configure ; \
./makexsb ; \
./makexsb dynmodule
do-install:
@ ${CP} -r ${WRKDIR}/XSB ${PREFIX} ; \
${INSTALL_MAN} ${WRKDIR}/XSB/docs/userman/xsb.1 ${MAN1PREFIX}/man/man1 ; \
${LN} -s ${PREFIX}/XSB/docs ${PREFIX}/share/xsb ; \
${ECHO_CMD} XSB is now installed. ; \
${ECHO_CMD} To run it, execute ${PREFIX}/XSB/bin/xsb ; \
${ECHO_CMD} The user manual is in ${PREFIX}/share/xsb
2004-03-29 06:48:52 +00:00
.include <bsd.port.post.mk>