Changeset 2275


Ignore:
Timestamp:
Jan 27, 2012 8:25:01 AM (8 years ago)
Author:
bradbell
Message:

special_version.sh: Enable user to specify configure command line options.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/bin/special_version.sh

    • Property svn:keywords set to Id
    r2274 r2275  
    11#! /bin/bash -e
    2 # $Id:$
     2# $Id$
    33# -----------------------------------------------------------------------------
    44# CppAD: C++ Algorithmic Differentiation: Copyright (C) 2003-12 Bradley M. Bell
     
    3434then
    3535        echo "Using the existing directory ../special-$version"
     36        if [ -e ../special-$version/work ]
     37        then
     38                echo "rm -r ../special-$version/work"
     39                rm -r ../special-$version/work
     40        fi
    3641else
    3742        echo "svn checkout -r $cppad_revision $url ../special-$version"
     
    8186        ;;
    8287esac
    83 echo "./build.sh automake configure"
    84 ./build.sh automake configure
     88echo "mkdir work ; cd work"
     89mkdir work ; cd work
     90response='n'
     91while [ "$response" != 'y' ]
     92do
     93        dir=`pwd`
     94        echo "current working: $dir"
     95        echo "Enter configure options on next line (no options is default)"
     96        read -p "options: " options
     97        echo "../configure $options"
     98        read -p "Is this ok [y/n] ?" response
     99done
     100echo "../configure $options"
     101../configure $options
    85102#
    86 echo "cd work/multi_thread"
    87 cd work/multi_thread
    88 #
    89 echo "make test"
    90 make test
     103echo "cd multi_thread ; make test"
     104cd multi_thread ; make test
Note: See TracChangeset for help on using the changeset viewer.