Ticket #12173: trac_12173-root.patch

File trac_12173-root.patch, 749 bytes (added by jpflori, 9 years ago)

Root patch

  • spkg/standard/deps 

    # HG changeset patch
# User Jean-Pierre Flori <jean-pierre.flor@ssi.gouv.fr>
# Date 1353682845 -3600
# Node ID f8bbea0baf80e7bdb7a0db058252e79da3e59010
# Parent  478466b29305bde748d829b0b49b68e9b1c4c77b
#12173: Make FLINT spkg depend on MPFR spkg

diff --git a/spkg/standard/deps b/spkg/standard/deps
    a b  
    415415$(INST)/$(FLINTQS): $(INST)/$(MPIR)
    416416        +$(PIPE) "$(SAGE_SPKG) $(FLINTQS) 2>&1" "tee -a $(SAGE_LOGS)/$(FLINTQS).log"
    417417
    418 $(INST)/$(FLINT): $(INST)/$(MPIR) $(INST)/$(NTL)
     418$(INST)/$(FLINT): $(INST)/$(MPIR) $(INST)/$(MPFR) $(INST)/$(NTL)
    419419        +$(PIPE) "$(SAGE_SPKG) $(FLINT) 2>&1" "tee -a $(SAGE_LOGS)/$(FLINT).log"
    420420
    421421# EXTCODE depends on SAGE_ROOT_REPO because it needs SAGE_EXTCODE