Ticket #14531: trac_14531.patch

File trac_14531.patch, 787 bytes (added by ncohen, 8 years ago)
  • module_list.py

    # HG changeset patch
    # User Nathann Cohen <nathann.cohen@gmail.com>
    # Date 1367707049 -7200
    # Node ID beb097c7bb47cd0f66d07718d70fd1b40ea5bbff
    # Parent  901aa6aa4ba75bca8fcd3e73d64e574a7debe63f
    Gurobi is not built anymore because of a typo !
    
    diff --git a/module_list.py b/module_list.py
    a b  
    19941994       ])
    19951995
    19961996
    1997 if (os.path.isfile(SAGE_INC + "gurobi_c.h") and                                                                                                                                                                                   
     1997if (os.path.isfile(SAGE_INC + "/gurobi_c.h") and
    19981998    os.path.isfile(SAGE_LOCAL + "/lib/libgurobi.so")):
    19991999    ext_modules.append(
    20002000        Extension("sage.numerical.backends.gurobi_backend",