Update to SWI prolog 7.2.3
This commit is contained in:
parent
aa1231fc99
commit
094dff61db
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=395393
3 changed files with 8 additions and 5 deletions
|
@ -2,8 +2,7 @@
|
|||
# $FreeBSD$
|
||||
|
||||
PORTNAME= swi-pl
|
||||
PORTVERSION= 7.2.2
|
||||
PORTREVISION= 1
|
||||
PORTVERSION= 7.2.3
|
||||
CATEGORIES= lang
|
||||
MASTER_SITES= http://www.swi-prolog.org/download/stable/src/
|
||||
DISTNAME= swipl-${PORTVERSION}
|
||||
|
@ -61,6 +60,8 @@ post-configure:
|
|||
|
||||
post-patch:
|
||||
@${REINPLACE_CMD} -e 's!^mandir=@mandir@!mandir=${MANPREFIX}/man!' \
|
||||
-e '/-o $$@ $$(PLOBJ)/s/$$/ $$(LIBS)/' \
|
||||
-e '/ $$(SHAREDV) $$(SONAME)/d' \
|
||||
${WRKSRC}/src/Makefile.in \
|
||||
${WRKSRC}/packages/xpce/src/Makefile.in
|
||||
@${REINPLACE_CMD} -e '/EXAMPLEEXE/s/INSTALL_PROGRAM/INSTALL_SCRIPT/' \
|
||||
|
|
|
@ -1,2 +1,2 @@
|
|||
SHA256 (swipl-7.2.2.tar.gz) = c137bbe1d652a6aaa003278045e592637cd9fd5f1d52b05f9f0751bfd9449c8d
|
||||
SIZE (swipl-7.2.2.tar.gz) = 16179490
|
||||
SHA256 (swipl-7.2.3.tar.gz) = 43657d51b7c5887bc2d2bced50a9822b86a08a6841399b8e76ee877f51d646b5
|
||||
SIZE (swipl-7.2.3.tar.gz) = 16192142
|
||||
|
|
|
@ -368,6 +368,7 @@ lib/%%DISTNAME%%/lib/%%ARCH%%-%%OS%%/pdt_console.so
|
|||
lib/%%DISTNAME%%/lib/%%ARCH%%-%%OS%%/pl2xpce.so
|
||||
lib/%%DISTNAME%%/lib/%%ARCH%%-%%OS%%/porter_stem.so
|
||||
lib/%%DISTNAME%%/lib/%%ARCH%%-%%OS%%/process.so
|
||||
lib/%%DISTNAME%%/lib/%%ARCH%%-%%OS%%/prolog_stream.so
|
||||
lib/%%DISTNAME%%/lib/%%ARCH%%-%%OS%%/protobufs.so
|
||||
lib/%%DISTNAME%%/lib/%%ARCH%%-%%OS%%/rdf_db.so
|
||||
lib/%%DISTNAME%%/lib/%%ARCH%%-%%OS%%/readutil.so
|
||||
|
@ -702,6 +703,7 @@ lib/%%DISTNAME%%/library/prolog_pack.pl
|
|||
lib/%%DISTNAME%%/library/prolog_server.pl
|
||||
lib/%%DISTNAME%%/library/prolog_source.pl
|
||||
lib/%%DISTNAME%%/library/prolog_stack.pl
|
||||
lib/%%DISTNAME%%/library/prolog_stream.pl
|
||||
lib/%%DISTNAME%%/library/prolog_xref.pl
|
||||
lib/%%DISTNAME%%/library/protobufs.pl
|
||||
lib/%%DISTNAME%%/library/pure_input.pl
|
||||
|
@ -1781,5 +1783,5 @@ man/man1/swipl-ld.1.gz
|
|||
man/man1/swipl-rc.1.gz
|
||||
man/man1/swipl.1.gz
|
||||
man/man1/xpce-client.1.gz
|
||||
@dir lib/%%DISTNAME%%/xpce/bin/%%ARCH%%-%%OS%%
|
||||
@dir lib/%%DISTNAME%%/library/dialect/ifprolog
|
||||
@dir lib/%%DISTNAME%%/xpce/bin/%%ARCH%%-%%OS%%
|
||||
|
|
Loading…
Reference in a new issue