Tools

Raul H.C. Lopes

• insight
  GUI interface para gdb.Passos para instalação:
  1. download
  2. como root, abra o pacote em /usr/local, usando
     tar -zxf insight-5.1.tgz
  3. atualize seu $PATH
     PATH=$PATH:/usr/local/insight-5.1/bin
• occam
  Passos para instalação:
  1. download
  2. como root, abra o pacote em /usr/local, usando
     bzip2 -dc kroc-1.3.tar.gz | tar -xf -
• CMU Lisp (cmucl)
  Implementação de Common Lisp (com Object System) Passos para instalação:
  1. download
  2. como root, abra o pacote em /usr/local/share, usando
     tar -zxf cmucl.tar.gz
  3. atualize seu $PATH
     PATH=$PATH:/usr/local/share/cmucl/bin
  4. execute: cmucl
• ACL2 (theorem prover)
  Sucessor do provador de Boyer e Moore
  Passos para instalação:
  1. download
  2. como root, abra o pacote em /usr/local/share, usando
     tar -zxf acl2.tar.gz
  3. atualize seu $PATH
     PATH=$PATH:/usr/local/share/acl2/bin
  4. execute: acl2
• Common Lisp HyperSpec
  Especificação de Common Lisp Passos para instalação:
  1. download
  2. como root, abra o pacote em /usr/local/share, usando
     tar -zxf HyperSpec-6-0.tar.gz
• TeXmacs
  Implementação WYSISWYG editor para TeX Passos para instalação:
  1. download
  2. como root, abra o pacote em /usr/local/share, usando
     tar -zxf cmucl.tar.gz
  3. no seu shell (ou .bash_profile faça
     export TEXMACS_PATH=/usr/local/share/TeXmacs-1.0
     export PATH=$PATH:$TEXMACS_PATH/bin
     export LD_LIBRARY_PATH=$TEXMACS_PATH/lib:$LD_LIBRARY_PATH
     use: texmacs&
• Spin
  Verificação automática de algoritmos.
  1. download
  2. como root, abra o pacote em /usr/local, usando
     tar -zxf spin.tgz
  3. atualize seu $PATH
     PATH=$PATH:/usr/local/spin
• Ada
  Gnu compiler (gnat)
  1. Gnu Ada home page
  
  Informações sobre Ada, documentos, etc.
  2. download
  
  Pacotes rpm. Instale ao menos:
  • gnat-3.13p
  • gnat-3.13p-runtime
  • gnat-glade-3.13p
  • gvd
  Edite seu código usando gvd, glide, ou emacs.
• pvs
  1. download
  2. como root faça em /usr/local/share
  • tar -zxf pvs-3.0.tar.gz
  • cd pvs-3.0
  • bin/relocate
  3. em seu shell (ou .bash_profile):
     • PATH=$PATH:/usr/local/share/pvs-3.0/bin
     • pvs
• nana: tool para depuração de C/C++
  1. download
  2. como root faça em /usr/local/share
  • tar -zxf ready.nana.tar.gz
• Outras ferramentas de teste