On 7/3/24 21:01, Waldek Hebisch wrote:
I mean giving paths to source tree. In the past just compiling things would modify source tree (I hope that this is fixed now), so that was part of the reason.
OK. But since my sources are a git repository, I would realize if there suddenly would be some changed made by a compilation. I haven´t realized that. And if there were "git reset --hard" would give me back the exact checkout of the current HEAD.
Main point is that I want source tree in compilable state, so I modify copy in a separate directory and compile it.
You do different directories. I use git branches for that.
I am not saying that you should do what I do. Simply I have my may of working and that lead to difference that should not matter, but to avoid misunderstanding I mentioned it.
Ah, now I understand. Ralf -- 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/f02b6f13-8fc2-45bf-a894-484f9fdd239a%40hemmecke.org.
