Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/config/install.sh
ViewVC logotype

Diff of /sml/trunk/config/install.sh

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 937, Thu Sep 20 21:20:28 2001 UTC revision 975, Wed Oct 31 20:22:44 2001 UTC
# Line 191  Line 191 
191      lynx -source $1/$2 >$3      lynx -source $1/$2 >$3
192  }  }
193    
194    usecurl() {
195        curl -s $1/$2 >$3
196    }
197    
198  testurlgetter() {  testurlgetter() {
199      (exec >/dev/null 2>&1 ; exec $*)      (exec >/dev/null 2>&1 ; exec $*)
200  }  }
# Line 203  Line 207 
207      if [ "$URLGETTER" = unknown ] ; then      if [ "$URLGETTER" = unknown ] ; then
208          if testurlgetter wget --help ; then          if testurlgetter wget --help ; then
209              URLGETTER="fetchurl usewget"              URLGETTER="fetchurl usewget"
210            elif testurlgetter curl --help ; then
211                URLGETTER="fetchurl usecurl"
212          elif testurlgetter lynx -help ; then          elif testurlgetter lynx -help ; then
213              URLGETTER="fetchurl uselynx"              URLGETTER="fetchurl uselynx"
214          else          else
# Line 656  Line 662 
662          reglib c-int.cm c-int.cm ml-nlffi-lib/internals          reglib c-int.cm c-int.cm ml-nlffi-lib/internals
663          reglib c.cm c.cm ml-nlffi-lib          reglib c.cm c.cm ml-nlffi-lib
664          ;;          ;;
665          pgraph-util)
666            unpack "CM source code" $SRCDIR cm cm
667            reglib pgraph-util.cm pgraph-util.cm cm/pgraph
668            ;;
669        doc)        doc)
670          unpack Doc $ROOT doc doc          unpack Doc $ROOT doc doc
671          cd $ROOT/doc          cd $ROOT/doc

Legend:
Removed from v.937  
changed lines
  Added in v.975

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0