diff options
| -rw-r--r-- | lang/erlang/files/patch-lib_typer_src_typer__info.erl | 13 | ||||
| -rw-r--r-- | lang/erlang14/files/patch-lib_typer_src_typer__info.erl | 13 |
2 files changed, 26 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). diff --git a/lang/erlang14/files/patch-lib_typer_src_typer__info.erl b/lang/erlang14/files/patch-lib_typer_src_typer__info.erl new file mode 100644 index 000000000000..953e440d5980 --- /dev/null +++ b/lang/erlang14/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). |