Ticket #10039: spkg-standard-deps.patch

File spkg-standard-deps.patch, 764 bytes (added by vbraun, 9 years ago)

diff for spkg/standard/deps

  • spkg/standard/deps

    old new  
    3535     $(INST)/$(BOEHM_GC) \
    3636     $(INST)/$(BOOST_CROPPED) \
    3737     $(INST)/$(CDDLIB) \
     38     $(INST)/$(PPL) \
    3839     $(INST)/$(CEPHES) \
    3940     $(INST)/$(CLIQUER) \
    4041     $(INST)/$(CONWAY) \
     
    347348$(INST)/$(CDDLIB): $(BASE) $(INST)/$(MPIR)
    348349        $(INSTALL) "$(SAGE_SPKG) $(CDDLIB) 2>&1" "tee -a $(SAGE_LOGS)/$(CDDLIB).log"
    349350
     351$(INST)/$(PPL): $(BASE) $(INST)/$(MPIR) $(INST)/$(GLPK) 
     352        $(INSTALL) "$(SAGE_SPKG) $(PPL) 2>&1" "tee -a $(SAGE_LOGS)/$(PPL).log"
     353
    350354$(INST)/$(GFAN): $(BASE) $(INST)/$(MPIR) $(INST)/$(CDDLIB)
    351355        $(INSTALL) "$(SAGE_SPKG) $(GFAN) 2>&1" "tee -a $(SAGE_LOGS)/$(GFAN).log"
    352356