Skip to content

This repo contains shell scripts to run Pyret files from the command line

Notifications You must be signed in to change notification settings

robinjanette/pyret-shell

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 

Repository files navigation

pyret-shell

This repo contains shell scripts to run Pyret files from the command line

Installation

These scripts require Node.js to be installed: https://nodejs.org/

Once Node.js is successfully installed, clone the Pyret Git repository: https://github.com/brownplt/pyret-lang Follow the instructions in the Pyret README under "Installing" to make and install a local version of Pyret

Description of Files

There are two shell scripts in this repository, run-pyret-file.sh and run-pyret-directory.sh

run-pyret-file.sh expects one argument, the path from the Pyret repository to a Pyret .arr file. This script will compile and run this file and produce a .jarr file of the same name and in the same location as the input file.

run-pyret-directory.sh expects one argument, the path from the Pyret repository to a directory containing Pyret .arr files. This script will attempt to compile and run every file in the directory and will store the output .jarr files in a new directory within the current directory called compiled.

For both scripts, the input path MUST be relative. There is currently an open issue in the Pyret repository (brownplt/pyret-lang#969) where absolute paths cause failures.

How to Run

These files contain a variable near the top of the file called PYRETDIR. In order for these scripts to function, you will need to modify this line to be the path from this repository to wherever Pyret was installed. Once that is changed, simply run the desired script with the arguments specified above.

About

This repo contains shell scripts to run Pyret files from the command line

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages