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 ? > 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
_______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
