Ticket #12173: 00-mpfr.patch

File 00-mpfr.patch, 897 bytes (added by jpflori, 10 years ago)

Make FLINT spkg depend on MPFR spkg

  • spkg/standard/deps

    # HG changeset patch
    # User Jean-Pierre Flori <jean-pierre.flor@ssi.gouv.fr>
    # Date 1343994440 -7200
    # Node ID 71a768aa6a785e6d9cd04cd562a65b57e98e2fcd
    # Parent  020e07afcb23eef077e51f3414167624fc486330
    #12173: Make FLINT spkg depend on MPFR spkg
    
    diff -r 020e07afcb23 -r 71a768aa6a78 spkg/standard/deps
    a b  
    395395$(INST)/$(FLINTQS): $(BASE) $(INST)/$(MPIR) $(INST)/$(PATCH)
    396396        +$(PIPE) "$(SAGE_SPKG) $(FLINTQS) 2>&1" "tee -a $(SAGE_LOGS)/$(FLINTQS).log"
    397397
    398 $(INST)/$(FLINT): $(BASE) $(INST)/$(MPIR) $(INST)/$(NTL) $(INST)/$(PATCH)
     398$(INST)/$(FLINT): $(BASE) $(INST)/$(MPIR) $(INST)/$(MPFR) $(INST)/$(NTL) $(INST)/$(PATCH)
    399399        +$(PIPE) "$(SAGE_SPKG) $(FLINT) 2>&1" "tee -a $(SAGE_LOGS)/$(FLINT).log"
    400400
    401401# Mercurial must be built before building extcode. See trac ticket #6508.