Ticket #2417: patch-configure.diff

File patch-configure.diff, 387 bytes (added by dem5302@…, 20 years ago)

configure patch

  • configure

    old new  
    1212INCLUDES=""
    1313LIBS=""
    1414OBJS=""
    15 INSTALLDIR="/usr/bin"
    16 DEFAULT_POLYPATH=.:/usr/lib/poly:/usr/local/lib/poly
     15INSTALLDIR="../../destroot/opt/local/bin"
     16DEFAULT_POLYPATH=.:/opt/local/lib/poly
    1717
    1818# Basic operating system.  Use this to find the other parameters.
    1919OS=`uname`