[PPL-devel] Errors when compiling ppl1.1

[Roberto Bagnara]

Hi Zohulai.

PPL 1.1 cannot be compiled with modern C++ compilers.
I suggest you use the Git version, devel branch.
You can clone the repository as follows:

     git clone http://git.bugseng.com/ppl/ppl

then

     git checkout devel

Please let me know if you need further help.
Kind regards,

    Roberto

Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematical, Physical and Computer Sciences
University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it

On 04/10/21 18:36, Zhoulai Fu at Gmail wrote:
> Hello,
> 
> I got errors when compiling ppl1.1 from a Mac OS.  Any idea how to fix this?
> 
> 
> In file included from Box.cc:25:
> In file included from ./Box_defs.hh:2284:
> In file included from ./Box_templates.hh:38:
> In file included from ./BD_Shape_defs.hh:2368:
> In file included from ./BD_Shape_inlines.hh:31:
> In file included from ./Octagonal_Shape_defs.hh:36:
> In file included from ./OR_Matrix_defs.hh:607:
> ./OR_Matrix_inlines.hh:100:9: error: missing 'typename' prior to dependent type template name 'OR_Matrix<T>::Pseudo_Row'
> inline  OR_Matrix<T>::Pseudo_Row<U>&
>          ^
> ./OR_Matrix_inlines.hh:101:1: error: expected unqualified-id
> typename OR_Matrix<T>::Pseudo_Row<U>::operator=(const Pseudo_Row& y) {
> ^
> 1 warning and 16 errors generated.
> make[3]: *** [Box.lo] Error 1
> make[2]: *** [all] Error 2
> make[1]: *** [all-recursive] Error 1
> make: *** [all] Error 2
> 
> BR,
> 
> --------------------------------------------------------
> Zhoulai Fu, PhD
> Assistant Professor of Computer Science
> Software Quality Research group
> IT University of Copenhagen, Denmark
> www.zhoulaifu.com <http://www.zhoulaifu.com>
> --------------------------------------------------------
> 
> 
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> https://www.cs.unipr.it/mailman/listinfo/ppl-devel
>