The Command-Line Interface

Sprite provides a suite of tools for compiling and running Curry programs. This section discusses how to configure Sprite and use those tools.

• Environment Variables
  • User Variables
  • Development Variables
  • Test Variables
  • Build Variables
• Starting Python
  • sprite-invoke
• sprite-exec
  • sprite-exec Manual
  • Finding Curry Code
  • Interacting and timing
  • The Backend
  • Bounding One Alternative
  • Run Statistics
    • Scheduler counters
  • Profiling
  • Generating Traces
• sprite-make
  • sprite-make Manual
    • Environment Variables
    • Examples
  • Generating ICurry
  • Generating JSON
  • Generating Shared Objects