mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-24 00:45:52 +00:00
Chase checksum, fix dialyzer directory path and disable analysis at build time.
This commit is contained in:
parent
cec9874c22
commit
83de9f36df
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=157628
@ -7,6 +7,7 @@
|
||||
|
||||
PORTNAME= dialyzer
|
||||
PORTVERSION= 1.4.0
|
||||
PORTREVISION= 1
|
||||
CATEGORIES= devel
|
||||
MASTER_SITES= http://www.it.uu.se/research/group/hipe/dialyzer/snapshots/
|
||||
|
||||
@ -26,7 +27,7 @@ post-patch:
|
||||
@${FIND} ${WRKSRC} -name .cvsignore | ${XARGS} ${RM}
|
||||
|
||||
do-build:
|
||||
@cd ${WRKSRC} && ./setup.sh ${PREFIX}/lib/erlang
|
||||
@cd ${WRKSRC} && ./setup.sh --no_analysis ${PREFIX}/lib/erlang
|
||||
|
||||
do-install:
|
||||
@${MKDIR} ${PREFIX}/lib/erlang/lib/${PORTNAME}-${PORTVERSION}
|
||||
|
@ -1,3 +1,3 @@
|
||||
MD5 (dialyzer-1.4.0.tar.gz) = d6a2bba5b5de587912381479b80153e1
|
||||
SHA256 (dialyzer-1.4.0.tar.gz) = decd0229b67df140d4942a7d761dcb532a4e73575b722b4166f918ed7a5db0d7
|
||||
SIZE (dialyzer-1.4.0.tar.gz) = 90450
|
||||
MD5 (dialyzer-1.4.0.tar.gz) = 686b07b793489fabf80d67d5c4f50021
|
||||
SHA256 (dialyzer-1.4.0.tar.gz) = cf614c996ad8a8ae70e5ec0167aac5e2988054e585d8b124f823ae3c7003b621
|
||||
SIZE (dialyzer-1.4.0.tar.gz) = 90457
|
||||
|
14
devel/dialyzer/files/patch-setup.sh
Normal file
14
devel/dialyzer/files/patch-setup.sh
Normal file
@ -0,0 +1,14 @@
|
||||
|
||||
$FreeBSD$
|
||||
|
||||
--- setup.sh.orig
|
||||
+++ setup.sh
|
||||
@@ -46,7 +46,7 @@
|
||||
|
||||
DIALYZER_OTP_DIR=$1
|
||||
|
||||
-DIALYZER_DIR=`pwd`
|
||||
+DIALYZER_DIR=${DIALYZER_OTP_DIR}/lib/dialyzer-${VSN}
|
||||
LN="ln -s"
|
||||
if (test `uname | grep -i cygwin`) ; then
|
||||
DIALYZER_DIR=`cygpath -m $DIALYZER_DIR`
|
Loading…
Reference in New Issue
Block a user