On Fri, Mar 19, 2021 at 08:26:32PM +0100, [email protected] wrote:
> PS Question 2 without some misprints (sorry!):
>
> 2) Questions on safe cleaning before a rebuild.
>
> Suppose that at time t0 I execute:
>
> cd $BuildDir && configure --prefix=$InstallDir "${SysOptions[@]}" && make &&
> sudo make install.
>
> Then at time t1 > t0 I want to rebuild (maybe the sources changed, maybe not)
> and I execute
>
> cd $BuildDir && configure --prefix=$InstallDir "${SysOptions[@]}" && make &&
> sudo make install
>
> 2.1 Will the second ``make`` properly delete all the previous fricas-related
> contents in $BuildDir or shall I manually delete them before?
I think there is some misconception in this question. Namely, "make"
is supposed to do _minimal_ recompilation/rebuild, avoiding
recompiling things that do not change (or possibly change in
inessential way (like date of file)). Of course "make" itself
does not know what is needed, so it must be told what to do
by giving it appropirate rules which roughly are of sort
"if date/time of file A has is newer than date/time of file B,
then run specifiled command". Those rules are collected in
Makefiles.
Assuming that our Makefiles work correctly there is no need
to delete anything produced by previous run of "make"
before next run. Having said this, various corner cases
there get very little testing so bugs are possible.
> 2.2 Will the second ``make install`` properly delete all the previous
> fricas-related contents in $InstallDIr or shall I manually delete them
> before?
Again, running "make install" multiple times is supposed to work.
> 2.3 May I omit ``configure --prefix=$InstallDir "${SysOptions[@]}`` (same
> parameters!) in the second build?
If you have the same parameters it is better to omit "configure"
part.
--
Waldek Hebisch
--
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/20210319221242.GA24079%40math.uni.wroc.pl.
