aboutsummaryrefslogtreecommitdiffstats
path: root/lang/xsb/Makefile
blob: 7204f8b8c13dfa158f502f826eb6486b730efadb (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
# 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=   ${MASTER_SITE_SOURCEFORGE}
MASTER_SITE_SUBDIR= ${PORTNAME:L}
DISTNAME=   ${PORTNAME}-${PORTVERSION:S/./_/g}

MAINTAINER= c.rued@xsb.com
COMMENT=    A tabled Logic Programming and Deductive Database system

BUILD_DEPENDS=  makedepend:${X_IMAKE_PORT}

WRKSRC=     ${WRKDIR}/XSB/build
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}

.include <bsd.port.pre.mk>

.if ${ARCH} != "i386" && ${ARCH} != "sparc64"
BROKEN=     "Does not compile on !i386 and !sparc64"
.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

.include <bsd.port.post.mk>