[PPL-devel] PPL compilation error

[Roberto Bagnara]

On 11/30/20 3:13 PM, Mathieu Dutour wrote:
> Dear authors of PPL,
> 
> I have following compilation error for Parma Polyhedral Library 1.2
> on Macintosh:
> 
> ./OR_Matrix_inlines.hh:100:8: error: missing 'typename' prior to dependent type template name 'OR_Matrix<T>::Pseudo_Row'
> inline OR_Matrix<T>::Pseudo_Row<U>&
> 
> (base) ➜ ppl-1.2 g++ -v
> Configured with: --prefix=/Library/Developer/CommandLineTools/usr --with-gxx-include-dir=/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/4.2.1
> Apple clang version 11.0.3 (clang-1103.0.32.59)
> Target: x86_64-apple-darwin20.1.0
> Thread model: posix
> InstalledDir: /Library/Developer/CommandLineTools/usr/bin
> 
> --------
> 
> I originally send my bugreport to support at bugseng.com <mailto:support at bugseng.com> and Roberto
> Bagnara told me that this error is likely corrected long ago on the git
> repository. I tried compiling that one.
> I get an error in "src/BUGS.cc" with
> BUGS.cc:25:3: error: use of undeclared identifier 'nullptr'
> 
> --------
> 
> Let me know how I can help you fixing those issues.

Dear Mathieu,

you need to instruct your compiler to comply to a more
recent version of the C++ language.  The most handy
way to obtain that is using the --with-cxxflags="-std=c++11"
configure option.
Kind regards,

    Roberto

-- 
      Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                               BUGSENG srl - http://bugseng.com
                               mailto:roberto.bagnara at bugseng.com