[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