-SRC=$(shell find @ROOT@ -name "*.ma" -a -type f)
+SRC=$(shell find @ROOT@ -name "*.ma" -a -type f | sed 's?^@ROOT@/??')
TODO=$(SRC:%.ma=%.mo)
MATITA_FLAGS=
MATITACLEAN=@CLEAN@
MATITADEP=@DEP@
-all: $(TODO)
+all: $(TODO)
clean:
$(MATITACLEAN) $(MATITA_FLAGS) $(SRC)
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@' -dot @DEPFILE@.dot $^ \
+ 1> @DEPFILE@ 2>@DEPFILE@.errors \
+ || (echo;cat @DEPFILE@.errors;echo;rm @DEPFILE@;false)
# this is the depend for full targets like:
# dir/dir/name.moo: dir/dir/name.ma dir/dep.moo