Could you say more about the problem? Our build machinery requires explicit run of 'build_setup.sh' to update 'configure'. And the reason is exactly to avoid problems like above. So, why 'autoconf' runs?
'build-setup.sh' is recommended? I never knew that. So in the same spirit, shall we update the scripts under 'config/' as well? They are seriously outdated. See also https://github.com/fricas/fricas/issues/11 . My opinion is that, since we ships both configure.ac and configure, so end users should not have to run autoconf again. In my case, since git may mess up timestamps, configure.ac can be newer than configure, then Makefile automatically implicitly checks this and try to update configure, you can see this by "make -d". -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/c98377fc-67b7-76c8-e93f-d96ec60519c5%40gmail.com.
