Skip to content

Latest commit

 

History

History
16 lines (11 loc) · 833 Bytes

README.md

File metadata and controls

16 lines (11 loc) · 833 Bytes
Raw

Instructions

  • Add the repository directory to $PATH and $JSCHURCH_ROOT environment variables.
  • jschurch make builds the Church compiler in Javascript.
  • jschurch webservice additionally combines all Javascript needed to run Church code (via scheme2js web service) into a single file.
  • jschurch run filename.church compiles filename.church to Javascript using the Church compiler generated by make, then runs the program using node.

Installation

To get access to the bher and jschurch command line tools and scheme libraries from any directory, cd into the bher directory and type:

echo -e "\nexport PATH=`pwd`:\$PATH" >> ~/.bashrc 
echo -e "\nexport IKARUS_LIBRARY_PATH=`pwd`:\$IKARUS_LIBRARY_PATH" >> ~/.bashrc
source ~/.bashrc

Replace ~/.bashrc with the path to your shell configuration file.