Ticket #12173: flint-2.3-root-5.5.rc0.patch

File flint-2.3-root-5.5.rc0.patch, 749 bytes (added by jpflori, 9 years ago)
  • spkg/standard/deps

    # HG changeset patch
    # User Jean-Pierre Flori <jean-pierre.flor@ssi.gouv.fr>
    # Date 1353682845 -3600
    # Node ID 90550dc355a45b138668e24a34a34f7afc421fa1
    # Parent  6b3e5b7c194bbcbc6ca3fc556563b77119b0f5a1
    #12173: Make FLINT spkg depend on MPFR spkg
    
    diff --git a/spkg/standard/deps b/spkg/standard/deps
    a b  
    399399$(INST)/$(FLINTQS): $(INST)/$(MPIR)
    400400        +$(PIPE) "$(SAGE_SPKG) $(FLINTQS) 2>&1" "tee -a $(SAGE_LOGS)/$(FLINTQS).log"
    401401
    402 $(INST)/$(FLINT): $(INST)/$(MPIR) $(INST)/$(NTL)
     402$(INST)/$(FLINT): $(INST)/$(MPIR) $(INST)/$(MPFR) $(INST)/$(NTL)
    403403        +$(PIPE) "$(SAGE_SPKG) $(FLINT) 2>&1" "tee -a $(SAGE_LOGS)/$(FLINT).log"
    404404
    405405# EXTCODE depends on SAGE_ROOT_REPO because it needs SAGE_EXTCODE