diff options
| author | olgeni <olgeni@FreeBSD.org> | 2006-12-12 01:28:59 +0800 |
|---|---|---|
| committer | olgeni <olgeni@FreeBSD.org> | 2006-12-12 01:28:59 +0800 |
| commit | fd108f56744451b4a9050dcd375a1c22a2ba6f37 (patch) | |
| tree | 3f904aba89663c29a52eb99f7ab912a2fb5247db /lang/erlang/Makefile | |
| parent | daf1a8152ac3df724c02543221186f99b973a021 (diff) | |
| download | freebsd-ports-gnome-fd108f56744451b4a9050dcd375a1c22a2ba6f37.tar.gz freebsd-ports-gnome-fd108f56744451b4a9050dcd375a1c22a2ba6f37.tar.zst freebsd-ports-gnome-fd108f56744451b4a9050dcd375a1c22a2ba6f37.zip | |
Disable automatic PLT generation. Add the following patches:
* patch-lib_dialyzer_src_Makefile
Avoid computing the PLT when building the port. It may take so
long that the port building cluster thinks this is a runaway port.
* patch-lib_dialyzer_src_dialyzer__cl.erl
Trick dialyzer into building the PLT even after the port is installed.
* patch-lib_dialyzer_src_dialyzer__cl__parse.erl
Let every user have his own initial PLT in ~/.dialyzer_init_plt.
When dialyzer is invoked the PLT will be rebuilt if needed.
This commit will fix both ports/105869 and the pointyhat port checks.
Diffstat (limited to 'lang/erlang/Makefile')
| -rw-r--r-- | lang/erlang/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/erlang/Makefile b/lang/erlang/Makefile index 2041b48b3328..092c5d0dc701 100644 --- a/lang/erlang/Makefile +++ b/lang/erlang/Makefile @@ -8,6 +8,7 @@ PORTNAME= erlang PORTVERSION= r11b2 PORTEPOCH= 1 +PORTREVISION= 1 CATEGORIES= lang parallel MASTER_SITES= http://www.erlang.org/download/ \ ftp://ftp.erlang.org/pub/download/ \ |