First, after you make some changes, a fresh build should work, right? (It should takes only a few minutes for a fresh build.)
Second, I assume you want to do "incremental build" after you make changes to a file? Normally a "make" in the build dir would not work -- it can have dependency issues, the Makefile is not smart enough for "incremental build" like this. You can do "incremental build" like this in a running session: launch fricas first, then type ")co path/to/file.spad". If there are no signature changes, the changes you make is available in the session. Note that ")co" may invalid previous kernel caches, so compile files first, run computations after that. - Best, - Qian On 8/16/25 2:41 AM, Ruosong Gao wrote: > I am trying to make some improvements to the INTALG.spad file to fix the > "trace 0" error commonly found when integrating higher-degree > superelliptic integrals. However, I am unable to compile the modified > INTALG.spad in the terminal as it depends on some other files, and even > when I try to brute force "make" the entire fricas repo again, I end up > getting the same errors- that there's a "double resultant package" that > has to be compiled first. > > Tried making the double resultant package and moving the > resulting .nrlib around, no success. ChatGPT or Claude isn't helpful. > > Any advice? > > -- > 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] <mailto:fricas- > [email protected]>. > To view this discussion visit https://groups.google.com/d/msgid/fricas- > devel/eb2226ec-00db-4d5f-8297-5ce8ae253c54n%40googlegroups.com <https:// > groups.google.com/d/msgid/fricas-devel/ > eb2226ec-00db-4d5f-8297-5ce8ae253c54n%40googlegroups.com? > utm_medium=email&utm_source=footer>. -- 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 visit https://groups.google.com/d/msgid/fricas-devel/52287255-ea78-4bd0-a576-1e192cd54495%40gmail.com.
