Ticket #12173: flint-2.3-root-5.8.b2.patch

File flint-2.3-root-5.8.b2.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 3ecd2fe7945da3dd5c82b8bf03fa1d91bc32e039
    # Parent  6d5dc421a12b34c3d0056a9b3cf2f34ab35769c3
    #12173: Make FLINT spkg depend on MPFR spkg
    
    diff --git a/spkg/standard/deps b/spkg/standard/deps
    a b  
    404404$(INST)/$(FLINTQS): $(INST)/$(MPIR)
    405405        +$(PIPE) "$(SAGE_SPKG) $(FLINTQS) 2>&1" "tee -a $(SAGE_LOGS)/$(FLINTQS).log"
    406406
    407 $(INST)/$(FLINT): $(INST)/$(MPIR) $(INST)/$(NTL)
     407$(INST)/$(FLINT): $(INST)/$(MPIR) $(INST)/$(MPFR) $(INST)/$(NTL)
    408408        +$(PIPE) "$(SAGE_SPKG) $(FLINT) 2>&1" "tee -a $(SAGE_LOGS)/$(FLINT).log"
    409409
    410410# EXTCODE depends on SAGE_ROOT_REPO because it needs SAGE_EXTCODE