headers
Roberto Aloi | 9 Apr 2010 13:00

Dialyzer Documentation

Hi all,

in:

http://www.erlang.org/doc/man/dialyzer.html

The correct analysis types should be:

{analysis_type,  'succ_typings' | 'plt_add' | 'plt_build' | 'plt_check'
| 'plt_remove'}

rather than:

{analysis_type,  'success_typings' | 'plt_add' | 'plt_build' |
'plt_check' | 'plt_remove'}

as in the source code (dialyzer_options.erl):

    analysis_type ->
      NewOptions =
	case Value of
	  succ_typings -> Options#options{analysis_type = Value};
	  plt_add      -> Options#options{analysis_type = Value};
	  plt_build    -> Options#options{analysis_type = Value};
	  plt_check    -> Options#options{analysis_type = Value};
	  plt_remove   -> Options#options{analysis_type = Value};
	  dataflow  -> bad_option("Analysis type is no longer supported", Term);
	  old_style -> bad_option("Analysis type is no longer supported", Term);
	  Other     -> bad_option("Unknown analysis type", Other)
(Continue reading)

Permalink | Reply | 1 comment |
headers
Kostis Sagonas | 9 Apr 2010 13:39
Picon

Re: Dialyzer Documentation

Roberto Aloi wrote:
> Hi all,
> 
> in:
> 
> http://www.erlang.org/doc/man/dialyzer.html
> 
> The correct analysis types should be:
> 
> {analysis_type,  'succ_typings' | 'plt_add' | 'plt_build' | 'plt_check'
> | 'plt_remove'}
> 
> rather than:
> 
> {analysis_type,  'success_typings' | 'plt_add' | 'plt_build' |
> 'plt_check' | 'plt_remove'}

A fix for this has been pushed to git:

http://github.com/kostis/otp/commit/3d5677439f9cdb87807530c181a4388e3dfc6aea

and will hopefully also appear soon on the 'dev' branch of Erlang/OTP.

Thanks for reporting this!

Kostis

