barvinok submodules version

[Kelvin Yang]

Hi,

I am curious about the barvinok package dependencies.
When ./get_submodules.sh, it shows 
Submodule path 'isl': checked out 'b43b3e91e488add9750d92630be4fe6a890259ec'
Submodule path 'pet': checked out 'b620cc76c0b34c7dd72d05cb9ba5678992ec2a7e'
Submodule path 'polylib': checked out 'f15b757900b978f80d491d6b000eb04c9d0bd101'

On https://repo.or.cz/barvinok.git, the latest commit on the master branch of barvinok is "update isl for change in coalescing ..." which is the barvinok I get. However, when git submodule update, it checks out to the old commit.

For example, the latest isl commit on https://repo.or.cz/isl.git is 4bdfe2567715c5d1a8287c07d8685eb3db281e32.

Also, I cannot find these specific commits in the .gitmodules of barvinok.

I am checking the version of isl I am using because I cannot use isl_printer_print_set but other similar functions like isl_printer_print_union_set work fine. 

Thank you.

[Sven Verdoolaege]

On Fri, Mar 17, 2023 at 05:40:18AM -0700, Kelvin Yang wrote:
> Hi,
>
> I am curious about the barvinok package dependencies.
> When ./get_submodules.sh, it shows
> Submodule path 'isl': checked out 'b43b3e91e488add9750d92630be4fe6a890259ec'
> Submodule path 'pet': checked out 'b620cc76c0b34c7dd72d05cb9ba5678992ec2a7e'
> Submodule path 'polylib': checked out
> 'f15b757900b978f80d491d6b000eb04c9d0bd101'
>
> On https://repo.or.cz/barvinok.git, the latest commit on the master branch
> of barvinok is "update isl for change in coalescing ..." which is the
> barvinok I get. However, when git submodule update, it checks out to the
> old commit.
>
> For example, the latest isl commit on https://repo.or.cz/isl.git
> is 4bdfe2567715c5d1a8287c07d8685eb3db281e32.

That all sounds normal. Were you expecting anything else?
If so, what and why?

> Also, I cannot find these specific commits in the .gitmodules of barvinok.

The submodule commite are recorded in the git tree itself.

> I am checking the version of isl I am using because I cannot
> use isl_printer_print_set but other similar functions
> like isl_printer_print_union_set work fine.

In what way can you not use that?

skimo

[Kelvin Yang]

Hi Skimo,

I found I didn't correctly include the header file. Sorry!
Thank you for the reply.

Kelvin

Sven Verdoolaege 在 2023年3月18日 星期六凌晨4:19:23 [UTC+8] 的信中寫道：