rm -f $(TODO)
%.moo:
- $(MATITAC) $(MATITA_FLAGS) -q -I @ROOT@ $<
+ if [ -z "$<" ]; then \
+ echo "missing dependencies for $@"; \
+ else \
+ $(MATITAC) $(MATITA_FLAGS) -q -I @ROOT@ $<; \
+ fi
@DEPFILE@ : $(SRC)
- $(MATITADEP) $(MATITA_FLAGS) -I '@ROOT@' $^ 1> @DEPFILE@
+ $(MATITADEP) $(MATITA_FLAGS) -I '@ROOT@' $^ 1> @DEPFILE@ 2>@DEPFILE@.errors
# this is the depend for full targets like:
# dir/dir/name.moo: dir/dir/name.ma dir/dep.moo