Failure to compile barvinok (0.41.2) with pet

[Kornilios Kourtis]

Hi all,

I'm trying to compile barvinok (0.41.2) with pet. (Compiling without pet works fine.)

If I use:

./configure --with-pet=bundled

I get:

configure: isl sources in /usr/src/other/barvinok/isl

checking which isl to use... build

./configure: line 17031: syntax error near unexpected token `ISL,'

./configure: line 17031: `      PKG_CHECK_MODULES(ISL, isl)'

configure: error: ./configure failed for pet

If I use:

./configure --with-pet=bundled --with-isl=bundled

I get:

configure: error: Setting ../isl implies use of build isl

configure: error: ./configure failed for pet

Any hints or pointers?

The reason I'm looking at pet is because I'm trying to understand how you can generate the access relation (as described in https://lirias.kuleuven.be/retrieve/361209) from a nest loop of statements that access objects. If you could point me to resources that describe this or code that is simpler than pet, that would also be helpful.

Thanks,

Kornilios.

[Sven Verdoolaege]

On Mon, Jul 08, 2019 at 07:23:42AM -0700, Kornilios Kourtis wrote:
> Hi all,
>
> I'm trying to compile barvinok (0.41.2) with pet. (Compiling without pet
> works fine.)
>
> If I use:
>
> ./configure --with-pet=bundled
>
> I get:
>
> configure: isl sources in /usr/src/other/barvinok/isl
> checking which isl to use... build
> ./configure: line 17031: syntax error near unexpected token `ISL,'
> ./configure: line 17031: ` PKG_CHECK_MODULES(ISL, isl)'
> configure: error: ./configure failed for pet

I'm guessing you're not using the release, but the git repo.
In that case, you need pkg-config (see pet/README).

> If I use:
>
> ./configure --with-pet=bundled --with-isl=bundled
>
> I get:
>
> configure: error: Setting ../isl implies use of build isl
> configure: error: ./configure failed for pet

This is a minor bug.
It's relatively harmless because the options you specified
are the defaults.

> The reason I'm looking at pet is because I'm trying to understand how you
> can generate the access relation (as described
> in https://lirias.kuleuven.be/retrieve/361209) from a nest loop of
> statements that access objects. If you could point me to resources that
> describe this or code that is simpler than pet, that would also be helpful.

You'll have to be a bir more specific about which relation you mean.

skimo

[Kornilios Kourtis]

On Monday, 8 July 2019 20:12:30 UTC+2, skimo wrote:

On Mon, Jul 08, 2019 at 07:23:42AM -0700, Kornilios Kourtis wrote:
> Hi all,
>
> I'm trying to compile barvinok (0.41.2) with pet. (Compiling without pet
> works fine.)
>
> If I use:
>
> ./configure --with-pet=bundled
>
> I get:
>
> configure: isl sources in /usr/src/other/barvinok/isl
> checking which isl to use... build
> ./configure: line 17031: syntax error near unexpected token `ISL,'
> ./configure: line 17031: `      PKG_CHECK_MODULES(ISL, isl)'
> configure: error: ./configure failed for pet

I'm guessing you're not using the release, but the git repo.
In that case, you need pkg-config (see pet/README).

Indeed I was. I've downloaded the release,and configure works.

Thanks,

Kornilios.