| Age | Commit message (Collapse) | Author |
|---|
|
|
|
HiPE is tested when running dialyzer in the 64-bit build. To avoid
running out of memory or time, dialyzer is not run in the 32-bit
build job.
Do a smoke test of HiPE by letting dialyzer create a small PLT.
We could catch more bugs by using 'configure --enable-native-libs',
but I am worried that the build would not finish in 50 minutes
(the time limit for a Travis job).
|
|
Build Erlang and run smoke test in a Docker container running
32-bit Linxux.
|
|
Running fewer jobs in parallel reduces the risk of running out
of memory.
|
|
We never use the installed Erlang package. Setting the language
to C could also allow us to build on platforms that don't support
the Erlang language (e.g. osx).
|
|
The huge log files are problematic. Add shell scripts that
captures the log output to a temporary file and only display
the log file if an error occurs.
|
|
Now that dialyzer has been optimized for memory usage,
we can combine the dialyzer invocations that use the same
options.
|
|
|
|
9e06884c3a7db started to run Dialyzer in Travis.
After that, Travis has crashed several times because of the memory
limit of 2Gb has been exceeded. Try to fix that by analyzing only
three or four applications at a time.
|
|
Build a dialyzer PLT and use it to analyze all OTP applications
that can currently be analyzed without warnings even when the
option -Wunmatched_returns is turned on. Note that the dialyzer
run does _not_ enable the option which allows for improper lists.
Applications to run dialyzer on are mentioned alphabetically.
As more applications are fixed to run cleanly even with unmatched
returns, they can be added to this list. However, there will come
a point when the warning pass of Dialyzer will run out of memory
on Travis and the process will be killed. This should be fixed in
dialyzer.
|
|
Now runs release_docs och the smoke_test
Also in paralell
|
|
|
