Am Samstag, den 30.01.2016, 23:26 -0700 schrieb Marko Dimjašević:
> Dear all,
>
> I've been working on creating a Debian package for the KLEE tool per
> the
> following ITP:
>
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=576142
>
> One of the tool's dependencies is LLVM 3.4. However,
Hi,
I did some more investigation and played around with the
Build-Dependencies and added
ocl-icd-opencl-dev | opencl-dev,
pocl-opencl-icd | opencl-icd
but without any luck. I tried to run the affected test in a local
chroot environment which worked nicely. So I
2 matches
Mail list logo