Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

including of dependencies in makefile from library external #829

Closed
letzfets opened this issue Feb 3, 2020 · 0 comments
Closed

including of dependencies in makefile from library external #829

letzfets opened this issue Feb 3, 2020 · 0 comments

Comments

@letzfets
Copy link

letzfets commented Feb 3, 2020

The external library in mode "list and make" or "list" creates a makefile. This makefile contains in line 9:

include $(ALL_FIGURE_NAMES:%=%.dep)

When running for the first time, it creates the following error:
<main.makefile:9: main-figure0.dep: No such file or directory>
Replacing this line with

-include $(ALL_FIGURE_NAMES:%=%.dep)

would fix it. The minus sign in front tells make, not to complain if the file does not exist, but include it, if it is there.
#external

@Mo-Gul Mo-Gul added the external label Feb 3, 2020
hmenke pushed a commit that referenced this issue Feb 5, 2020
@hmenke hmenke closed this as completed Feb 6, 2020
@hmenke hmenke added this to the 3.1.6 milestone Feb 6, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

No branches or pull requests

3 participants