diff options
author | Björn Gustavsson <[email protected]> | 2017-04-12 15:19:23 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2017-04-20 15:00:51 +0200 |
commit | 030e6ef2efaad12d485cec1727c4b68c09c6c584 (patch) | |
tree | 1ddcc232f4ae8ae72c0baf8be93f1e97ada67362 /erts/etc/unix | |
parent | 19e9249d960a5b15b4e222efdcb96efbe122853e (diff) | |
download | otp-030e6ef2efaad12d485cec1727c4b68c09c6c584.tar.gz otp-030e6ef2efaad12d485cec1727c4b68c09c6c584.tar.bz2 otp-030e6ef2efaad12d485cec1727c4b68c09c6c584.zip |
Add back TypEr to the main OTP repository
It turned out that the dependencies between Dialyzer
and TypEr makes it impractical to have TypEr in a
separate repository.
Add it back to the OTP repository, but put the Erlang
module 'typer' in the dialyzer application.
Diffstat (limited to 'erts/etc/unix')
-rw-r--r-- | erts/etc/unix/Install.src | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/erts/etc/unix/Install.src b/erts/etc/unix/Install.src index 8be696b16f..e71308edbe 100644 --- a/erts/etc/unix/Install.src +++ b/erts/etc/unix/Install.src @@ -89,6 +89,7 @@ cd "$ERL_ROOT/bin" cp -p "$ERL_ROOT/erts-%I_VSN%/bin/erl" . cp -p "$ERL_ROOT/erts-%I_VSN%/bin/erlc" . cp -p "$ERL_ROOT/erts-%I_VSN%/bin/dialyzer" . +cp -p "$ERL_ROOT/erts-%I_VSN%/bin/typer" . cp -p "$ERL_ROOT/erts-%I_VSN%/bin/ct_run" . cp -p "$ERL_ROOT/erts-%I_VSN%/bin/escript" . |