Have you tried asking on flint-devel? If their Makefiles don't work on some systems then they should know that.
John On 21 March 2014 15:37, Jean-Pierre Flori <jpfl...@gmail.com> wrote: > > > On Friday, March 21, 2014 4:23:49 PM UTC+1, kcrisman wrote: >> >> I'm going to have a stream-of-consciousness thing here. >> >>> At first sight the Makefile does not look that bad. >>> (And Makefile.subdirs is not touched, so yours is the same as every >>> other's one.) >>>> >>>> >> >> Nonetheless this is the problem, I think. If you substitute things in >> line 41 of Makefile.subdirs, you get >> >> >> -include $(patsubst %, %.d, $(patsubst %.c, $(BUILD_DIR)/%$(EXEEXT), >> $(wildcard profile/*.c))) >> >> BUILD_DIR is clearly defined in Makefile in the profile target. >> >> Okay, it looks like this is all happening during >> >> >> >> $(AT)$(foreach dir, $(BUILD_DIRS), mkdir -p build/$(dir)/profile; >> BUILD_DIR=../build/$(dir); export BUILD_DIR; $(MAKE) -f ../Makefile.subdirs >> -C $(dir) profile || exit $$?;) >> >> At the very top of Makefile we have >> >> EXEEXT= >> > That's ok and correct. > > -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-release+unsubscr...@googlegroups.com. > To post to this group, send email to sage-release@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-release. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at http://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.