Frédéric Blanqui
Frédéric Blanqui
Change introduced in #834. Will try to fix it.
This is useful because make doesn't know which files need to be recompiled. If you ask make to compile a.lp, it won't do it since a.lp didn't change.
For lambdapi depend, we don't need to parse everything. We just need to get the list of require commands.
See https://github.com/fblanqui/lib/
Should I change my Makefile?
But aren't you going to recompile everything, even the files that do not need to be recompiled? For instance, what if I also have a file c.lp which depends neither...
Note that a proof library is not like a program: you may not have a single main file main.lp, but several, and you don't want to enumerate them.
Hi @rlepigre . I have a problem with your Makefile: ``` 09:05 ~/src/lambdapi/mylib (master) make lambdapi check --gen-obj Bool.lp NatBool.lp List.lp Logic.lp Set.lp Nat.lp Checked [/home/blanqui/src/lambdapi/mylib/Set.lp] Checked [/home/blanqui/src/lambdapi/mylib/Bool.lp] Ill-formed argument...
Compilation stops at the first error, even with the option -k. This is unfortunate.