devel/purescript-language-server: Update to 0.15.7

Also install the script without .js extension.
This commit is contained in:
Gleb Popov 2021-10-04 13:23:02 +03:00
parent c437968838
commit feff7bce0d
2 changed files with 6 additions and 6 deletions

View file

@ -1,5 +1,5 @@
PORTNAME= purescript-language-server
PORTVERSION= 0.15.6
PORTVERSION= 0.15.7
CATEGORIES= devel textproc
MASTER_SITES= https://github.com/nwolverson/${PORTNAME}/releases/download/v${PORTVERSION}/
DISTNAME= ${PORTNAME}.js
@ -16,9 +16,9 @@ RUN_DEPENDS= node:www/node
NO_BUILD= yes
NO_ARCH= yes
PLIST_FILES= bin/${DISTNAME}
PLIST_FILES= bin/${PORTNAME}
do-install:
${INSTALL_SCRIPT} ${DISTDIR}/${DISTNAME} ${STAGEDIR}${PREFIX}/bin/
${INSTALL_SCRIPT} ${DISTDIR}/${DISTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
.include <bsd.port.mk>

View file

@ -1,3 +1,3 @@
TIMESTAMP = 1632127644
SHA256 (purescript-language-server.js) = b3b677891a3118aec9b59699cf61840a73b54ea02e91d5cbe0ea63ff18085167
SIZE (purescript-language-server.js) = 498429
TIMESTAMP = 1633342744
SHA256 (purescript-language-server.js) = 091ac797533bb84ef7158e22d998e9f8eb2e83abefd953ed2ffffdd441f312bd
SIZE (purescript-language-server.js) = 498437