Closed w-bruns closed 2 years ago
If you want to build statically, this is still needed I think. Otherwise, it's not needed.
Otherwise, these don't depend on the version of e-antic but on the version of its dependencies, namely that patch is not needed if FLINT is at least 2.8.4 (the latest release) but there is no flag to disable the patch in that case yet.
The Normaliz installation script for e-aqntic contains the lines
Are they still needed in 1.1.0?