On Oct 27, 2015, at 5:48 AM, Federico Reghenzani
wrote:
>
> Oh good, thank you all and sorry for the banal question.
No worries -- don't fret about asking banal questions here. We try to document
as best we can, but there's a lot of "tribal knowledge" that is in the heads of
the Open MPI dev
Oh good, thank you all and sorry for the banal question.
__
Federico Reghenzani
M.Eng. Student @ Politecnico di Milano
Computer Science and Engineering
2015-10-27 13:38 GMT+01:00 Jeff Squyres (jsquyres) :
> In addition to what others said, check out this wiki page -- it offers
> some insight i
In addition to what others said, check out this wiki page -- it offers some
insight in this kind of stuff:
https://github.com/open-mpi/ompi/wiki/devel-CreateComponent
> On Oct 27, 2015, at 5:11 AM, Federico Reghenzani
> wrote:
>
> Is there any option for `make` to start compilation only
Federico,
in order to build one component, just cd into the component directory (in
build directory if you are using VPATH) and run make (install)
components and frameworks depend on other framework, so it is generally
safer to run make from the top build directory
Cheers,
Gilles
On Tuesday, O
Note that I’m assuming that all changes are in the component whose directory
you are doing the “make” in…
> On Oct 27, 2015, at 5:16 AM, Ralph Castain wrote:
>
> Not at the framework level, but you can cd into any component directory and
> do a “make install” and then just execute again.
>
>
Not at the framework level, but you can cd into any component directory and do
a “make install” and then just execute again.
> On Oct 27, 2015, at 5:11 AM, Federico Reghenzani
> wrote:
>
> Is there any option for `make` to start compilation only for one framework or
> component? Even if ther
Is there any option for `make` to start compilation only for one framework
or component? Even if there are no modifications a simple make takes on my
machine ~24sec to check all ompi directories (I know this is not a big
time, but it's a bit tedious during development)
Cheers,
Federico
__
Federi