K 10
svn:author
V 3
lev
K 8
svn:date
V 27
2014-07-09T12:29:08.657558Z
K 7
svn:log
V 190
 (1) Add fix to build with devel/isl 0.13
 (2) Add option PURE (default OFF) to build with all provided libraries and
     skip any external dependencies, to make complete repeatable build.

END