| 1 | #! /bin/bash -e |
|---|
| 2 | # ------------------------------------------------------------------- |
|---|
| 3 | # ckbs: Constrained Kalman-Bucy Smoother Program: Copyright (C) 2006 |
|---|
| 4 | # Authors: Bradlely Bell: bradbell at washington dot edu |
|---|
| 5 | # Gianluigi Pillonetto: giapi at dei dot unipd dot it |
|---|
| 6 | # License: GNU General Public License Version 2 |
|---|
| 7 | # ------------------------------------------------------------------- |
|---|
| 8 | # |
|---|
| 9 | count=`ls | grep omhelp- | wc -w | sed -e 's| ||g'` |
|---|
| 10 | if [ "$count" = 1 ] |
|---|
| 11 | then |
|---|
| 12 | dir=`ls | grep omhelp-` |
|---|
| 13 | else |
|---|
| 14 | dir="do_not_use_current_omhelp_directory" |
|---|
| 15 | fi |
|---|
| 16 | if [ -e $dir/src/omhelp ] |
|---|
| 17 | then |
|---|
| 18 | echo "using existing $dir/src/omhelp" |
|---|
| 19 | else |
|---|
| 20 | if [ ! -e OMhelp.unix.tar.gz ] |
|---|
| 21 | then |
|---|
| 22 | check=`which wget | sed -e 's|.*/||'` |
|---|
| 23 | if [ "$check" != "wget" ] |
|---|
| 24 | then |
|---|
| 25 | echo "build_doc.sh: cannot find wget command" |
|---|
| 26 | exit 1 |
|---|
| 27 | fi |
|---|
| 28 | web_page="http://www.seanet.com/~bradbell" |
|---|
| 29 | echo "wget $web_page/OMhelp.unix.tar.gz" |
|---|
| 30 | wget "$web_page/OMhelp.unix.tar.gz" |
|---|
| 31 | fi |
|---|
| 32 | if [ -e "omhelp-*" ] |
|---|
| 33 | then |
|---|
| 34 | echo "rm -rf omhelp-*" |
|---|
| 35 | rm -rf omhelp-* |
|---|
| 36 | fi |
|---|
| 37 | echo "tar -xvzf OMhelp.unix.tar.gz" |
|---|
| 38 | tar -xvzf OMhelp.unix.tar.gz |
|---|
| 39 | # |
|---|
| 40 | echo "cd omhelp-*" |
|---|
| 41 | cd omhelp-* |
|---|
| 42 | # |
|---|
| 43 | echo "./configure --prefix=$HOME" |
|---|
| 44 | ./configure --prefix=$HOME |
|---|
| 45 | # |
|---|
| 46 | echo "make" |
|---|
| 47 | make |
|---|
| 48 | # |
|---|
| 49 | echo "cd .." |
|---|
| 50 | cd .. |
|---|
| 51 | fi |
|---|
| 52 | count=`ls | grep omhelp- | wc -w | sed -e 's| ||g'` |
|---|
| 53 | if [ "$count" != 1 ] |
|---|
| 54 | then |
|---|
| 55 | echo "build_doc.sh: unknown error, giving up" |
|---|
| 56 | exit 1 |
|---|
| 57 | fi |
|---|
| 58 | dir=`ls | grep omhelp-` |
|---|
| 59 | if [ ! -e doc ] |
|---|
| 60 | then |
|---|
| 61 | echo "mkdir doc" |
|---|
| 62 | mkdir doc |
|---|
| 63 | fi |
|---|
| 64 | # |
|---|
| 65 | echo "cd doc" |
|---|
| 66 | cd doc |
|---|
| 67 | # |
|---|
| 68 | # build the documentation |
|---|
| 69 | home_page="https://projects.coin-or.org/CoinBazaar/wiki/Projects/ckbs" |
|---|
| 70 | cmd="../$dir/src/omhelp ../ckbs.omh -omhelp_dir ../$dir/OMhelp -image_link $home_page" |
|---|
| 71 | log="../omhelp.log" |
|---|
| 72 | for arg1 in "" -xml |
|---|
| 73 | do |
|---|
| 74 | for arg2 in -noframe -printable |
|---|
| 75 | do |
|---|
| 76 | echo "omhelp ckbs.omh $arg1 $arg2 >& omhelp.log" |
|---|
| 77 | if ! $cmd $arg1 $arg2 -debug >& ../omhelp.log |
|---|
| 78 | then |
|---|
| 79 | echo "build_doc.sh: omhelp error, see omhelp.log" |
|---|
| 80 | exit 1 |
|---|
| 81 | fi |
|---|
| 82 | if grep "^OMhelp Warning:" ../omhelp.log |
|---|
| 83 | then |
|---|
| 84 | echo "build_doc.sh: omhelp warning, see omhelp.log" |
|---|
| 85 | exit 1 |
|---|
| 86 | fi |
|---|
| 87 | done |
|---|
| 88 | done |
|---|
