sage -i normaliz fails on cygwin due to e-antic

[Max Kölbl]

Dear everyone,

It is me again with a different problem.

While trying to run `sage -i normaliz`, an error occured due to e-antic.

The log is attached.

I also tried as a workaround to build normaliz directly, but the `install_normaliz_with_eantic.sh`-script failed too (but I don't know where to ask about this).

Thank you very much in advance!

Max

[Vincent Delecroix]

Hi Max,

Could you try to build the last version of e-antic (1.2.1) in the sage
environment ? In the sage shell, this is achieved with

$ wget https://github.com/flatsurf/e-antic/releases/download/1.2.1/e-antic-1.2.1.tar.gz
$ tar xf e-antic-1.2.1.tar.gz
$ cd e-antic-1.2.1
$ ./configure --without-byexample --without-pytest --without-doc
$ make

In case it fails, reply to this message or open an issue at
https://github.com/flatsurf/e-antic

Best
Vincent

> --
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/ed4afc25-7402-4226-be26-32226de91bd7n%40googlegroups.com.

[Matthias Koeppe]

That would be the upgrade ticket https://trac.sagemath.org/ticket/31588

[Max Kölbl]

@Vincent thank you very much!

I opened the subshell by typing

$ cd '/home/Ray/sage/sage/local/var/tmp/sage/build/e_antic-1.2.1' && '/home/Ray/sage/sage/sage' --buildsh

and then I ran your suggestions, but I got an error again. These are the last lines in the shell:

> checking for antic/nf.h... no
> configure: error: antic headers not found
> configure: error: ./configure failed for libeantic

Is that the correct setting in the first place?

After that, I tried installing antic in the sage environment directly, but the compilation also failed.

Should I still open an issue on

https://github.com/flatsurf/e-antic ?

Thank you very much in advance!

@Matthias thank you! That's good to know!

[Vincent Delecroix]

Your compilation problem comes from the fact that antic
(https://github.com/wbhart/antic) is not available. You should install
it first. If you are familiar with (or curious about)
compilation/installation in the sage environment you can install the
full normaliz stack manually. Otherwise you might just want to wait
for the upgrade ticket to be ready.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/8d72c0f9-630d-4f5a-96fd-f0a4462c0998n%40googlegroups.com.

[Matthias Koeppe]

On Friday, July 29, 2022 at 7:35:37 AM UTC-7 vdelecroix wrote:

Your compilation problem comes from the fact that antic
(https://github.com/wbhart/antic) is not available. You should install
it first. If you are familiar with (or curious about)
compilation/installation in the sage environment you can install the
full normaliz stack manually. Otherwise you might just want to wait
for the upgrade ticket to be ready.

Clearly there is a third option: Max can just pull the branch from the upgrade ticket and try it.

There's no need to build the dependencies by hand

 

 

[Max Kölbl]

Thanks everyone for the suggestions!

I tried (and failed with) both options 1 and 2, and now I would like to try option 3.

However, if I'm being honest, I have no idea what to do.

What do I need and how does one pull a branch from a ticket?

Than you very much in advance!

[Matthias Koeppe]

See https://doc.sagemath.org/html/en/developer/manual_git.html

[Dima Pasechnik]

Option 4 would be to use WSL instead of Cygwin.

--

You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/a1d7f630-f213-4c0e-ba12-497d75fb1121n%40googlegroups.com.

[Max Kölbl]

Option 4 sounds good and I'll keep it in mind, but for now I would like to follow through with option 3.

I pulled the branch of the ticket and had no issues there.

Then I ran `./sage -i normaliz` again.

Upgrading Sage ran without problems as usual.

Then I got the following error:

***********************************************
make[1]: Entering directory '/home/Ray/sage/sage/build/make'
make[1]: *** No rule to make target 'antic', needed by '/home/Ray/sage/sage/local/var/lib/sage/installed/e_antic-1.2.0'.  Stop.
make[1]: Leaving directory '/home/Ray/sage/sage/build/make'

real    0m0.170s
user    0m0.124s
sys     0m0.015s
***************************************************************
Error building Sage.

In case it helps, I attached the makefile.

Sorry for all the inconveniences and thanks for the help!

[Matthias Koeppe]

You may need to run "./bootstrap"

[Max Kölbl]

Thank you! That worked. Now `make` seems to have instructions it can follow.

It tried to download antic-0.2.4 from a list of different mirrors, none of which provides it at the moment (see attachment for details).

Is that deliberate? Or is something on my machine misconfigured again?

[Dima Pasechnik]

I guess this version of antic is not on the mirrors yet. run

./configure --enable-download-from-upstream-url

then it should work.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/4e2bae6a-cf1e-440f-984f-87d926dc5c34n%40googlegroups.com.

[Max Kölbl]

Thank you for the suggestion!

I ran it and a completely unrelated problem with giac occured (log attached).

I sincerely hope that anybody else finds this thread useful because I don't want to waste anyone's times with trivial problems.

[Dima Pasechnik]

giac's problem might be fixable by

https://trac.sagemath.org/ticket/34152

So you can pull this branch on top, and

re-run ./bootstrap,

followed by 

make build 

To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/90077feb-e5fa-4eea-9486-aea068507cf2n%40googlegroups.com.

[Matthias Koeppe]

Help is needed with the giac package on Cygwin. See https://trac.sagemath.org/ticket/34269

[Max Kölbl]

It seems like my biggest problem is the fact that I'm using Cygwin rather than anything else.

Unfortunately I can't use WSL because my OS is too old (Windows 8), so I decided to finally switch to Linux instead.

Thanks to everyone for your help and for giving me very good reason to switch!