________________________________________________________________
erlang-bugs (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
(Continue reading)

Permalink | Reply | 0 comments |
headers
Aaron Winborn | 9 Apr 2010 13:53
Favicon

Unable to compile erlang-dev 1:13.b.4

sudo su
mkdir erlang-dev-src
cd erlang-dev-src
wget 
http://ftp.de.debian.org/debian/pool/main/e/erlang/erlang_13.b.4-dfsg-4.dsc
wget 
http://ftp.de.debian.org/debian/pool/main/e/erlang/erlang_13.b.4-dfsg.orig.tar.gz 

wget 
http://ftp.de.debian.org/debian/pool/main/e/erlang/erlang_13.b.4-dfsg-4.diff.gz 

dpkg-source -x erlang_13.b.4-dfsg-4.dsc
cd erlang-13.b.4-dfsg
dpkg-buildpackage -rfakeroot -b

truncated output after 1.25 hrs:

(.:13709): Gtk-WARNING **: cannot open display:
make[4]: *** [../pdf/stdlib-1.16.5.pdf] Error 1
make[4]: Leaving directory 
`/home/advomatic/erlang-dev-src/erlang-13.b.4-dfsg/lib/stdlib/doc/src'
make[3]: *** [docs] Error 2
make[3]: Leaving directory 
`/home/advomatic/erlang-dev-src/erlang-13.b.4-dfsg/lib/stdlib'
make[2]: *** [docs] Error 2
make[2]: Leaving directory 
`/home/advomatic/erlang-dev-src/erlang-13.b.4-dfsg/lib'
make[1]: *** [docs] Error 2
make[1]: Leaving directory 
`/home/advomatic/erlang-dev-src/erlang-13.b.4-dfsg'
(Continue reading)

Permalink | Reply | 2 comments |
headers
Tuncer Ayaz | 9 Apr 2010 14:20
Picon

Re: Unable to compile erlang-dev 1:13.b.4

On Fri, Apr 9, 2010 at 1:53 PM, Aaron Winborn <winborn <at> advomatic.com> wrote:
> sudo su
> mkdir erlang-dev-src
> cd erlang-dev-src
> wget
> http://ftp.de.debian.org/debian/pool/main/e/erlang/erlang_13.b.4-dfsg-4.dsc
> wget
> http://ftp.de.debian.org/debian/pool/main/e/erlang/erlang_13.b.4-dfsg.orig.tar.gz
> wget
> http://ftp.de.debian.org/debian/pool/main/e/erlang/erlang_13.b.4-dfsg-4.diff.gz
> dpkg-source -x erlang_13.b.4-dfsg-4.dsc
> cd erlang-13.b.4-dfsg
> dpkg-buildpackage -rfakeroot -b
>
> truncated output after 1.25 hrs:
>
> (.:13709): Gtk-WARNING **: cannot open display:

To understand the issue at hand please search for
"apache fop headless server".

That might help you decide what you can do to fix the issue.

I am assuming that you want to build all docs and need the
resulting PDF files.

> make[4]: *** [../pdf/stdlib-1.16.5.pdf] Error 1
> make[4]: Leaving directory
> `/home/advomatic/erlang-dev-src/erlang-13.b.4-dfsg/lib/stdlib/doc/src'
> make[3]: *** [docs] Error 2
(Continue reading)

Permalink | Reply | 0 comments |
headers
Sergei Golovan | 9 Apr 2010 14:24
Picon

Re: Unable to compile erlang-dev 1:13.b.4

On Fri, Apr 9, 2010 at 3:53 PM, Aaron Winborn <winborn <at> advomatic.com> wrote:
> dpkg-buildpackage: failure: fakeroot debian/rules binary gave error exit
> status 2
> vps205:/home/advomatic/erlang-dev-src/erlang-13.b.4-dfsg#
>
> Apparently, it's requiring X server? That's not possible on our
> configuration. What should I do next?

When you build Erlang R13B04 in Debian (and from the Debian source
package) it builds Erlang documentation from its sources. It requires
fop tool which apparently doesn't work without X server in curent
stable (lenny). So, if you want to build the Debian package I'd
suggest to setup a build environment with X server (may be the dummy
one, see xserver-xorg-video-dummy package).

Anyway, this list doesn't seem to be an appropriate place to discuss
distribution-specific problems. Submitting a bugreport to
submit <at> bugs.debian.org would be better.

Cheers!
--

-- 
Sergei Golovan

________________________________________________________________
erlang-bugs (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-bugs-unsubscribe <at> erlang.org
Permalink | Reply | 0 comments |
headers
Roberto Aloi | 9 Apr 2010 15:44

About Dialyzer and its dependencies

Hi all,

I'm trying to include dialyzer in my application and I've noticed that
one of its dependencies (wx) was missing an .app file. I've also noticed
this has been fixed in the 'dev' branch of OTP.

Still, another dependency (hipe) has something strange in its .app file:

  {modules, [cerl_cconv,
	     cerl_closurean,
	     cerl_hipeify,
	     cerl_hybrid_transform,
	     cerl_lib,
	     cerl_messagean,
	     cerl_pmatch,
	     cerl_prettypr,
	     cerl_to_icode,
	     cerl_typean,
	     erl_bif_types,
	     erl_types,
	     hipe,
	     hipe_adj_list,
	     hipe_amd64_assemble,
	     hipe_amd64_defuse,
	     hipe_amd64_encode,
	     hipe_amd64_frame,
	     hipe_amd64_liveness,
	     hipe_amd64_main,
	     hipe_amd64_pp,
	     hipe_amd64_ra,
(Continue reading)

Permalink | Reply | 3 comments |
headers
Kostis Sagonas | 9 Apr 2010 16:44
Picon

Re: About Dialyzer and its dependencies

Roberto Aloi wrote:
> Hi all,
> 
> I'm trying to include dialyzer in my application and I've noticed that
> one of its dependencies (wx) was missing an .app file. I've also noticed
> this has been fixed in the 'dev' branch of OTP.
> 
> Still, another dependency (hipe) has something strange in its .app file:
> 
>   {modules, [cerl_cconv,  ....
> 
> Lots of these modules seems to be architecture-dependent and I'm
> obviously missing most of them. Why they are listed in the .app file?

There is nothing architecture dependent here (but all these files are of 
course dependent on whether you have configured OTP with --enable-hipe 
or not).

Anyway, these are the files of the 'hipe' application.  Where exactly do 
you want us to specify them if not in the .app file of the corresponding 
application?  In any case, if you think that something is wrong or does 
not match your needs, submit a git patch and we will consider it.

Best,
Kostis

________________________________________________________________
erlang-bugs (at) erlang.org mailing list.
See http://www.erlang.org/faq.html
To unsubscribe; mailto:erlang-bugs-unsubscribe <at> erlang.org
(Continue reading)

Permalink | Reply | 0 comments |
headers
Mikael Pettersson | 9 Apr 2010 16:45
Picon
Picon
Favicon

Re: About Dialyzer and its dependencies

Roberto Aloi writes:
 > Hi all,
 > 
 > I'm trying to include dialyzer in my application and I've noticed that
 > one of its dependencies (wx) was missing an .app file. I've also noticed
 > this has been fixed in the 'dev' branch of OTP.
 > 
 > Still, another dependency (hipe) has something strange in its .app file:
...
 > 	     hipe_amd64_assemble,
 > 	     hipe_amd64_defuse,
 > 	     hipe_amd64_encode,
...
 > Lots of these modules seems to be architecture-dependent and I'm
 > obviously missing most of them. Why they are listed in the .app file?

Because they are part of HiPE and get built when HiPE proper is built.
And while there are many arch-dependent modules, all of them get built.
(HiPE can cross-compile, but issues with the runtime system prevent
it from actually working.)

 > This is what I get when trying to build everything:
 > 
 > Creating boot script
 > {{module_not_found,hipe,hipe},
 >  {hipe,'$$ignore$$',hipe,"3.7.5","lib/hipe-3.7.5/ebin"}}
 > {{module_not_found,hipe,hipe_adj_list},
 >  {hipe_adj_list,'$$ignore$$',hipe,"3.7.5","lib/hipe-3.7.5/ebin"}}
 > {{module_not_found,hipe,hipe_amd64_assemble},
 >  {hipe_amd64_assemble,'$$ignore$$',hipe,"3.7.5","lib/hipe-3.7.5/ebin"}}
(Continue reading)

Permalink | Reply | 0 comments |
headers
Roberto Aloi | 9 Apr 2010 19:47

Re: About Dialyzer and its dependencies

Hi all,

first of all thanks to Kostis and Mikael for their considerations.

You're both perfectly right. I didn't realize the story behind the
--enable-hipe flag at a first glance. I had hipe disabled, so the system
couldn't find the "optional" modules. I'm trying to fix this, generating
the proper hipe.app file based on the fact hipe is enabled or not.

I'm almost done, but considering it's almost weekend, I'll probably push
the changes on monday.

Have a great weekend,

Roberto Aloi

--

-- 
University of Kent - Erlang Solutions Ltd.
Twitter:  <at> prof3ta
Blog: http://aloiroberto.wordpress.com
---------------------------------------------------

---------------------------------------------------

WE'VE CHANGED NAMES!

Since January 1st 2010 Erlang Training and Consulting Ltd. has become ERLANG SOLUTIONS LTD.

www.erlang-solutions.com
(Continue reading)

Permalink | Reply | 0 comments |
headers
Angel | 10 Apr 2010 00:34
Picon

missing libGLU dependencies on Wx


Using OpenSUSE 11.2 erlang packages:

Name        : erlang                       Relocations: (not relocatable)
Version     : R13B04                            Vendor: obs://build.opensuse.org/devel:languages:erlang
Release     : 2.1                           Build Date: mar 23 mar 2010 15:34:01 CET
Install Date: vie 09 abr 2010 22:04:36 CEST      Build Host: build19
Group       : Development/Languages/Erlang   Source RPM: erlang-R13B04-2.1.src.rpm
Size        : 52685133                         License: Erlang Public License
Signature   : DSA/SHA1, mar 23 mar 2010 15:36:51 CET, Key ID e457ae6fa34552c6
URL         : http://www.erlang.org

 sinchan <at> sushiba:/usr/lib/erlang/lib/wx-0.98.5/examples/demo> erl -smp enable
Erlang R13B04 (erts-5.7.5) [source] [smp:1:1] [rq:1] [async-threads:0] [hipe] [kernel-poll:false]                                        

Eshell V5.7.5  (abort with ^G)
1> demo:start().              

=ERROR REPORT==== 9-Apr-2010::23:59:04 ===
WX Failed loading "wxe_driver" <at> "/usr/lib/erlang/lib/wx-0.98.5/priv/i686-pc-linux-gnu" 
{error,{{load_driver,"undefined symbol: gluNewTess"},                                 
        [{wxe_server,start,0},                                                        
         {wx,new,1},                                                                  
         {demo,init,1},                                                               
         {wx_object,init_it,6},                                                       
         {proc_lib,init_p_do_apply,3}]}}                                              
2>                  

________________________________________________________________
erlang-bugs (at) erlang.org mailing list.
(Continue reading)

Permalink | Reply | 1 comment |

Gmane