Changeset 1925 for trunk/configure


Ignore:
Timestamp:
May 24, 2013 6:08:57 AM (6 years ago)
Author:
stefan
Message:

fix recognition of Glpk source in configure

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/configure

    r1857 r1925  
    2149321493    # If none of the files in the third argument is available, then we consider the project directory as non-existing.
    2149421494    # However, if no third argument is given, then this means that there should be no check, and existence of the directory is sufficient.
    21495     for i in $srcdir/ThirdParty/Glpk/glpk/include/glpk.h; do
     21495    for i in $srcdir/ThirdParty/Glpk/glpk/src/glpk.h; do
    2149621496         if test -r $i; then
    2149721497           coin_has_glpk="yes"
Note: See TracChangeset for help on using the changeset viewer.