Changeset 3816 for ThirdParty/ASL


Ignore:
Timestamp:
Jun 2, 2018 8:30:27 AM (16 months ago)
Author:
stefan
Message:

download ASL from coin-or server again, then try ampl.com

  • github repo doesn't seem to be updated anymore (latest ASL is from 2016)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • ThirdParty/ASL/trunk/get.ASL

    r3813 r3816  
    1818fi
    1919
    20 coinasl=2.0.3
     20coinasl=solvers-20180528
    2121
    2222echo " "
     
    2424echo " "
    2525
    26 rm -f $coinasl.tar.gz
     26rm -f $coinasl
    2727
    28 echo "Downloading the source code from Github..."
    29 if $wgetcmd https://github.com/ampl/mp/archive/$coinasl.tar.gz ;
     28echo "Downloading the source code from www.coin-or.org..."
     29if $wgetcmd https://www.coin-or.org/BuildTools/ASL/${coinasl}.tgz ;
    3030then
    3131  echo "Download finished."
    3232else
    33   echo "Downloading from Github failed, trying www.coin-or.org..."
    34   if $wgetcmd http://www.coin-or.org/BuildTools/ASL/$coinasl.tar.gz ;
     33  echo
     34  echo "Downloading from COIN-OR failed, trying ampl.com..."
     35  if $wgetcmd https://ampl.com/netlib/ampl/solvers.tgz ;
    3536  then
    3637    echo "Download finished."
     38    mv solvers.tgz ${coinasl}.tgz
    3739  else
    3840    echo "Download failed...exiting"
     
    4345
    4446echo "Unpacking the source code..."
    45 gunzip -f $coinasl.tar.gz
     47gunzip -f ${coinasl}.tgz
    4648tar xf $coinasl.tar
    47 mv mp-$coinasl/src/asl/solvers .
    48 rm -rf mp-$coinasl
    4949
    5050echo "Adding No_dtoa to CFLAGS..."
Note: See TracChangeset for help on using the changeset viewer.