[PPL-devel] clang compilation error (ppl 1.1)

Roberto Bagnara bagnara at cs.unipr.it
Tue Apr 17 11:11:45 CEST 2018


On 16/04/2018 14:00, Vincent Delecroix wrote:
> Dear ppl developers,
> 
> In the frame of our python wrapper pplpy [1] that I already reported on that list, I am facing compilation errors with clang and ppl 1.1 (on a Ubutun trusty distribution). More precisely, the error is
> 
> {{{
>     In file included from ppl/linear_algebra.cpp:609:
>     /usr/include/x86_64-linux-gnu/ppl.hh:65043:8: error: missing 'typename' prior to dependent type template name 'OR_Matrix<T>::Pseudo_Row'
>     inline OR_Matrix<T>::Pseudo_Row<U>&
>            ^
>     /usr/include/x86_64-linux-gnu/ppl.hh:97929:1: error: missing 'typename' prior to dependent type template name 'Determinate<PSET>::Binary_Operator_Assign_Lifter'
> 
> Determinate<PSET>::Binary_Operator_Assign_Lifter<Binary_Operator_Assign>
>     ^
>     1 warning and 2 errors generated.
>     error: command 'clang' failed with exit status 1
> }}}
> 
> Note that the same file `linear_algebra.cpp` compiles cleanly with gcc.
> The full logs can be found at [2].
> 
> Any help would be appreciated.
> 
> Best,
> Vincent
> 
> [1]  https://github.com/videlec/pplpy
> [2] https://travis-ci.org/videlec/pplpy/builds/367111806

Hello Vincent,

thanks for the report.  As far as I know this issue has been fixed
long ago.  Can you please try with the Git head version of PPL,
which will become PPL 1.3?  If working with Git is inconvenient
for you, we can provide a prerelease package.
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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2093 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20180417/5d07710f/attachment.bin>


More information about the PPL-devel mailing list