the rest, it was done by the system itself...
On Tue, Jul 14, 2020 at 1:30 PM Dirk Eddelbuettel <edd at debian.org> wrote:
There is something wrong with your system / setup I did not notice first:
On 14 July 2020 at 13:08, Luigi Marongiu wrote:
| Thank you, it looks like I have already libisl:
| ```
| apt search libisl
| Sorting... Done
| Full Text Search... Done
| libisl-dbg/oldstable 0.18-1 amd64
|
| manipulating sets and relations of integer points bounded by linear
|
| constraints
|
| libisl-dev/oldstable 0.18-1 amd64
|
| manipulating sets and relations of integer points bounded by linear
|
| constraints
|
| libisl15/oldstable,now 0.18-1 amd64 [installed,automatic]
|
| manipulating sets and relations of integer points bounded by linear
|
| constraints
|
| libisl19/now 0.19-1 amd64 [installed,local]
|
| manipulating sets and relations of integer points bounded by linear
|
| constraints
| ```
| thus the problem must be with the installation step: I should tell the
| compiler to look for libisl19 instead of libisl.so.19...
|
| On Tue, Jul 14, 2020 at 12:54 PM Dirk Eddelbuettel <edd at debian.org>