From 935940301df3c2f376eafab2d8c7f27628a51cd2 Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Mon, 28 Feb 2011 17:05:46 +0200 Subject: Create plt with erts, kernel and stdlib only --- lib/dialyzer/test/dialyzer.spec | 4 +++- lib/dialyzer/test/dialyzer_common.erl | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) (limited to 'lib/dialyzer') diff --git a/lib/dialyzer/test/dialyzer.spec b/lib/dialyzer/test/dialyzer.spec index 962a2e63db..7499dbad1e 100644 --- a/lib/dialyzer/test/dialyzer.spec +++ b/lib/dialyzer/test/dialyzer.spec @@ -1,3 +1,5 @@ {alias, tests, "../dialyzer_test"}. -{suites, tests, all}. \ No newline at end of file +{suites, tests, all}. + +{skip_cases, tests, small_tests_SUITE, cerl_hipeify, "Needs compiler in plt"}. \ No newline at end of file diff --git a/lib/dialyzer/test/dialyzer_common.erl b/lib/dialyzer/test/dialyzer_common.erl index cd2e76473a..5577405483 100644 --- a/lib/dialyzer/test/dialyzer_common.erl +++ b/lib/dialyzer/test/dialyzer_common.erl @@ -22,7 +22,7 @@ -define(plt_filename,"dialyzer_plt"). -define(home_plt_filename,".dialyzer_plt"). -define(plt_lockfile,"plt_lock"). --define(required_modules, [kernel,stdlib,compiler,erts,mnesia]). +-define(required_modules, [erts, kernel, stdlib]). -record(suite, {suitename :: string(), outputfile :: file:io_device(), -- cgit v1.2.3