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@cs.unipr.it
On 04/10/21 18:36, Zhoulai Fu@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@cs.unipr.it https://www.cs.unipr.it/mailman/listinfo/ppl-devel