Manual IASOF / Sofía

Tareas con Sofía

  1. Revisar un programa sin compilarlo: sofiac revisar gastos.sof detecta errores sin generar nada.
  2. Compilar y empaquetar un programa: sofiac compilar gastos.sof produce el paquete .sofia.
  3. Ver autor, permisos y firma de un paquete: sofia info gastos.sofia informa sin ejecutar nada.
  4. Ejecutar un paquete aprobando sus permisos: sofia gastos.sofia pide aprobar lo que el paquete declara.
  5. Crear tu clave de autor: sofiac clave nueva "$SOFIA_HOME/autor.clave".
  6. Firmar un paquete con tu clave: sofiac compilar app.sof -o app.sofia --clave "$SOFIA_HOME/autor.clave".

Cada tarea está explicada en la guía del repositorio, capítulos 3 y 16.