# 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}/${PORTNAME:L}/${PORTVERSION}%20%28Duff%29 DISTNAME= ${PORTNAME}-${PORTVERSION:S/./_/g} MAINTAINER= c.rued@xsb.com COMMENT= A tabled Logic Programming and Deductive Database system BUILD_DEPENDS= makedepend:${PORTSDIR}/devel/makedepend BROKEN= does not package 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 .if ${OSVERSION} >= 700042 && ${OSVERSION} < 800000 BROKEN= Does not compile on FreeBSD 7.x .endif .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 hange='this.form.submit();'> FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* audio/lash: Fixed.pc file: removed Requires line, added missing USE statementsswills2017-08-182-3/+15
| | | | | | | | | | * Removed Requires in .pc because it causes pkg-config to pass jack libraries to users that users don't need * Add needed USE_GNOME=gdkpixbuf2 cairo * PYTHON_CONFIGURE_ENABLE=pylash - pylash is still broken as before. PR: 220956 Submitted by: Yuri Victorovich <yuri@rawbw.com>
* Update devel/readline to 7.0 patch 3sunpoet2017-06-271-1/+1
| | | | | | | | | | | - Bump PORTREVISION for shlib change Changes: https://cnswww.cns.cwru.edu/php/chet/readline/CHANGES https://lists.gnu.org/archive/html/bug-bash/2016-09/msg00107.html https://lists.gnu.org/archive/html/bug-readline/2017-01/msg00002.html Differential Revision: https://reviews.freebsd.org/D11172 PR: 219947 Exp-run by: antoine
* Cleanup patches, a* categories.mat2016-07-274-12/+12
| | | | | | | Rename them to follow the make makepatch naming, and regenerate them. With hat: portmgr Sponsored by: Absolight
* Remove ${PORTSDIR}/ from dependencies, Mk and categories a, b, and c.mat2016-04-011-5/+5
| | | | | With hat: portmgr Sponsored by: Absolight
* Convert ports to use the options helpers in categories [abc]*, and minor fixes.mat2015-08-191-15/+5
| | | | | Sponsored by: Absolight Differential Revision: https://reviews.freebsd.org/D3412?
* - Strip libraryamdmi32015-06-162-6/+14
| | | | - Add PYTHON option, fix plist problems along the way