diff options
| author | Jimmy Olgeni <olgeni@FreeBSD.org> | 2007-06-14 12:36:16 +0000 |
|---|---|---|
| committer | Jimmy Olgeni <olgeni@FreeBSD.org> | 2007-06-14 12:36:16 +0000 |
| commit | f4581821cf09b8ecd1b1e1cccb8e380ac19a5197 (patch) | |
| tree | 05eed57a3afe8c6de1d72fa10bfa76cfd446735c /lang/erlang | |
| parent | 78c1231b28c2935769ebe96f5fd0bed43f83455b (diff) | |
Notes
Diffstat (limited to 'lang/erlang')
| -rw-r--r-- | lang/erlang/files/patch-lib_typer_src_typer__info.erl | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/lang/erlang/files/patch-lib_typer_src_typer__info.erl b/lang/erlang/files/patch-lib_typer_src_typer__info.erl new file mode 100644 index 000000000000..953e440d5980 --- /dev/null +++ b/lang/erlang/files/patch-lib_typer_src_typer__info.erl @@ -0,0 +1,13 @@ + +$FreeBSD$ + +--- lib/typer/src/typer_info.erl.orig ++++ lib/typer/src/typer_info.erl +@@ -123,6 +123,5 @@ + dialyzerObj=NewDialyzerObj}. + + get_dialyzer_plt() -> +- DialyzerDir = code:lib_dir(dialyzer), +- Dialyzer_Init_Plt = filename:join([DialyzerDir,"plt","dialyzer_init_plt"]), ++ Dialyzer_Init_Plt = filename:join([os:getenv ("HOME"), ".dialyzer_init_plt"]), + dialyzer_plt:from_file(typer_plt, Dialyzer_Init_Plt). |