[PPL-devel] ppl-0.11.1pre2 fails to compile on Solaris i386

Roberto Bagnara bagnara at cs.unipr.it
Tue Dec 14 21:39:17 CET 2010


On 12/14/10 21:33, Dennis Clarke wrote:
>
>
> I think, after trying oover and over for about five days that ppl can not
> be compiled on Solaris.

By chance, does Solaris define int8_t to be plain char
(that is, not `signed char', just `char')?

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it



More information about the PPL-devel mailing list