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.