在clfs2.0中，PPL是不是多余的？

zswlb9999

在英文的CLFS2.0中，有PPL这个软件，查其介绍是
http://cross-lfs.org/view/clfs-2.0/arm/cross-tools/ppl.html


查其介绍是

The Parma Polyhedra Library (PPL) is a modern and reasonably complete library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.
在youbest的2.0原理分析中并没有安装这个软件，这个软件是不是多余的.
http://www.linuxsir.cn/bbs/showthread.php?t=267672

d00m3d

youbest 的文章已是三年前有多，你却拿今天的手册对比，不大恰当吧

CLFS SVN 手册的注解比较多一点点：
http://cross-lfs.org/view/svn/x86_64/final-system/ppl.html

The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems. CLooG-PPL requires this library.

http://cross-lfs.org/view/svn/x86_64/final-system/cloog-ppl.html

CLooG-PPL is a library to generate code for scanning Z-polyhedra. In other words, it finds code that reaches each integral point of one or more parameterized polyhedra. GCC links with this library in order to enable the new loop generation code known as Graphite.

这是新版 Toolchain （gcc-4.4.x 後追加的），跟 youbest 的文章里所用的 Toolchain 不同

但这个玩意的真正用途我也不大清楚 ：（

zswlb9999

Post by d00m3d;2034749
youbest 的文章已是三年前有多，你却拿今天的手册对比，不大恰当吧

CLFS SVN 手册的注解比较多一点点：
http://cross-lfs.org/view/svn/x86_64/final-system/ppl.html

http://cross-lfs.org/view/svn/x86_64/final-system/cloog-ppl.html

这是新版 Toolchain （gcc-4.4.x 後追加的），跟 youbest 的文章里所用的 Toolchain 不同

但这个玩意的真正用途我也不大清楚 ：（

我不是评论，是对PPL这个软件的功用不理解。按推测，它是属于数学库类的，按道理在交叉编译中是不需要的，难度要进行大量的数学运算（入复杂性的分析），要把它先加入？