Ticket #12173: flint-2.3-root-5.6.b3.patch

File flint-2.3-root-5.6.b3.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 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