1.1 --- a/scripts/bootstrap.sh	Mon Jul 16 16:21:40 2018 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,157 +0,0 @@
     1.4 -#!/bin/bash
     1.5 -#
     1.6 -# This file is a part of LEMON, a generic C++ optimization library.
     1.7 -#
     1.8 -# Copyright (C) 2003-2009
     1.9 -# Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
    1.10 -# (Egervary Research Group on Combinatorial Optimization, EGRES).
    1.11 -#
    1.12 -# Permission to use, modify and distribute this software is granted
    1.13 -# provided that this copyright notice appears in all copies. For
    1.14 -# precise terms see the accompanying LICENSE file.
    1.15 -#
    1.16 -# This software is provided "AS IS" with no warranty of any kind,
    1.17 -# express or implied, and with no claim as to its suitability for any
    1.18 -# purpose.
    1.19 -
    1.20 -
    1.21 -if [ ! -f ~/.lemon-bootstrap ]; then
    1.22 -    echo 'Create ~/.lemon-bootstrap'.
    1.23 -    cat >~/.lemon-bootstrap <<EOF
    1.24 -#
    1.25 -# Default settings for bootstraping the LEMON source code repository
    1.26 -#
    1.27 -EOF
    1.28 -fi
    1.29 -
    1.30 -source ~/.lemon-bootstrap
    1.31 -if [ -f ../../../.lemon-bootstrap ]; then source ../../../.lemon-bootstrap; fi
    1.32 -if [ -f ../../.lemon-bootstrap ]; then source ../../.lemon-bootstrap; fi
    1.33 -if [ -f ../.lemon-bootstrap ]; then source ../.lemon-bootstrap; fi
    1.34 -if [ -f ./.lemon-bootstrap ]; then source ./.lemon-bootstrap; fi
    1.35 -
    1.36 -
    1.37 -function augment_config() { 
    1.38 -    if [ "x${!1}" == "x" ]; then
    1.39 -        eval $1=$2
    1.40 -        echo Add "'$1'" to '~/.lemon-bootstrap'.
    1.41 -        echo >>~/.lemon-bootstrap
    1.42 -        echo $3 >>~/.lemon-bootstrap
    1.43 -        echo $1=$2 >>~/.lemon-bootstrap
    1.44 -    fi
    1.45 -}
    1.46 -
    1.47 -augment_config LEMON_INSTALL_PREFIX /usr/local \
    1.48 -    "# LEMON installation prefix"
    1.49 -
    1.50 -augment_config GLPK_PREFIX /usr/local/ \
    1.51 -    "# GLPK installation root prefix"
    1.52 -
    1.53 -augment_config COIN_OR_PREFIX /usr/local/coin-or \
    1.54 -    "# COIN-OR installation root prefix (used for CLP/CBC)"
    1.55 -
    1.56 -augment_config SOPLEX_PREFIX /usr/local/soplex \
    1.57 -    "# Soplex build prefix"
    1.58 -
    1.59 -
    1.60 -function ask() {
    1.61 -echo -n "$1 [$2]? "
    1.62 -read _an
    1.63 -if [ "x$_an" == "x" ]; then
    1.64 -    ret="$2"
    1.65 -else
    1.66 -    ret=$_an
    1.67 -fi
    1.68 -}
    1.69 -
    1.70 -function yesorno() {
    1.71 -    ret='rossz'
    1.72 -    while [ "$ret" != "y" -a "$ret" != "n" -a "$ret" != "yes" -a "$ret" != "no" ]; do
    1.73 -        ask "$1" "$2"
    1.74 -    done
    1.75 -    if [ "$ret" != "y" -a "$ret" != "yes" ]; then
    1.76 -        return 1
    1.77 -    else
    1.78 -        return 0
    1.79 -    fi
    1.80 -}
    1.81 -
    1.82 -if yesorno "External build" "n"
    1.83 -then
    1.84 -    CONFIGURE_PATH=".."
    1.85 -else
    1.86 -    CONFIGURE_PATH="."
    1.87 -    if yesorno "Autoreconf" "y"
    1.88 -    then
    1.89 -        AUTORE=yes
    1.90 -    else
    1.91 -        AUTORE=no
    1.92 -    fi
    1.93 -fi
    1.94 -
    1.95 -if yesorno "Optimize" "n" 
    1.96 -then
    1.97 -    opt_flags=' -O2'
    1.98 -else
    1.99 -    opt_flags=''
   1.100 -fi
   1.101 -
   1.102 -if yesorno "Stop on warning" "y" 
   1.103 -then
   1.104 -    werror_flags=' -Werror'
   1.105 -else
   1.106 -    werror_flags=''
   1.107 -fi
   1.108 -
   1.109 -cxx_flags="CXXFLAGS=-ggdb$opt_flags$werror_flags"
   1.110 -
   1.111 -if yesorno "Check with valgrind" "n" 
   1.112 -then
   1.113 -    valgrind_flags=' --enable-valgrind'
   1.114 -else
   1.115 -    valgrind_flags=''
   1.116 -fi
   1.117 -
   1.118 -if [ -f ${GLPK_PREFIX}/include/glpk.h ]; then
   1.119 -    if yesorno "Use GLPK" "y"
   1.120 -    then
   1.121 -        glpk_flag="--with-glpk=$GLPK_PREFIX"
   1.122 -    else
   1.123 -        glpk_flag="--without-glpk"
   1.124 -    fi
   1.125 -else
   1.126 -    glpk_flag="--without-glpk"        
   1.127 -fi
   1.128 -
   1.129 -if [ -f ${COIN_OR_PREFIX}/include/coin/config_coinutils.h ]; then
   1.130 -    if yesorno "Use COIN-OR (CBC/CLP)" "n"
   1.131 -    then
   1.132 -        coin_flag="--with-coin=$COIN_OR_PREFIX"
   1.133 -    else
   1.134 -        coin_flag="--without-coin"
   1.135 -    fi
   1.136 -else
   1.137 -    coin_flag="--without-coin"        
   1.138 -fi
   1.139 -
   1.140 -if [ -f ${SOPLEX_PREFIX}/src/soplex.h ]; then
   1.141 -    if yesorno "Use Soplex" "n"
   1.142 -    then
   1.143 -        soplex_flag="--with-soplex=$SOPLEX_PREFIX"
   1.144 -    else
   1.145 -        soplex_flag="--without-soplex"
   1.146 -    fi
   1.147 -else
   1.148 -    soplex_flag="--without-soplex"
   1.149 -fi
   1.150 -
   1.151 -if [ "x$AUTORE" == "xyes" ]; then
   1.152 -    autoreconf -vif;
   1.153 -fi
   1.154 -${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \
   1.155 -$valgrind_flags \
   1.156 -"$cxx_flags" \
   1.157 -$glpk_flag \
   1.158 -$coin_flag \
   1.159 -$soplex_flag \
   1.160 -$*