home *** CD-ROM | disk | FTP | other *** search
/ The World of Computer Software / World_Of_Computer_Software-02-387-Vol-3of3.iso / p / plbin.zip / pl / src / dump < prev    next >
Text File  |  1993-02-03  |  515b  |  33 lines
  1. #!/bin/csh -f
  2. # Create a stand alone executable of SWI-Prolog
  3.  
  4. set pl=./pl
  5.  
  6. switch( $#argv )
  7.     case 0:
  8.         set bin=/usr/local/bin/$pl
  9.         breaksw
  10.     case 1:
  11.         set pl=$1
  12.         set bin=/usr/local/bin/$pl
  13.         breaksw
  14.     case 2:
  15.         set pl=$1
  16.         set bin=$2
  17.         breaksw
  18.     default:
  19.         echo "Usage: dump [sys] [executable]"
  20.         exit 1
  21. endsw
  22.  
  23. $pl -f none -B << _EOS_
  24. save_program('$bin',
  25.     [ goal        = '''\$welcome'''
  26.     , toplevel    = prolog
  27.     ]).    
  28. forall(library_directory(X),
  29.        (exists_directory(X) -> make_library_index(X) ; true)).
  30.  
  31. halt.
  32. _EOS_
  33.