[PATCH] [Polly] Remove the PoCC and ScopLib support

[Tobias Grosser]

Hi Johannes,

could you please mention in the commit message that interested user are 
invited to use Polly 3.4.2 or to start an out-of-tree research branch of
Polly using the patches available in our git history.

On 13/08/2014 02:27, Johannes Doerfert wrote:
> +  <h4>Polly drops the support of ScopLib and the external optimizer PoCC</h4>
> +  The support for ScopLib as an exchange format has been removed as recent
> +  versions of clan, candl and pluto all support the OpenScop exchange format.
> +
> +  The support of the external optmizer PoCC has been dropped in favor of the
> +  isl optimizer (default) and the still available pluto support.

PoCC has a couple of optimization that may be interesting to 
researchers. I would prefer if you could mention that for researchers 
PoCC can still be the preferred optimizer and that the reason we remove 
PoCC support from Polly is that it was difficult to maintain this 
support within the fast pace of LLVM development. We encourage 
interested developers to discuss how to maintain PoCC support without
risking for it to be out-of-sync.

Cheers,
Tobias