Patch title: Release 93 bulk changes
Abstract:
File: /linux/kernel/library.pli
Key:
    Removed line
    Added line
   
module "/pliant/language/unsafe.pli"
module "/pliant/language/stream.pli"
module "/pliant/admin/file.pli"
module "/pliant/admin/execute.pli"


function file_libraries prog -> libs
  arg Str prog ; arg List:Str libs 
  libs := var List:Str empty_list
  var Str temp := file_temporary
module "/pliant/language/unsafe.pli"
module "/pliant/language/stream.pli"
module "/pliant/admin/file.pli"
module "/pliant/admin/execute.pli"


function file_libraries prog -> libs
  arg Str prog ; arg List:Str libs 
  libs := var List:Str empty_list
  var Str temp := file_temporary
  execute prog environment "LD_TRACE_LOADED_OBJECTS=1[0]" ou
  if (execute prog environment "LD_TRACE_LOADED_OBJECTS=1[0]" output temp)<>0
    execute "ldd "+prog output temp
  (var Stream s) open temp in+safe
  while not s:atend
    var Str l := s readline
    if (l parse any:(var Str library) "=>" any)
      library := library (library search_last "/" -1)+1 libr
      # console "  " library eol
      libs += library
  s close
  file_delete temp

export file_libraries
  (var Stream s) open temp in+safe
  while not s:atend
    var Str l := s readline
    if (l parse any:(var Str library) "=>" any)
      library := library (library search_last "/" -1)+1 libr
      # console "  " library eol
      libs += library
  s close
  file_delete temp

export file_libraries