diff options
Diffstat (limited to 'lang/xsb')
| -rw-r--r-- | lang/xsb/Makefile | 1 | ||||
| -rw-r--r-- | lang/xsb/pkg-comment | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/lang/xsb/Makefile b/lang/xsb/Makefile index 47aa7e7..f494a08 100644 --- a/lang/xsb/Makefile +++ b/lang/xsb/Makefile @@ -13,6 +13,7 @@ MASTER_SITE_SUBDIR= ${PORTNAME:L} DISTNAME= ${PORTNAME}-${PORTVERSION:S/./_/g} MAINTAINER= c.rued@xsb.com +COMMENT= A tabled Logic Programming and Deductive Database system WRKSRC= ${WRKDIR}/XSB/build USE_GMAKE= yes diff --git a/lang/xsb/pkg-comment b/lang/xsb/pkg-comment deleted file mode 100644 index eec4b69..0000000 --- a/lang/xsb/pkg-comment +++ /dev/null @@ -1 +0,0 @@ -A tabled Logic Programming and Deductive Database system |
