Got it! Your Makefile is corrupted, see this part:
[...]
inst_pkgconf = $(INST)/pkgconf-0.9.7
inst_pkgconfig = $(INST)/pkgconfig-1.1.0
inst_planarity = $(INST)/planarity-2.2.0
inst_plantri = $(INST)/plantri-4.5
inst_polytopes_db = $(INST)/polytopes_db-20120220
inst_ppl = $(INST)/ppl-1.1
# All standard packages
[...]
This list unexpectedly ends at ppl, which means that any package which
comes alphabetically after ppl will not be installed.
I will need to see the top-level file config.log to debug this further.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
