diff options
| author | olgeni <olgeni@FreeBSD.org> | 2006-03-19 07:40:21 +0800 |
|---|---|---|
| committer | olgeni <olgeni@FreeBSD.org> | 2006-03-19 07:40:21 +0800 |
| commit | e8463260e177888fb78815d114773f88e613d767 (patch) | |
| tree | a1e5753e8a5a6dba568dae314876740f36c84896 /devel/dialyzer | |
| parent | 38c7e8cfcbd30aa0bc3cde5c6c03d706bf81a0ab (diff) | |
| download | freebsd-ports-gnome-e8463260e177888fb78815d114773f88e613d767.tar.gz freebsd-ports-gnome-e8463260e177888fb78815d114773f88e613d767.tar.zst freebsd-ports-gnome-e8463260e177888fb78815d114773f88e613d767.zip | |
Chase checksum, fix dialyzer directory path and disable analysis at build time.
Diffstat (limited to 'devel/dialyzer')
| -rw-r--r-- | devel/dialyzer/Makefile | 3 | ||||
| -rw-r--r-- | devel/dialyzer/distinfo | 6 | ||||
| -rw-r--r-- | devel/dialyzer/files/patch-setup.sh | 14 |
3 files changed, 19 insertions, 4 deletions
diff --git a/devel/dialyzer/Makefile b/devel/dialyzer/Makefile index c84767e5b776..fee09f8e5133 100644 --- a/devel/dialyzer/Makefile +++ b/devel/dialyzer/Makefile @@ -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} diff --git a/devel/dialyzer/distinfo b/devel/dialyzer/distinfo index e39705dcaf73..7e161da2c748 100644 --- a/devel/dialyzer/distinfo +++ b/devel/dialyzer/distinfo @@ -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 diff --git a/devel/dialyzer/files/patch-setup.sh b/devel/dialyzer/files/patch-setup.sh new file mode 100644 index 000000000000..4746b8dd6b7f --- /dev/null +++ b/devel/dialyzer/files/patch-setup.sh @@ -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` |