Bug #712
Updated by John Abbott about 9 years ago
The CoCoALib binaries related to Normaliz (_e.g._ *@ExternalLibs-Normaliz.o@*) *@ExternalLibs-Normal.o@*) do not depend on the Normaliz source files.
So currently, if you change the version of Normaliz, you must delete the corresponding dot-o files inside the CoCoA code tree, and then recompile. Simply recompiling (via *@make@*) does not recognise that the Normaliz files need to be rebuilt.
So currently, if you change the version of Normaliz, you must delete the corresponding dot-o files inside the CoCoA code tree, and then recompile. Simply recompiling (via *@make@*) does not recognise that the Normaliz files need to be rebuilt.