|
From: | Éloi Rivard |
Subject: | Re: [Denemo-devel] Denemo warnings and code cleanup |
Date: | Tue, 4 Jun 2013 13:23:44 +0200 |
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.
This has to be done in the source directory not the build directory
>
> What do you think of automatically call ./generate_source
> and ./extract_scheme before compiling the src directory ?
though.
How would you determine the dependencies?
[Prev in Thread] | Current Thread | [Next in Thread] |