On Tue, 2013-06-04 at 13:23 +0200, Éloi Rivard wrote: > > 2013/6/4 Richard Shann <[email protected]> > On Tue, 2013-06-04 at 11:40 +0200, Éloi Rivard wrote: > > > Tools are now built when you run make. > > > I have run my usual make (in a parallel directory to the > source > directory) and it ran ok, generating the tools in a parallel > directory > to the tools directory containing the source code of the > tools. > > > > > What do you think of automatically call ./generate_source > > and ./extract_scheme before compiling the src directory ? > > > This has to be done in the source directory not the build > directory > though. > You mean in order to make extract_scheme work ? and generate_source, they have to be executed at particular places in the source tree, not a build directory. > > > How would you determine the dependencies? > autotools are very convenient for this. It is easy to set up > dependencies between targets by playing with Makefile.am files
In this case a new *.xml file somewhere in the hierarchy below menus should trigger a re-run of extract_scheme. It will be good if it can be done. Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
